16-17 Nov 2012
Mannheim, Germany
LogInf-Meeting 2012:
===================
Logik in der Informatik (Logic in computer science)
MannheimUniversity of Applied Science, November 16 & 17, 2012
http://www.am.hs-mannheim.de/gi_tagung_2012.php
===================
Dear friends and colleagues,
This is the second announcement for the annual meeting of
the working group "Logic in Computer Science" of the
"Society for Computer Science" in 2012.
The conference will take place at the University of Applied Sciences in
Mannheim on November 16 & 17 (Friday and Saturday), 2012.
The following main speakers have confirmed to give an
invited talk:
Klaus Ambos-Spies (Heidelberg)
Carsten Lutz (Bremen)
Nicole Schweikardt (Frankfurt)
On Friday, November 16, we plan to have an informal dinner.
Registration:
------------
Anyone interested in participating in the meeting should
register online by October 31, 2012 at
http://www.am.hs-mannheim.de/gi_tagung_2012.php
Presentations:
-------------
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, to
l.struengmann at hs-mannheim.de
For further information (in particular concerning
accommodation etc) please see
http://www.am.hs-mannheim.de/gi_tagung_2012.php
or contact me directly under l.struengmann at hs-mannheim.de
We are looking forward to seeing you all!
Lutz Strngmann
*******************************************************************************
Professor Dr. Lutz Strngmann
Institut fr Angewandte Mathematik
Fakultt fr Informatik
Hochschule Mannheim
Paul-Wittsack-Str. 10
68163 Mannheim
Tel.: +49-621-292-6762
mail: l.struengmann@hs-mannheim.de
web: http://www.uni-due.de/algebra-logic/struengmann.shtml
*******************************************************************************