Project-Team:VERIDIS

Inria | Raweb 2013 | Presentation of the Project-Team VERIDIS | VERIDIS Web Site


	PDF	e-Pub

Previous |

Home | Next next

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)

Previous |

Home | Next next