Proceedings of visual languages and logic 2007, Idaho, USA, September 2007

Cox, P., Fish, A. and Howse, J. (2007) Proceedings of visual languages and logic 2007, Idaho, USA, September 2007 Ceur Workshop Proceedings.

Full text not available from this repository.

Official URL: http://sunsite.informatik.rwth-aachen.de/Publicati...

Abstract

This volume contains the proceedings of the First International Workshop on Visual Languages and Logic (VLL 07), held in Coeur d’Al´ene, Idaho, USA, on the 23rd September 2007, as a satellite event of the 2007 IEEE Symposiumon Visual Languages and Human Centric Computing (VL/HCC 2007). Our goal in proposing the VLL Workshop to the VL/HCC organisers was to bring together researchers to explore the current state of research at the intersection of visual languages and logic, including topics such as: 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; and tool support for visual logics. The eight papers presented here were each reviewed by three or four programme committee members, and provide an insight into some of the interesting combinations of logic and visualisation currently being investigated.

Item Type:Authored book
Additional Information:Proceedings available from URL given
Uncontrolled Keywords:Visual languages
Subjects:G000 Computing and Mathematical Sciences > G600 Software Engineering
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:2976
Deposited By:Helen Webb
Deposited On:26 Nov 2007
Last Modified:28 Jun 2012 10:59

Repository Staff Only: item control page