VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing

Publisher

CEUR-WS.org

Website

Year

2007

Period

23rd September

Place

Coeur dAléne, Idaho, USA

ISBN

Series

VL-HCC - Symposium on Visual Languages and Human Centric Computing

DOI

Volume

Copyright info

The VL/HCC conference is the premier international forum for researchers and industrial practitioners to discuss the theory, applications and evaluation of technologies, visual and otherwise, that enhance the role of humans in the computing process. The conference was established in 1984 and aims to support the design, formalization, implementation, and evaluation of computing languages that are easier to learn, easier to use, and easier to understand by a broader group of people.

1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2007 2008

Cox, Philip T., Fish, Andrew, Howse, John (2007): Introduction. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. https://ceur-ws.org/Vol-274/VLL07/preface.pdf

Barker-Plummer, Dave, Swoboda, Nik (2007): A Sequent Based Logic for Coincidence Grids. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 1-12. https://ceur-ws.org/Vol-274/paper1.pdf

Nagy, Benedek, Vályi, Sándor (2007): Visual Reasoning by Generalized Interval-values and Interval Temporal Logic. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 13-26. https://ceur-ws.org/Vol-274/paper2.pdf

Delaney, Aidan, Stapleton, Gem (2007): Spider Diagrams of Order. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 27-39. https://ceur-ws.org/Vol-274/paper3.pdf

Clark, Robin (2007): Fast Zone Discrimination. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 41-54. https://ceur-ws.org/Vol-274/paper4.pdf

Dau, Frithjof, Eklund, Peter W. (2007): A Peirce Style Calculus for ALC. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 55-71. https://ceur-ws.org/Vol-274/paper5.pdf

Storrle, Harald (2007): A PROLOG-based Approach to Representing and Querying Software Engineering Models. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 71-83. https://ceur-ws.org/Vol-274/paper6.pdf

Berger, Sacha, Bry, Francois, Furche, Tim, Wieser, Christoph (2007): Visual Languages: A Matter of Style. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 85-96. https://ceur-ws.org/Vol-274/paper7.pdf

Gurr, Corin A. (2007): Visualising a Logic of Dependability Arguments. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 97-109. https://ceur-ws.org/Vol-274/paper8.pdf