| Vol-510 Copyright © 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.

# VLL 2009: Visual Languages and Logic

### Proceedings of the VLL 2009 workshop on Visual Languages and Logic in Corvallis, Oregon, USA, 20th September 2009
as part of the 2009 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 09

Editors

### Philip Cox *
Andrew Fish **
John Howse **

* Dalhousie University, Canada
** University of Brighton, UK

The complete proceedings are downloadable as a single PDF-file (~6MB), and the individual papers can be downloaded below.

## Table of Contents

Introduction
Philip Cox, Andrew Fish and John Howse, pages i-iv

Keynote: A Brief Survey of Venn/Euler Diagrams
Frank Ruskey, page 1

### Research Papers

More-than-coherent Logic for Operations on Images
Paolo Bottoni, Anna Labella and Stefano Kasangian, pages 2-17

A Logical Model Query Interface
Harald Störrle, pages 18-36

Conservativity for a Hierarchy of Euler and Venn Reasoning Systems
Koji Mineshima, Mitsuhiro Okada and Ryo Takemura, pages 37-61

Transforming Constraint Diagrams
Jim Burton, Gem Stapleton and Ali Hamie, pages 62-80

A Cognitive Exploration of the "Non-Visual" Nature of Geometric Proofs
Peter Coppin and Stephen Hockema, pages 81-95

Implementing an Animated Visual λ-Calculus
Torsten Strobl and Mark Minas, pages 96-109

21-Oct-2009: submitted by Andrew Fish
21-Oct-2009: published on CEUR-WS.org