Team MExICo

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination

Visits and Visitors

Visits received


Rolf Hennecker, professor at Ludwig-Maximilians-Universität München, Germany, visited MExICo from March 30 to April 10th, 2009. He worked with Dorsaf El Hog and Serge Haddad on modal specifications for asynchronous composition of systems. In return, Dorsaf El Hog has visited R. Hennicker during two weeks in July 2009.


Marc ZEITOUN , PR University Bordeaux 1, joined the LSV and MExIcO on a 1 year INRIA position (délégation INRIA , from Sept 1st 2009 to August 31, 2010).

His main research interests concern the verification of distributed systems, with a focus on the control and synthesis problems. He will also be involved in the diagnosis for concurrent systems. Finally, he is interested in developing tools and specification languages adapted to checking quantitative aspects of systems.


Volker DIEKERT , professor at the Univesity of Stuttgart. He worked with Paul Gastin on control and synthesis for distributed systems, 2 weeks in October 2009.

Madhavan MUKUND and K. Narayan KUMAR

Madhavan MUKUND and K. Narayan KUMAR , professors at the Chennai Mathematical Institute, worked with S. Akshay, Benedikt Bollig and Paul Gastin on distributed and timed systems, 2 weeks in June 2009.

Aiswarya CYRIAC

Aiswarya CYRIAC , student from IMSc in Chennai. Research internship with Stéphane Demri and Paul Gastin on focus games for LTL specifications, 7 weeks, June-July 2009.


Michael WALDVOGEL , student from Germany. Research internship with Benedikt Bollig and Paul Gastin on concurrent recursive programs, 2 months, April-May 2009.


Martin LEUCKER , professor at the Technische Universität München, worked with Benedikt Bollig on learning of alternating automata, 1 week in July 2009.


Paolo BALDAN , associate professor at the University of Padova, worked with Stefan Schwoon and Stefan Haar on contextual unfoldings of Petri nets, December 8 to 11, 2009.

Visits to other laboratories

Stefan Haar visited the group of Prof. Rene BOEL at Ghent University, Belgium, from June 2 to 4, 2009, and the group of Prof. Luca Bernardinello , Universià di Milano, Italy, November 4 to 6, 2009.


Logo Inria