Distanz-Semantik fuer Theorie-Revision
Distanz-Semantik fuer Theorie-Revision Person/Speaker: Prof. Dr. Karl Schlechta
PhD. thesis defence
PhD. thesis defence Oscar Zarate AguilaOur colleague Oscar will defend his PhD. thesis on Friday December 17th. Good luck Oscar!
IfI Christmas party
IfI Christmas party Place: IfI HQ, Julius Albert Str. 4, ClausthalWe are looking forward to the Institut fuer Informatik Christmas party organized by new members of the IfI.
Modeling infinite domains with finite elements
Modeling infinite domains with finite elements Person/Speaker: Dr.-Phil. Elisabeth Malsch
Place: Raum T5 , ITZ-Hörsaalgebäude, Tannenhöhe, (Gebäude 61) Albrecht-von-Groddeck-Str. 7IfI kolloquia series - an invited talk by Dr.-Phil. Elisabeth Malsch from Technische Universtiaet Braunschweig. Abstract can be found in the flyer.-Elisabeth Malsch- -flyer-
RoboCup: Fussballroboter und Agenten
RoboCup: Fussballroboter und Agenten Person/Speaker: Dipl.-Inf. Oliver Obst
Place: Hoersaal HA, Erzstrasse, ClausthalIfI kolloquia series - an invited talk by Dipl.-Inf. Oliver Obst about his work on RoboCup and RoboCup itself. Abstract can be found in the flyer. -flyer-
Jürgen Dix visits Helsink
Jürgen Dix visits Helsinki 2-7 Sept 2004: Jürgen Dix is visiting Helsinki University of Technology (Prof. Ilkka Niemelae) and giving an invited talk. Jürgen Dix is also being invited from the Finnish Academy of Sciences as Expert Evaluator for the national research programme.