$Id: vorbei.html,v 1.10 2003/09/11 08:04:47 joe Exp $

• schönere Syntaxfehler, schnellere Semantik-Beschwerden u.v.a.m. beim CGI-Interface zum autotool
• Autotool-Syntax für (primitiv) rekursive Funktionen
• Vortrag über Einige Eigenschaften des Periodizitätsgrads von Wörtern am Donnerstag, dem 22. Mai, 13:30 Uhr (Raum 3-68, Hauptgebäude)
• Ehrenkolloquium zur Emeritierung von Herrn Prof. Dr. Siegmar Gerber am Donnerstag, dem 22. Mai, 15:30 (Neuer Senatssaal, Ritterstraße)
• Autotool-Syntax für Registermaschinen (Loop- und While-Programme)
• Autotool-Syntax für Turingmaschinen

  Bastelaufgabe: wie verläuft die Rechung der dort angegebenen Beispiel-Maschine, wenn sie auf dem leeren Band beginnt?

• Für Interessenten: Vortrag über XML: Definitionen, Anwendungen, Werkzeuge am Dienstag, dem 6. Mai, 11 Uhr im Raum 3-68 Hauptgebäude.
• Die Autotool-Korrektur der ersten Übungsserie hat begonnen. (Einzelheiten)
• Für Interessenten: Vortrag über Automatische Terminations-Beweise am Dienstag, dem 29. April, 11 Uhr im Raum 3-68 Hauptgebäude.
• Die Vorlesung beginnt am 14. April.
• Zur Einschreibung in die Übungsgruppen.
• Besuchen Sie den Vortrag über Zellulär-Automaten am Dienstag, dem 8. April.

Weitere (Lehr-)Veranstaltungen im Sommersemester 03:

• Seminare des Bereichs Theoretische Informatik, jeden Dienstag 11:00 - 12:30, Raum 3-68 Hauptgebäude. Einige Seminarthemen aus der letzten Zeit sehen Sie hier. Um regelmäßig Seminar-Ankündigungen zu erhalten, können Sie sich in dieser Mailingliste eintragen.
• Programmierwettbewerb Havannah
• Vorlesung Graphentheorie (eigentlich Hauptstudium, aber offen für alle Interessenten)