{"id":4,"date":"2017-10-26T12:47:44","date_gmt":"2017-10-26T12:47:44","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/?page_id=4"},"modified":"2022-10-11T16:35:48","modified_gmt":"2022-10-11T15:35:48","slug":"home","status":"publish","type":"page","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/","title":{"rendered":"Presentation"},"content":{"rendered":"<p>EPIT is a <a href=\"https:\/\/epit.irif.fr\/\">long series of Spring schools<\/a> in theoretical computer science, initiated by <a href=\"https:\/\/fr.wikipedia.org\/wiki\/Maurice_Nivat\">Maurice Nivat<\/a> in 1973 to bring together researchers in a friendly and intensive atmosphere.<\/p>\n<p>The 2018 edition will take place on <b>May 7-11 in Aussois<\/b>, on the topic of software verification. The need for software verification in our information society has been recognized as early as in the &rsquo;70s and it is an ever-more-important concern today. Over the past decades, it has driven exciting research in various fields of theoretical computer science such as logic, automata, type systems, algorithms and complexity. Recently, verification techniques have seen rapid development and industrial adoptions, notably following the SMT revolution.<\/p>\n<p>The school will cover several fundamental aspects of software verification:<\/p>\n<ul>\n<li><a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/?page_id=44\">SMT solvers<\/a>, by <a href=\"https:\/\/members.loria.fr\/PFontaine\/\">Pascal Fontaine<\/a> (LORIA)<\/li>\n<li><a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/?page_id=49\">Program verification with F*<\/a>, by <a href=\"https:\/\/prosecco.gforge.inria.fr\/personal\/hritcu\/\">C\u0103t\u0103lin Hri\u0163cu<\/a>\u00a0(Inria Paris) and others<\/li>\n<li><a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/?page_id=55\">Bounded Model Checking<\/a>, by <a href=\"https:\/\/users.ecs.soton.ac.uk\/gp4\/\">Gennaro Parlato<\/a> (University of Southampton)<\/li>\n<li><a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/?page_id=57\">Concurrent program logics<\/a>, by <a href=\"https:\/\/people.mpi-sws.org\/~viktor\/\">Viktor Vafeiadis<\/a> (MPI Kaiserslautern)<\/li>\n<\/ul>\n<p>In addition to these lectures, the school will feature four more specific talks. All details may be found on the <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/?page_id=20\">programme<\/a> page. The official language for the school will be English.<\/p>\n<div id='gallery-1' class='gallery galleryid-4 gallery-columns-3 gallery-size-thumbnail'><figure class='gallery-item'>\n\t\t\t<div class='gallery-icon landscape'>\n\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"99\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/wp-content\/uploads\/2017\/10\/CPL-ete3.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" \/>\n\t\t\t<\/div><\/figure><figure class='gallery-item'>\n\t\t\t<div class='gallery-icon landscape'>\n\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"100\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/wp-content\/uploads\/2017\/10\/Le-bar.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" \/>\n\t\t\t<\/div><\/figure><figure class='gallery-item'>\n\t\t\t<div class='gallery-icon landscape'>\n\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"99\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/wp-content\/uploads\/2017\/10\/Aiguilles-darves4.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" \/>\n\t\t\t<\/div><\/figure>\n\t\t<\/div>\n\n<p style=\"margin-top: -2em;\">The school will be held at <a href=\"https:\/\/www.caes.cnrs.fr\/sejours\/centre-paul-langevin\/\">Centre Paul-Langevin<\/a> in <a href=\"https:\/\/opentopomap.org\/#marker=15\/45.23286\/6.74355\">Aussois, France<\/a> (check <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/?page_id=29\">practical informations<\/a>). Participants and speakers will be hosted on location, in an inspiring mountain setting.<\/p>\n<p><center>[mapsmarker marker=\u00a0\u00bb1&Prime;]<\/p>\n<p><\/center>See you there!<\/p>\n<h2>Organizers<\/h2>\n<p>The school is organized by <a href=\"https:\/\/www.lsv.ens-paris-saclay.fr\/~baelde\">David Baelde<\/a> (<a href=\"https:\/\/www.lsv.ens-paris-saclay.fr\">LSV<\/a>) and <a href=\"https:\/\/www.irif.fr\/~cenea\/\">Constantin Enea<\/a> (<a href=\"https:\/\/www.irif.fr\">IRIF<\/a>) with support from the following partners:<\/p>\n<p><a href=\"https:\/\/www.cnrs.fr\"><img decoding=\"async\" class=\"alignnone size-full wp-image-134\" style=\"height: 4em;\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/wp-content\/uploads\/2017\/10\/cnrs.png\" alt=\"\" \/><\/a><a href=\"https:\/\/www.inria.fr\"><img decoding=\"async\" class=\"alignnone size-full wp-image-134\" style=\"height: 4em;\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/wp-content\/uploads\/2017\/10\/inria.png\" alt=\"\" \/><\/a><a href=\"https:\/\/www.lsv.ens-paris-saclay.fr\"><img loading=\"lazy\" decoding=\"async\" width=\"354\" height=\"235\" class=\"alignnone size-full wp-image-134\" style=\"height: 4em;\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/wp-content\/uploads\/2017\/10\/lsv.png\" alt=\"\" \/><\/a><a href=\"https:\/\/www.irif.fr\"><img decoding=\"async\" class=\"alignnone size-full wp-image-134\" style=\"height: 4em;\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/wp-content\/uploads\/2017\/10\/irif.png\" alt=\"\" \/><\/a><a href=\"https:\/\/www.gdr-im.fr\"><img decoding=\"async\" class=\"alignnone size-full wp-image-134\" style=\"height: 4em;\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/wp-content\/uploads\/2017\/10\/gdrim.jpg\" alt=\"\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>EPIT is a long series of Spring schools in theoretical computer science, initiated by Maurice Nivat in 1973 to bring together researchers in a friendly and intensive atmosphere. The 2018 edition will take place on May 7-11 in Aussois, on the topic of software verification. The need for software verification &hellip; <\/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-4","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/index.php?rest_route=\/wp\/v2\/pages\/4","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=4"}],"version-history":[{"count":34,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/index.php?rest_route=\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":309,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/index.php?rest_route=\/wp\/v2\/pages\/4\/revisions\/309"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/epit18\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}