VSL 2014: VIENNA SUMMER OF LOGIC 2014
ARW-DT Home Page

Overview

For many years the British and the German automated reasoning communities have run successfully independent series of workshops for anybody working in the area of automated reasoning. Although open to the general public they addressed in the past primarily the British and the German communities, respectively. At the occasion of the Vienna Summer of Logic the two series will have a joint event in Vienna. We will also join with WING (Workshop on Invariant Generation) and the VERIFY workshop.

Format

In the spirit of the two series there will be no formal proceedings. In addition to a two invited talks, we will have technical contributions. We will maintain the informal open atmosphere of the two series and welcome in particular students to present their work.

Topics

We solicit for all work related to automated reasoning and its applications. We are particularly interested in work-in-progress and the presentation of half-baked ideas.

Call for Papers

Call for Papers

 

Organization

Program Committee

The programme committee is currently being invited. More information soon.