Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

David Déharbe from UFRN (Natal, Brazil) spent a sabbatical year with the VeriDis team in Nancy from August, 2013 to July, 2014.

Internships

• 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)