News Archive

Dragan Bosnacki, Eindhoven University of Technology, The Netherlands:

Analysis of a Boolean Model for Rheumatoid Arthritis Using SMT Solvers

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

In April and May 2017 Prof. Leue will be spending a two months research visit at New York University, working with NYU's Prof. Thomas Wies.

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.