Section: Dissemination

Promoting Scientific Activities

LIA INFORMEL

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  http://projects.lsv.ens-cachan.fr/informel/ . Among many other activities, the LIA organised another edition of the ACTS workshop, see here .

The renewal beyond 2015 has been approved by CNRS' national committee, the FSD's approval is pending.

Scientific events organisation

General chair, scientific chair

Serge Haddad is a member of the steering committee for ICATPN.

Scientific events selection

Chair of conference program committees

• Stefan Haar was co-chair of the program committee of the conference Application of Concurrency to System Design (ACSD) 2015 [38] .

Member of the conference program committees

• Thomas Chatain was a member of the program committee of the conference Application of Concurrency to System Design (ACSD) 2015 [38] .

• Paul Gastin was a member of the program committee of the workshop ACTS 2015 .

• Stefan Haar was a member of the program committees of the ETFA 2015 workshop, the CIIA 2015 workshop, and of the SAFEPROCESS 2015 Symposium and the ICTAC 2015 conference.

• Stefan Schwoon was a member of the PCs for ICATPN 2015 and SPIN 2015.

• Serge Haddad was a member of the PCs of the workshops

  • FOR-MOVES, associated with ICSOC 2015, Goa, India;

  • VECOS 2015, Bejaia, Algeria;

  • ADECS and PNSE, both associated with ICATPN 2015, Brussels, Belgium.

Reviewer

• Stefan Haar was a reviewer for CSL 2015, ACC 2015

• Stefan Schwoon was a reviewer for the 2015 editions of SODA, TAMC, POPL, and TACAS.

• Paul Gastin,Benedikt Bollig and Serge Haddad are regularly reviewers for many international conferences.

Journal

Member of the editorial boards

• Paul Gastin is on the advisory boards of Journal of Automata, Languages and Combinatorics and of the EATCS Springer Book series Monographs in Theoretical Computer Science and Texts in Theoretical Computer Science.

• Serge Haddad was Editor of one edition of the TOPNOC journal (LNCS 8910).

• Stefan Haar is an associate editor for the Journal of Discrete Event Dynamic systems.

Reviewer - Reviewing activities

• Stefan Haar was a reviewer for Automatica, Journal of Computer and System Sciences, IEEE Transactions on Automatic Control, Computer Journal and TOPNOC. He is also a regular reviewer for AMS Mathematical Reviews.

• Thomas Chatain was a reviewer for reviewer forACM Transactions on Embedded Computing Systems.

• Stefan Schwoon acted as reviewer for the journals TCS, Fundamenta, STTT, FAOC (Formal Aspects of Computing), and ToPNoC.

• Paul Gastin, Benedikt Bollig and Serge Haddad are regularly reviewers for many international journals.

Invited talks

• Serge Haddad gave invited talks

  • on 'Active Diagnosis', July 7, 2015, Turin University;

  • on 'Time and Stochastic Petri Nets', June 22, during the Petri Nets tutorials at ICATPN 2015, Brussels, Belgium;

  • on 'Polynomial Interrupt Timed Automata' at Inria Rennes, Sept. 17,

  • on 'probabilistic automata' at Ecole Jeunes Chercheurs EJCIM 2015, April 1st, 2015, Orléans, France.

• Paul Gastin was an invited speaker for

  • 'Formal methods for the verification of distributed algorithms' Invited talk at INFINITY 2015 , Bangalore (India), December 15, 2015.

  • 'Weighted Automata: Highlighted Excerpts.' Tutorial at HIGHLIGHTS'15 , Prague, September 15, 2015.

  • Gossip: Maintening latest information beyond channel bounds.<br> Invited talk at ALFA'15 , Bordeaux (France), June 15 - 17, 2015, and talk at FRIDA'15 , Grenoble (France,) June 5, 2015.

  • '10 years of weighted logics for weighted automata.' Invited talk at AutoMathA , Leipzig (Germany), May 6 - 9, 2015.

• Benedikt Bollig was an invited speaker

  • at the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015), Kassel, Germany

  • at the 20th International Conference on Implementation and Application of Automata (CIAA 2015), Umeå, Sweden

  • at the 2nd Workshop on Parameterized Verification, Madrid, Spain

  • at ALFA 15: Automata, Logic, Formal languages, Algebra, Bordeaux, France

  • at Automata, Concurrency and Timed Systems (ACTS 2015), Chennai, India

• Stefan Schwoon gave a talk in the CASSTING workshop in Brussels on May 18th, 2015.

Scientific expertise

• Serge Haddad was member of a selection committee for a professor's position at U. Paris 6, and an external expert for the evaluation of ONERA's DCPS department in November 2015.

Research administration

• Paul Gastin is director of the LIA INFORMEL .

• Stefan Haar is the Saclay Inria center's correspondent for european partnerships. He also was a member of DIGITEO's project selection committee, and will be directing the SCILEX axis of the LABEX DIGICOSME.

All members of the team reviewed numerous papers for numerous international conferences.