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

Dr. Lutz Heinrich Strüngmann l.struengmann at hs-mannheim.de
Thu Aug 23 19:45:45 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 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 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 Anhängen
  (zusammen die "Nachricht") enthaltenen Informationen
sind
  nur fuer den Adressaten bestimmt und können
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