{"id":331,"date":"2012-12-07T19:31:35","date_gmt":"2012-12-07T18:31:35","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/?page_id=331"},"modified":"2017-10-02T22:36:27","modified_gmt":"2017-10-02T20:36:27","slug":"home","status":"publish","type":"page","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/","title":{"rendered":"Home"},"content":{"rendered":"

 <\/p>\n

The Indo-French Formal Methods Lab\u00a0<\/strong>was an International Associated Laboratory operating from\u00a02012 to 2016 with the aim of fostering the scientific collaboration between India and France in the domain of formal methods and applications to the verification of complex systems.<\/p>\n

Since 1 January 2017, the mission of the Laboratory is pursued under the consolidated status of an Indo-French Research Unit:\u00a0ReLaX – Research Lab in Computer Science<\/a>, CNRS UMI 2000.<\/p>\n

Background.<\/strong> The research of the INFORMEL Laboratory focused on theoretical foundations<\/a> of games, automata, and logics, three important tools in formal methods. We studied\u00a0applications<\/a> to the verification of safety-critical systems, with an emphasis on quantitative aspects (time, cost, energy, etc.), concurrency, control, and security protocols.<\/p>\n

The INFORMEL project had been initiated in 2012 by a consortium<\/a> of researchers from the French Centre for Scientific Research CNRS, Ecole Normale Sup\u00e9rieure de Cachan, Universit\u00e9 Bordeaux 1, the Institute of Mathematical Sciences Chennai, the Chennai Mathematical Institute, and the Indian Institute of Science Bangalore. It was directed by Paul Gastin<\/a> and Madhavan Mukund<\/a>.<\/p>\n

After four years of successful activity within the INFORMEL Laboratory, the collaboration project was renewed and amplified in the form of an International Research Unit:\u00a0ReLaX – Research Lab in Computer Science<\/a>,\u00a0Indo-French Research Unit, CNRS UMI 2000.<\/p>\n

 <\/p>\n

\n
\n
\"CNRS<\/a><\/div>\n

www.cnrs.fr<\/p>\n<\/div>\n

\n
\"ENS<\/div>\n

www.ens-paris-saclay.fr<\/p>\n<\/div>\n

\n
\"UBordeaux<\/div>\n

www.u-bordeaux1.fr<\/p>\n<\/div>\n

\n
\"CMI<\/div>\n

www.cmi.ac.in<\/p>\n<\/div>\n

\n
\"IMSc<\/div>\n

www.imsc.res.in<\/p>\n<\/div>\n

\n
\"IISC<\/div>\n

www.iisc.ernet.in<\/p>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

  The Indo-French Formal Methods Lab\u00a0was an International Associated Laboratory operating from\u00a02012 to 2016 with the aim of fostering the scientific collaboration between India and France in the domain of formal methods and applications to the verification of complex systems. Since 1 January 2017, the mission of the Laboratory is pursued under the consolidated status […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-331","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/pages\/331","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/comments?post=331"}],"version-history":[{"count":19,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/pages\/331\/revisions"}],"predecessor-version":[{"id":646,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/pages\/331\/revisions\/646"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/media?parent=331"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}