News and Events: Conferences

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

16-17 November 2012, Logik in der Informatik (LogInf 2012), Mannheim, Germany

Date: 16-17 November 2012
Location: Mannheim, Germany
Deadline: 16 October 2012

The annual meeting of the working group "Logic in Computer Science" of the "Society for Computer Science" in 2012 will take place at the University of Applied Sciences in Mannheim on November 16 & 17 (Friday and Saturday), 2012. Invited Speakers: Klaus Ambos-Spies (Heidelberg), Carsten Lutz (Bremen) and Nicole Schweikardt (Frankfurt)

For further information and registration, please see http://www.am.hs-mannheim.de/gi_tagung_2012.php. or contact Professor Dr. Lutz Strüngmann at .

Regular talks from all areas of logic and its applications in computer science are very welcome. Please send an email with a short abstract (max. 1 page) by October 16, 2012.

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