Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Cezary Kaliszyk.

  • Date: 17 May 2018 – 17 June 2018.

  • Institution: University of Innsbruck, Austria.

  • Host: Pascal Fontaine.

  Cezary Kaliszyk is an assistant professor at the University of Innsbruck. He is an expert in and a precursor of the use of machine learning in an automated reasoning context. He is the principal investigator for the ERC Starting Grant SMART (Strong Modular Proof Assistance Reasoning Across Theories). His research interests cover machine learning for theorem proving, formalization of mathematics, logical and proof translations, automated reasoning and proof data management. During his stay in Nancy, we initiated a new direction of research for quantifier instantiation, that is, using machine learning as a means of filtering the numerous instances generated by heuristic instantiation procedures in SMT.

Internships

• Alexis Grall

  • Date: 1 March 2018 – 31 August 2018

  • Institution: Université de Lorraine

  • Host: Dominique Méry

  In his master thesis, Alexis Grall studied the localization of Event-B models and their tranformation into the DistAlgo programming language. The Event-B models are obtained for designing distributed algorithms such as the leader election or the sliding window protocol. The transformation is proved to be sound and to preserve the properties of the Event-B models.

• Axel Palaude

  • Date: 1 May 2018 – 31 July 2018

  • Institution: ENS Rennes

  • Host: Igor Konnov, Stephan Merz

  Axel Palaude extended the short counter-example property that underlies decidability results for the verification of threshold automata (cf. section 7.2) to the case of threshold automata with real-time constraints.