{"id":4,"date":"2012-10-06T00:58:13","date_gmt":"2012-10-05T22:58:13","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/?page_id=4"},"modified":"2015-12-15T10:57:10","modified_gmt":"2015-12-15T09:57:10","slug":"about","status":"publish","type":"page","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/about\/","title":{"rendered":"About"},"content":{"rendered":"

The Indo-French Formal Methods Lab<\/strong> is an International Associated Laboratory aimed at fostering the scientific collaboration between India and France in the domain of formal methods and applications to the verification of complex systems.<\/p>\n

Our research focuses on theoretical foundations<\/a> of games, automata, and logics, three important tools in formal methods. We study applications<\/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 Laboratory was founded 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 is directed by Paul Gastin<\/a> and Madhavan Mukund<\/a>.<\/p>\n

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

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

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

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

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

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

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

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

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

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

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

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

The Indo-French Formal Methods Lab is an International Associated Laboratory aimed at 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 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-4","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/pages\/4","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=4"}],"version-history":[{"count":53,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":582,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/pages\/4\/revisions\/582"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/informel\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}