Arbeitsgemeinschaft Logik und Automaten
Allgemeine Informationen
Veranstalter:
Lehrstuhf für Informatik 7
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik
Regelmäßige Termine (nach besonderer Ankündigung):
Montags, 13:30–14:30, Raum 4116 (Seminarraum Informatik 7)
Vortragsankündigung
Zur Zeit liegt keine Ankündigung vor.
Inhalt
In dieser Arbeitsgemeinschaft werden Vorträge zu aktuellen Forschungsergebnissen in den Bereichen Theoretische Informatik, Logik und Komplexitätstheorie gehalten. Vortragende sind dabei MitarbeiterInnen, DiplomandInnen und Gäste. Entsprechend richtet sich die AG an MitarbeiterInnen und interessierte Studierende und bietet ein Forum sich über aktuelle Entwicklungen zu informieren, sowie mögliche Themen für eine Diplomarbeit zu finden.
Organisatorisches
Wir führen eine Mailingliste für Vortragsankündigungen in der Arbeitsgemeinschaft; über die Webseite können Sie sich in die Liste eintragen bzw. aus der Liste austragen. Für weitere Fragen schreiben Sie bitte an aglua(at)automata.rwth-aachen.de.
Zur Belegung eines Vortragstermins schreiben Sie bitte ebenfalls an aglua(at)automata.rwth-aachen.de.
Frühere Vorträge
SS 2008, WS 2007/08, SS 2007, WS 2006/07, SS 2006, WS 2005/06, SS 2005, WS 2004/05, SS 2004, WS 2003/04, SS 2003, WS 2002/03