[loginf] "Logic in Computer Science" - Annual meeting 2012 - final announcement

Dr. Lutz Heinrich Strüngmann l.struengmann at hs-mannheim.de
Fri Nov 9 23:19:33 UTC 2012

Am Thu, 23 Aug 2012 21:45:45 +0200

  LogInf-Meeting 2012:
            Logik in der Informatik (Logic in computer 
            Mannheim University of Applied Science,
            November 16 & 17, 2012
   Dear friends and colleagues,
   This is the third and final 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),
   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 
   Anyone interested in participating in the meeting 
   register online at
   Regular talks from all areas of logic and its 
   in computer science are very welcome.
   Please send an email with a short abstract (max. 1 
   by October 16, 2012, to
   l.struengmann at hs-mannheim.de
   For further information (in particular concerning
   accommodation etc) please see
   or contact me directly under l.struengmann at 
   We are looking forward to seeing you all!
                          Lutz Strüngmann

Professor Dr. Lutz Strüngmann
Institut für Angewandte Mathematik
Fakultät für Informatik
Hochschule Mannheim
Paul-Wittsack-Str. 10
68163 Mannheim
Tel.: +49-621-292-6762

mail: l.struengmann at hs-mannheim.de
web: http://www.am.hs-mannheim.de/personen.php

Die in dieser E-Mail und den dazugehoerigen Anhaengen 
(zusammen die "Nachricht") enthaltenen Informationen sind 
nur fuer den Adressaten bestimmt und koennen vertrauliche 
oder rechtlich geschuetzte Informationen enthalten. 
Sollten Sie die Nachricht irrtuemlich erhalten haben, 
loeschen Sie die Nachricht bitte und benachrichtigen Sie 
den Absender. Die unbefugte Weitergabe, das Anfertigen von 
Kopien und jede Veraenderung der E-Mail ist untersagt. Wir 
schließen jegliche Haftung fuer Verluste oder Schaeden 
aus, die durch Inhalte veraenderter Nachrichten oder 
virenbefallene Software verursacht werden.

The information contained in this e-mail and any 
attachments (together the "message") is intended for the 
addressee only and may contain confidential or privileged 
information. If you have received the message by mistake 
please delete it and notify the sender. The unauthorized 
dissemination, copying and change of this e-mail are 
strictly forbidden. We accept no liability for any loss or 
damage caused by changes of the original message or 
software viruses.

More information about the loginf mailing list