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
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 l.struengmann at hs-mannheim.de.
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.