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...
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.
Repository Staff Only: item control page