EN FR
EN FR


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)