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
==========================================================================
FOR ENGLISH VERSION SEE BELOW
==========================================================================
Liebe Kolleginnen 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.
Einen eingeladenen Vortrag haben zugesagt:
- Christel Baier, TU Dresden
- Manuel Bodirsky, LIX Palaiseau
- Wim Martens, Universitt Bayreuth
Am Freitag findet im Anschluss an die Jahrestagung das Mitgliedertreffen
der Fachgruppe statt, auf der die nchste Fachgruppenleitung gewhlt wer-
den soll. Fr Freitagabend planen wir auerdem ein informelles Abendessen.
Anmeldung (kostenlos)
---------------------
bitte bis 13. Oktober per E-Mail an Thomas Schneider:
tschneider at informatik.uni-bremen.de
Fr eine begrenzte Zahl von Teilnehmenden ist ein Reisekostenzuschuss
mglich. Wer einen Zuschuss beantragen mchte, tut dies bitte informell
bei der Anmeldung. Studierende und Promovierende werden bei der Vergabe
bevorzugt.
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 mit Ihrer Anmeldung den Titel
und einen Abstract. 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" (GI). 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
- Wim Martens, University of Bayreuth
On Friday, the meeting will be closed by the assembly of the GI members,
during which the executive board of the GI is to be elected. For Friday
night, we plan to have an informal dinner.
Registration (free of charge)
-----------------------------
Please send an email to Thomas Schneider by October 13:
tschneider at informatik.uni-bremen.de
We expect to be able to provide a travel allowance for a limited number of
participants. You can apply for a grant informally in your registration
email. When awarding the grants, we will give preference to (postgraduate
and doctoral) students.
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 applications are
welcome. Please include a title and abstract in your registration email.
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"