8-9 Nov 2013
Bremen, Germany
==========================================================================
20. Jahrestreffen "Logik in der Informatik" 2013
Bremen, 8.-9. November 2013
http://www.informatik.uni-bremen.de/tdki/events/loginf2013
==========================================================================
ENGLISH VERSION BELOW
==========================================================================
Liebe Freunde und Kollegen,
wir laden Sie herzlich zur 20. Jahrestagung der Fachgruppe "Logik in
der Informatik" der Gesellschaft fr Informatik (GI) ein. Die Tagung
findet am 8. und 9. November 2013 (vorauss. Freitag Mittag bis Samstag
Mittag) an der Universitt Bremen statt.
Die folgenden Sprecher haben einen eingeladenen Vortrag zugesagt:
- Christel Baier, TU Dresden
- Manuel Bodirsky, LIX Palaiseau
- TBA
Wir planen ein informelles Essen fr den Abend des 8. November.
Anmeldung (kostenlos)
---------------------
bitte bis 13. Oktober per E-Mail an Thomas Schneider:
tschneider at informatik.uni-bremen.de
Bitte teilen Sie uns auch mit, ob Sie am Abendessen (nicht kostenlos)
teilnehmen mchten.
Vortrge
--------
aus allen Gebieten der Logik in der Informatik und ihren Anwendungen
sind herzlich willkommen. Bitte schicken Sie uns eine E-Mail mit Titel
und Abstract bis 13. Oktober:
tschneider at informatik.uni-bremen.de
Es wird keinen Tagungsband geben.
Weitere Informationen
---------------------
Fr weitere Informationen (Unterkunft etc.), siehe
http://www.informatik.uni-bremen.de/tdki/events/loginf2013
oder kontaktieren Sie einen der Organisatoren:
clu, goeller, tschneider at informatik.uni-bremen.de
Wir freuen uns auf Ihr Kommen!
Carsten Lutz
Stefan Gller
Thomas Schneider
Sponsoren
----------
Wir danken den Sponsoren fr ihre Untersttzung.
* Fachbereich "Grundlagen der Informatik" der GI
* Forschungsbereich "Cyber-Physical Systems" des DFKI
* SFB/TR 8 "Spatial Cognition"
==========================================================================
Dear friends and colleagues,
we cordially invite you to join the 20th annual meeting of the working
group "Logic in Computer Science" of the "Society for Computer
Science". The meeting will be held at the University of Bremen on
November 8 and 9, 2013 (presumably from Friday noon to Saturday noon).
The following speakers have confirmed to give an invited talk:
- Christel Baier, TU Dresden
- Manuel Bodirsky, LIX Palaiseau
- TBA
We plan to have an informal dinner the night of November 8.
Registration (free of charge)
-----------------------------
Please send an email to Thomas Schneider by October 13:
tschneider at informatik.uni-bremen.de
Please let us know whether you intend to join the dinner (at your own
expense).
Presentations
-------------
from all areas of logic in computer science and its applicates are
welcome. Please send us an email with title and abstract by October 13:
tschneider at informatik.uni-bremen.de
There will be no proceedings.
Further information
-------------------
For further information (accommodation etc.), see
http://www.informatik.uni-bremen.de/tdki/events/loginf2013
or contact one of the organizers:
clu, goeller, tschneider at informatik.uni-bremen.de
We look forward to seeing you all!
Carsten Lutz
Stefan Gller
Thomas Schneider
Sponsors
--------
We thank the following sponsorts for their support:
* Department Foundations of the Computer Science Society (GI)
* Cyber-Physical Systems group of the German Research Center for
Artificial Intelligence (DFKI)
* SFB/TR8 "Spatial Cognition"
--
* Carsten Lutz, FB Mathematik und Informatik, Universitaet Bremen *
* Phone ++49 421 21864431 mailto:clu@uni-bremen.de *