EN FR
EN FR


Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

The following researchers have visited Focus for short periods; we list them together with the title of the talk they have given during their stay, or the topic discussed during their stay.

  • Marco Bernardo: "Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems."

  • Guillermo Roman Diez: "Resource Analysis."

  • Lukasz Mikulski: "On Concurrency Paradigms."

  • Jean-Pierre Jouannaud: "Coq modulo theory."

  • Paul Blain Levy: "Trace semantics of well-founded processes via commutativity."

  • Akihisa Yamada: "Certifying Safety and Termination Proofs for Integer Transition Systems" (long visit).

  • Ryo Tanaka: semantics of higher-order functional languages (long visit).

  • Antonio Ravara: “Behavioural Type Inference for Object-Oriented Languages”.

  • Lukasz Mikulski: "On concurrency paradigms".

  • Ludovic Henrio, “Deadlock analysis in distributed object systems”.

Visits to International Teams

  • Ugo Dal Lago: has spent two weeks in April at ENS Lyon, and 1 month at IRIF, Université Paris 7, in May/June.

  • Charles Grellois has taken part in the programme "Automata, Logic and Games", 5 weeks (August-September), Singapore.

  • Valeria Vignudelli has spent six months in the Inria Comète team, Inria Saclay/Ecole Polytechnique, Paris.

  • Abel Garcia has spent 6 months at the Department of Computer Science, TUD Darmstadt.

Sabbatical programme

Maurizio Gabbrielli is, since 15 September 2014, Head of the EIT ICT Labs Doctoral School with Paris as his principal location.