BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Theorietag 2024: Automaten und Formale Sprachen\, Logik in der Inf
 ormatik & Deduktionssysteme
DTSTART:20240917T080000Z
DTEND:20240920T100000Z
DTSTAMP:20260421T161900Z
UID:indico-event-873@events.gwdg.de
CONTACT:florin.manea@cs.uni-goettingen.de\;stefan.siemer@cs.uni-goettingen
 .de
DESCRIPTION:Speakers: Stefan Siemer\, Florin Manea (IFI)\n\nDer 34. Theori
 etag "Automaten und Formale Sprachen"\, die 30. Jahrestagung "Logik in 
 der Informatik" der Gesellschaft für Informatik\, und das Deduktionstreff
 en 2024 werden vom 17. bis 20. September 2024 in Göttingen stattfinden.\n
 Die Konferenz findet im Informatik Provisorium\, Nordcampus\, Goldschmidts
 traße\, 37077 Göttingen statt. Das Gebäude\, in dem die Konferenz statt
 findet\, befindet sich direkt neben der Bushaltestelle Tammanstraße (wir
 d wegen Bauarbeiten zur Zeit nicht bedient\,alternative Bushaltestelle: Go
 ldschmidtstraße). \nDer Band mit den Konferenzbeiträgen kann hier herun
 tergeladen werden.\nDie Folien zur Fachgruppensitzung können hier herunte
 rgeladen werden.\n\nAnmeldung:\nDie Anmeldung ist jetzt geöffnet. Um sich
  anzumelden\, verwenden Sie diesen Link.\nInvited Speakers:\nLisa Beinborn
  (Göttingen)\nJoel D. Day (Loughborough)\nStefan Göller (Kassel)\nDietri
 ch Kuske (Ilmenau)\nCarsten Lutz (Leipzig)\nAndreas Maletti (Leipzig)\nTer
 mine:\n\n\n\n\nKurzfassungen der Beiträge:\n15. August 2024\n\n\nTheoriet
 ag 2024: \n17.-20. September 2024\n\n\n\n\nWeitere Informationen zur Einr
 eichung von Kurzfassungen der Vorträge.\n \n\nhttps://events.gwdg.de/eve
 nt/873/
LOCATION:Institut für Informatik
URL:https://events.gwdg.de/event/873/
END:VEVENT
END:VCALENDAR