VLL 09 -- deadline extension (29th June) for Visual Languages and Logic Workshop



VLL 09 -- deadline extension (29th June) for Visual Languages and Logic Workshop

From: Andrew.Fish_at_bton.ac.uk
Date: Mon, 22 Jun 2009 14:58:24 +0100
Message-ID: <19975A316C67744D9720DD2F6AB1FC6608D2A996@EXCHANGE1.university.brighton.ac.uk>
Our apologies if you receive more than one copy of this announcement
--------------------------------------------------------------------------------
Due to several requests -- 
NEW, EXTENDED SUBMISSION DEADLINE: Monday 29nd June 2009. 

INVITED TALK: A Brief Survey of Venn/Euler Diagrams by Frank Ruskey, University of Victoria, Canada.
--------------------------------------------------------------------------------
                              CALL FOR PAPERS
               2009 Workshop on Visual Languages and Logic (VLL)
                   Corvallis, OR, USA, 20 September 2009
                         http://www.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  re- search  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.

The  purpose of the VLL workshop is to explore the current state of research  at the intersection of logic  and visual languages, examining notations or software in which a  graphical structure provides the foundation  for, or a visualisation of, a system of logic. 
--------------------------------------------------------------------------------
SCOPE AND TOPIC
--------------------------------------------------------------------------------
We solicit original,  unpublished research papers  that examine some combination of visual tools, representations or languages with logic. Topics of interest in- clude, 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 directly before the  2009 IEEE Symposium on Visual Languages and Human Centric Computing (http://eecs.oregonstate.edu/vlhcc09/).
--------------------------------------------------------------------------------
PAPER SUBMISSION
--------------------------------------------------------------------------------
Submissions should be in ENTCS format (http://www.entcs.org/prelim.html), and no longer than 12 pages. Please email submissions in PDF format to the workshop email address VLL@cs.dal.ca and use the first named author's surname as the filename, appended with a number if there is more than one submission from the same author. Each  submission will be reviewed by three members of the programme committee.  Publication of the proceedings will be in ENTCS or similar, and authors of top-ranked papers will be invited to submit expanded versions for journal publication.
--------------------------------------------------------------------------------
IMPORTANT DATES
--------------------------------------------------------------------------------
Submission: June 22, 2009
Notification: July 20, 2009
Final papers: August 3, 2009
--------------------------------------------------------------------------------
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
  Brian Gaines, University of Calgary, Canada
  Mateja Jamnik, University of Cambridge, UK
  Alexander Knapp, Ludwig-Maximilians Universität, Munich, Germany
  Bernd Meyer, Monash University, Australia
  Nathaniel Miller, University of Northern Colorado, USA
  Mark Minas, Universität der Bundeswehr, Munich, Germany
  Julia Padberg, Technische Universität Berlin, Germany
  Ian Pratt-Hartman, University of Manchester, UK
  Chris Reed, University of Dundee, UK
  Gem Stapleton, University of Brighton, UK
  Nik Swoboda, Universidad Politécnica de Madrid, Spain
  Simon Thompson, University of Kent, UK
--------------------------------------------------------------------------------
FURTHER INFORMATION
--------------------------------------------------------------------------------
Please email VLL@cs.dal.ca
Received on Mon 22 Jun 2009 - 14:58:36 BST