invited speakers

(Joint with DL)
Andreas Herzig, IRIT CNRS, France

Short Bio: Andreas Herzig is a CNRS senior researcher (Directeur de Recherches CNRS) in the Logic, Interaction, Language, and Computation Group (LILaC) of IRIT at Université Paul Sabatier. He is the head of IRIT's AI Department. He is the editor-in-chief of the Journal Applied Non-Classical Logics and associated editor of Artificial Intelligence. He is an EurAI Fellow. Andreas studied computer science in Darmstadt and Toulouse. In 1989 he obtained a Ph.D. in Computer Science at Paul Sabatier University in Toulouse on Automated Deduction in Modal Logics. Since 1990 he is a CNRS researcher (senior researcher since 2004). His main research topic is the investigation of logical models of interaction, with a focus on logics for reasoning about knowledge, belief, time, action, intention and obligation, and the development of automated reasoning methods for them.



Francesca Toni, Imperial College, UK

Short Bio: TBA