Le Lundi 25 avril 2016 à 10h00 dans l'amphithéatre F107, INRIA Grenoble Rhône-Alpes, Montbonnot - Entrée libre
Bio : Till Mossakowski got his PhD from Bremen University. In 2005, he has received his habilitation degree for a thesis about heterogeneous specifications. Since October 2013, he is professor for theoretical computer science in Magdeburg. He also is head of the Institute for Intelligent Cooperating Systems. His research areas include: