Terminplanung und Hinweise

Hinweise

• Bei Fragen oder Änderungswünschen bitte melden bei: andreas [dot] abel [at] ifi [dot] lmu [dot] de
• Vortragsankündigungen erscheinen sowohl auf der TCS-Webseite als auch auf der Oberseminar-Mailingliste. Hier klicken, um sich auf dieser Mailingliste anzumelden und damit Ankündigungen per E-Mail zu erhalten.
• Frühere Vortragsankündigungen befinden sich auf den Lehre-Seiten der entsprechenden Semester, noch frühere (bis einschließlich Sommersemester 2009) auf der alten Oberseminar-Seite.

Vorläufige Planung

Neue Uhrzeit: 11.00 c.t.

13.05. Andreas Abel, Higher-order unification 
20.05. Robert Grabowski
25.05. Sebastien Maulat  (Mittwoch, 11 Uhr)
27.05. Vivek Nigam
03.06. (keine Sitzung)
10.06. 
17.06. Ramyaa
24.06. Martin Hofmann, Symmetric lenses
01.07. Vladimir Komendantsky, Corecursion
08.07. Dulma Rodriguez  
15.07. 
22.07. Gabriel Scherer
29.07.