Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

David Déharbe from UFRN (Natal, Brazil) joined the VeriDis team in Nancy for a one-year sabbatical that started in August 2013.

Josef Widder from TU Vienna, Austria, spent 6 weeks in Nancy in October and November 2013 as an Inria invited researcher. Together with Stephan Merz, he worked on the formalization of parameterized model checking techniques for fault-tolerant distributed algorithms in a proof assistant.

Mike Poppleton from the University of Southampton and Hoang Thai Son from ETHZ spent a week in our group for developing techniques to integrate fairness in Event B models, on the basis of the work published at IFM 2013 [17] .

Internships

• Luis Esteban Campostrini

  • Subject: Formal Verification of Distributed Algorithms

  • Date: from May until October, 2013

  • Institution: Universidad National de Rosario (Argentina)

  • Joint supervision with Martin Quinson (AlGorille team)

• Anisia Maria Magdalena Tudorescu

  • Subject: Integrating SMT solvers into Spike

  • Date: from March 2013 until May 2013

  • Institution: West Timisoara University (Romania)

  • Joint supervision with Christophe Ringeissen (Cassis team) and Sorin Stratulat (Pareo team)

• Paula Chocrón

  • Subject: Non-disjoint combination for SMT solvers: sharing a fragment of arithmetic

  • Date: from September 2013 until December 2013

  • Institution: University of Buenos Aires (Argentina)

  • Joint supervision with Christophe Ringeissen (Cassis team)