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

Dr. Lutz Heinrich Strüngmann l.struengmann at hs-mannheim.de
Tue Jun 12 20:21:55 UTC 2012


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 first 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 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.uni-due.de/algebra-logic/struengmann.shtml
*******************************************************************************

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