Workshop on Visual Languages and Logic - Call For Papers



Workshop on Visual Languages and Logic - Call For Papers

From: Andrew.Fish_at_bton.ac.uk
Date: Tue, 29 May 2007 17:37:46 +0100
Message-ID: <19975A316C67744D9720DD2F6AB1FC6602C9BD11@EXCHANGE1.university.brighton.ac.uk>
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, Naval Research Laboratory, 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 VLL@cs.dal.ca for further information.

 
Received on Tue 29 May 2007 - 17:56:27 BST