[ecoop-info] Final CFP for VLL 2009: Workshop on Visual Languages and Logic

[Andrew.Fish at bton.ac.uk]

Our apologies if you receive more than one copy of this announcement
--------------------------------------------------------------------------------
SUBMISSION DEADLINE: Monday 22nd June 2009. 
NEW, 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 at 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 at cs.dal.ca