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

Thomas Schneider tschneider at informatik.uni-bremen.de
Mon Oct 7 11:50:05 CEST 2013


==========================================================================
            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 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.

Einen eingeladenen Vortrag haben zugesagt:

- Christel Baier, TU Dresden
- Manuel Bodirsky, LIX Palaiseau
- Wim Martens, Universität Bayreuth

Am Freitag findet im Anschluss an die Jahrestagung das Mitgliedertreffen
der Fachgruppe statt, auf der die nächste Fachgruppenleitung gewählt wer-
den soll. Für Freitagabend planen wir außerdem ein informelles Abendessen.

Anmeldung (kostenlos)
---------------------
bitte bis 13. Oktober per E-Mail an Thomas Schneider:

          tschneider at informatik.uni-bremen.de

Für eine begrenzte Zahl von Teilnehmenden ist ein Reisekostenzuschuss
möglich. Wer einen Zuschuss beantragen möchte, 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 möchten.

Vorträge
--------
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
---------------------
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" (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 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"




More information about the loginf mailing list