[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 
science)
            Mannheim University of Applied Science,
            November 16 & 17, 2012
            http://www.am.hs-mannheim.de/gi_tagung_2012.php
   
   ===================
   
   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),
   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 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 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
*******************************************************************************

Haftungsausschluss:
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.

Disclaimer:
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