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.
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|
|Depositing User:||Helen Webb|
|Date Deposited:||26 Nov 2007|
|Last Modified:||28 Jun 2012 09:59|
Actions (login required)
Downloads per month over past year