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
The submission deadline is Sunday, 15 July 2012. Authors of
papers will be notified about acceptance soon after that.