The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence). Submissions relating the Alan Turing's life and work are particularly welcome. Abstracts should have between 100 and 500 words and are submitted via the easychair submission page

The submission deadline is Sunday, 15 July 2012. Authors of papers will be notified about acceptance soon after that.