Jahrestagung der GI-Fachgruppe "Logik in der Informatik", November 2013

[Carsten Lutz]

==========================================================================
             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 für Informatik (GI) ein. Die Tagung
findet am 8. und 9. November 2013 (vorauss. Freitag Mittag bis Samstag
Mittag) an der Universität Bremen statt.

Die folgenden Sprecher haben einen eingeladenen Vortrag zugesagt:

- Christel Baier, TU Dresden
- Manuel Bodirsky, LIX Palaiseau
- TBA

Wir planen ein informelles Essen für 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 möchten.

Vorträge
--------

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
---------------------
Für 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 Göller
           Thomas Schneider

Sponsoren
----------

Wir danken den Sponsoren für ihre Unterstützung.

* 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 Göller
           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 at uni-bremen.de        *