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.
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.
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
The programme committee is currently being invited. More information soon.