News and Events: Conferences

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

Date: 8-9 November 2013
Location: Bremen, Germany
Deadline: 13 October 2013

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 , 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 , or .

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 . There will be no proceedings.

Please note that this newsitem has been archived, and may contain outdated information or links.