Our apologies if you receive more than one copy of this announcement
--------------------------------------------------------------------------------
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. Instructions on how to submit will be available shortly on
the workshop website. Each submission will be reviewed by three members of the
programme committee. Authors of top-ranked papers will be invited to submit ex-
panded 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 [log in to unmask]
---------------------------------------------------------------
To unsubscribe, send an empty email to
mailto:[log in to unmask]
For further details of CHI lists see http://sigchi.org/listserv
---------------------------------------------------------------
|
