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."
-
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”.
-
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.