Team VerTeCs

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

Section: Dissemination

Scientific animation

Nathalie Bertrand

was PC member of QAPL'09 workshop, and QEST'09 international conference. She was invited to give seminars on "When are timed automata determinizable?" at LaBRI Bordeaux and LIF Marseille (may and october 2009 respectively). She visited TU Dresden twice 2 weeks in february and november 2009.

Thierry Jéron

was PC member of Testcom/Fates'09 and ICFEM'09 and SC member of Movep 2010. He gave an invited talk at MSR'09, and a tutorial at the ETR'09 summer school (Ecole d'été Temps réel ) on “Automatic test generation of Reactive and timed systems”. He was reviewer of the PhD defense of Eduardo Almeida (Université de Nantes, February 2009), of Yliès Falcone (Université Joseph Fourier, Grenoble, November 2009) and of the HDR defense of Hélène Collavizza (Université de Nice, December 2009). He is member of the IFIP Working Group 10.2 on Embedded Systems.

Hervé Marchand

is Associate Editor of the IEEE Transactions on Automatic Control journal since October 2009. He is member of the IFAC Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005. He was PC member of the ICINCO'09 and MSR'09 Conferences. He was invited to give a seminar at INRIA Grenoble on “optimal control of discrete event systems” in december 2009. He visited ULB (Bruxelles) for one week in June 2008 during which he gave a seminar on “security analysis of information systems”.

Christophe Morvan

was invited to give a seminar “Regular graphs : a perfect model for infinite state systems?” at LSV, Cachan (Februar 2009). He gave a talk: "Diagnosability of pushdown systems" at the conference AutomathA 2009 (for the AutomathA European project).

Vlad Rusu

organized the EJCP (Ecole Jeunes Chercheurs en Programmation) in June 2009.


Logo Inria