Please note that this newsitem has been archived, and may contain outdated information or links.
8-9 November 2013, Jahrestagung "Logik in der Informatik" 2013, Bremen, Germany
The 20th annual meeting of the working group "Logic in Computer Science" of the "Society for Computer Science" will be held at the University of Bremen on November 8 and 9, 2013 (presumably from Friday noon to Saturday noon). The following speakers have confirmed to give an invited talk: Christel Baier (TU Dresden) and Manuel Bodirsky (LIX Palaiseau).
We plan to have an informal dinner the night of November 8. To registrater (free of charge), please send an email by October 13 to Thomas Schneider at tschneider at informatik.uni-bremen.de, and please indicate whether you intend to join the dinner (at your own expense).
For further information (accommodation etc.), see http://www.informatik.uni-bremen.de/tdki/events/loginf2013 or contact one of the organizers at clu at informatik.uni-bremen.de, goeller at informatik.uni-bremen.de or tschneider at informatik.uni-bremen.de.
Presentations from all areas of logic in computer science and its applicates are welcome. Please send us an email with title and abstract by October 13: to tschneider at informatik.uni-bremen.de. There will be no proceedings.
Please note that this newsitem has been archived, and may contain outdated information or links.