Inhalt der Seite

Diese Seite auf Deutsch

News from the Department

You'll find further news, event notes and the news archive under: News.

Interaction versus Automation: The two Faces of Deduction

Schloss Dagstuhl

A Dagstuhl seminar on "Interaction versus Automation: The two Faces of Deduction" will be organized by "Lehr- und Forschungsgebiet Informatik 2" (Programming Languages and Verification) in collaboration with colleagues from TU München, Chalmers University Göteborg and Microsoft Research. It will take place between 4. and 9. October 2009.

Further information can be found on the Website of Schloss Dagstuhl.