17. Jahrestagung der GI-Fachgruppe Logik in der Informatik 5.-6. November 2010, Leipzig

Die 17. Jahrestagung der GI-Fachgruppe Logik in der Informatik der Gesellschaft für Informatik findet vom 5. November bis 6. November 2010 in Leipzig statt. Termine Reservierung im Gästehaus:   bis 5. Oktober 2010 Abstracts (max. 1 Seite):   bis 10. Oktober 2010 Anmeldung:   bis 20. Oktober 2010

Tagungsort

Eingeladene Sprecher:

• Franz Baader (TU Dresden)
  Small is Again Beautiful in Description Logics (Abstract)

• Martin Grohe (Humboldt-Universität zu Berlin)
  From Polynomial Time Queries to Graph Structure Theory (Abstract)

• Dietrich Kuske (CNRS, Université Bordeaux 1)
  (Nicht)effektive und (über)abzählbare Versionen des Satzes von Ramsey (Abstract)

• Manfred Schmidt-Schauss (Johann Wolfgang Goethe Universität Frankfurt am Main)
  Unification and Matching of Compressed Terms (Abstract)

Programm

Unterkunft

Frühstück wird in zahlreichen Cafes und Bäckereien rund um das Gästehaus angeboten.

Die Apartments werden auf first come - first serve Basis vergeben. Reservierungen sind möglich bis zum 5. Oktober 2010 unter dem Stichwort "LogInf" bei Frau Horschig:

horschig@rz.uni-leipzig.de
Tel: +49-341-97 32 030
Fax: +49-341-97 32 049

Hier finden sich Informationen zum Abholen von Schlüsseln.

Weitere Hotels in der Nähe zum Tagungsort (ca 5 Minuten zu Fuß):

• Motel One Leipzig
• Ibis Leipzig Zentrum
• Novotel Leipzig Zentrum
• oder: Leipzig Tourist Service e.V.

Abstracts und Anmeldung

Anmeldungen bitte bis zum 20. Oktober 2010 als email an lohrey at informatik.uni-leipzig.de schicken.

Anreise

Vom Flughafen Leipzig-Halle verkehren alle 30 Minuten S-Bahn Züge zum Hauptbahnhof. Die Fahrzeit beträgt ca. 15 Minuten.

Ein Taxi vom Flughafen zum Hauptbahnhof kostet ca. 35 Euro, die Fahrzeit beträgt ca. 30 Minuten.

Kontakt