Current news



CREST 2017

Prof. Leue will co-chair the CREST 2017 workshop to be held as a satellite event of ETAPS 2017 on April 29, 2017.

Sabbatical (Forschungsfreisemester)

During the summer term 2017, Prof. Leue will be on sabbatical (Forschungsfreisemester). This will mean that he will not offer courses during that semester. There will be no office hour. If you need to see Prof. Leue during this semester, contact him well in advance by email.