Section: Dissemination

Promoting Scientific Activities


The Indo-French Formal Methods Lab is an International Associated Laboratory (LIA) fostering the scientific collaboration between India and France in the domain of formal methods and applications to the verification of complex systems. Our research focuses on theoretical foundations of games, automata, and logics, three important tools in formal methods. We study applications to the verification of safety-critical systems, with an emphasis on quantitative aspects (time, cost, energy, etc.), concurrency, control, and security protocols. The Laboratory was founded in 2012 by a consortium of researchers from the French Centre for Scientific Research (CNRS), Ecole Normale Supérieure de Cachan (ENS Cachan), Université Bordeaux 1, the Institute of Mathematical Sciences Chennai (IMSc), the Chennai Mathematical Institute (CMI), and the Indian Institute of Science Bangalore (IISc). It is directed by Paul Gastin (ENS Cachan, MExICo team) and Madhavan Mukund (CMI). The LIA has been scientifically extremely active and productive since its creation. The LIA has supported numerous scientific exchanges and joint research papers, see here. Among many other activities, the LIA organised another edition of the ACTS workshop.

Scientific Events Selection

Member of the Conference Program Committees
  • Thomas Chatain was a member of the program committee of (ACSD 2016).

  • Matthias Függer was a member of the PCs of DDECS'16 and ASYNC'16.

  • Stefan Haar was a member of the PCs of 13th International Workshop on Discrete Event SystemsWODES 2016, the 16th International Conference on Applications of Concurrency to Systems Design(ACSD 2016), Int. WS on Petri Nets and Software Engineering PNSE 2016, ATAED Workshop on Analysis of Event Data 2016, and IEEE Int. Conf. on Emerging Technologies and Factory Automation(ETFA) 2016.

  • Serge Haddad was a member of the PC of the 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2016),Tunis, Tunisia.

  • Stefan Schwoon was a member of the PC of the 37th International Conference on Applications and Theory of Petri Nets and Concurrency (PN 2016).

  • Claudine Picaronny was a PC member for the Eighth International Conference on Advances in System Simulation (SIMUL'16)

  • Matthias Függer was a reviewer for ICALP, ASYNC, DISC, DDECS, and IPDPS.

  • Stefan HAAR was a reviewer for MFCS 2016.

  • Stefan Schwoon acted as a reviewer for the following conferences taking place in 2016 : TACAS, ACSD, CONCUR, FSTTCS.


Member of Editorial Boards
Reviewer - Reviewing Activities
  • Matthias Függer was a reviewer for the Journal Energies.

  • Stefan Haar was a reviewer for LMCS, MSCS, IEEE Transactions on Automatic Control and Journal of Discrete Event Dynamic Systems.

  • Stefan Schwoon acted as a reviewer for the following journals in 2016 : Fundamenta Informaticae, Transactions on Software Engineering.

Invited Talks

  • Serge Haddad gave the following invited talks:

    • at the Joint AFSEC/ANR PACS workshop on May 26, 2016, Paris, France, on "Polynomial Interrupt Timed Automata";

    • at the VECOS 2016 conference, Tunis, Tunisia, on October 6, 2016, "Active Diagnosis";

    • at IDC 2016 (10th International Symposium on Intelligent Distributed Computing), October 11, 2016, Paris, France, on "Fault Diagnosis in Probabilistic Systems".

  • Benedikt Bollig gave an invited tutorial at Highlights, Brussels, Belgium, 2016, on Automata and Logics for Distributed Systems

Research Administration

  • Paul Gastin is one of the directors of the LIA INFORMEL.

  • Stefan Haar is the head of the SCILEX axis within the DIGICOSME Labex. He was the Inria center of Saclay's correspondent for european partnerships until the summer of 2017, when he stepped down from this position to accept the presidency of Inria's COST-GTRI (international relations working group).

  • Serge Haddad was a member of the recruitment committee for a professorship at INSA Toulouse.