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
Conference Details
Description
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.
Other Years in Series
Other proceedings in the VL-HCC - Symposium on Visual Languages and Human Centric Computing series
Articles
Publications included in this conference proceedings
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