CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
Date:
Thu, 26 Apr 2007 10:33:57 +0200
Reply-To:
Mark Minas <[log in to unmask]>
Subject:
MIME-Version:
1.0
Content-Transfer-Encoding:
8bit
Content-Type:
text/plain; charset=ISO-8859-1; format=flowed
Organization:
Universität der Bundeswehr München
From:
Mark Minas <[log in to unmask]>
Parts/Attachments:
text/plain (121 lines)
Our apologies if you receive more than one copy of this announcement
_____________________________________________________________________


                                CALL FOR PAPERS

                   Workshop on Visual Languages and Logic (VLL)


                   Coeur d'Alene, Idaho, USA, 23 September 2007

                            http://vivid.cs.dal.ca/VLL/

--------------------------------------------------------------------------------

Diagrams of one sort or another have always been used as aids to 
abstract reasoning. Although many are informal mnemonics, reminding 
their authors about structures and relationships they have observed or 
deduced, considerable research effort has been expended on formalising 
graphical notations so that they may play a more central role in the 
application of logic to problems.

While early work concentrated on diagrammatic representations of logic 
as a more intuitive or revealing paper-based replacement for textually 
represented logic, research in this area now mostly involves notations 
specifically designed for computer implementation either as 
computational models or interface languages. Examples include relational 
and existential graphs (C.S. Peirce), conceptual graphs (J.F. Sowa), 
various flavours of semantic networks, such as conceptual dependency 
graphs (R. Schank), graphical deduction systems, such as clause 
interconnectivity graphs (S. Sickel), Venn diagrams, Euler diagrams, 
constraint diagrams, and visual logic programming languages.

--------------------------------------------------------------------------------
SCOPE AND TOPIC
--------------------------------------------------------------------------------

We solicit original, unpublished research papers that examine some 
combination of visual tools, representations or languages with logic.

Topics of interest include, but are not limited to:
     * Graphical notations for logics (either classical or
       non-classical, such as first or higher order logic,
       temporal logic, description logic, independence friendly
       logic, spatial logic)
     * Diagrammatic reasoning
     * Theorem proving
     * Formalisation (syntax, semantics, reasoning rules)
     * Expressiveness of visual logics
     * Visual logic programming languages
     * Visual specification languages
     * Applications
     * Tool support for Visual Logics

-------------------------------------------------------------------------------
ASSOCIATED EVENT
--------------------------------------------------------------------------------

VLL runs immediately before the 2007 IEEE Symposium on Visual Languages 
and Human Centric Computing (http://vlhcc07.eecs.wsu.edu/).

--------------------------------------------------------------------------------
PAPER SUBMISSION
--------------------------------------------------------------------------------

Submissions should be in ENTCS format, no longer than 12 pages 
(http://www.entcs.org/prelim.html). Instructions on how to submit will 
be available shortly on the workshop website.Each submission will be 
reviewed by 3 members of the programme committee

Negotiations for publication of proceedings in ENTCS are in progress. 
Authors of top-ranked papers will be invited to submit expanded versions 
for journal publication.

--------------------------------------------------------------------------------
IMPORTANT DATES
--------------------------------------------------------------------------------

Submission: June 25, 2007
Notification: August 1, 2007
Final papers due: August 14, 2007


--------------------------------------------------------------------------------
ORGANIZERS
--------------------------------------------------------------------------------

CO-CHAIRS
Phil Cox, Dalhousie University, Canada
Andrew Fish, University of Brighton, UK
John Howse, University of Brighton, UK

PROGRAMME COMMITTEE
Gerry Allwein, Indiana University, USA
Omid Banyasad, IBM Canada
Dave Barker-Plummer, Stanford University, USA
Paolo Bottoni, Universita di Roma, La Sapienza, Italy
Frithjof Dau, University of Wollongong. Australia
Mateja Jamnik, University of Cambridge, UK
Alexander Knapp, Ludwig-Maximilians Universitat, Munich, Germany
Bernd Meyer, Monash University, Australia
Nathaniel Miller, University of Northern Colorado, USA
Mark Minas, Universitat der Bundeswehr, Munich, Germany
Ian Pratt-Hartman, University of Manchester, UK
Andy Schürr, Technische Universitat Darmstadt, Germany
Gem Stapleton, University of Brighton, UK
Nik Swoboda, Universidad Politecnica de Madrid, Spain
Simon Thompson, University of Kent, UK

--------------------------------------------------------------------------------
CONTACT
--------------------------------------------------------------------------------

Please email [log in to unmask] for further information.

    ---------------------------------------------------------------
                To unsubscribe, send an empty email to
     mailto:[log in to unmask]
    For further details of CHI lists see http://sigchi.org/listserv
    ---------------------------------------------------------------

ATOM RSS1 RSS2