Section: Partnerships and Cooperations

International Research Visitors

• Ignacio Martin Queralt

  • Subject: Symbolic transition checking for TLA⁺

  • Date: April to September, 2014

  • Institution: Universidad Nacional de Córdoba (Argentina)

• Clément Herouard

  • Subject: SMT techniques for modal logics and extensions

  • Date: May to July, 2014

  • Institution: Ecole Normale Supérieure de Rennes (France)