https://ihp2014.pps.univ-paris-diderot.fr/ 2026-06-16T16:03:49+00:00 https://ihp2014.pps.univ-paris-diderot.fr/ https://ihp2014.pps.univ-paris-diderot.fr/lib/tpl/A_Centered_Perspective/images/favicon.ico text/html 2014-07-11T12:45:46+00:00 plateau (plateau@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=industry&rev=1405082746&do=diff Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie The primary aim of the session is to give an opportunity to students and academics and non-academic researchers to hear about recent developments of this kind carried out in an industry context. text/html 2014-07-11T09:09:50+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=av2_regard25ans_fm_final_diffusion.pdf&ns=&rev=1405069790&tab_details=history&mediado=diff&do=media text/html 2014-07-03T16:25:51+00:00 paulin (paulin@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=workshop_5&rev=1404404751&do=diff Certification of high-level and low-level programs Dates and location From July 7 to July 11, at Institut Henri Poincaré. Presentation This workshop is organised around invited talks and plenty of time for discussions. Topics of interest include : * separation logic and concurrency (CSL, rely-guarantee, ramified separation logic, high-order concurrency, text/html 2014-06-30T09:02:08+00:00 ong (ong@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=workshop_4&rev=1404118928&do=diff Abstraction and Verification in Semantics Dates and location From June 23 to June 27, at Institut Henri Poincaré. Presentation Semantics and Verification are neighbouring branches of Computer Science which have traditionally developed separately. While both are motivated by the question of program correctness, they approach it from different angles. text/html 2014-05-14T12:01:11+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=clearsy.pdf&ns=&rev=1400068871&tab_details=history&mediado=diff&do=media text/html 2014-05-14T12:01:01+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=claire_dross.pdf&ns=&rev=1400068861&tab_details=history&mediado=diff&do=media text/html 2014-05-14T12:00:50+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=ibm.pdf&ns=&rev=1400068850&tab_details=history&mediado=diff&do=media text/html 2014-05-14T11:59:37+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=ocamlpro-iguernelala.pdf&ns=&rev=1400068777&tab_details=history&mediado=diff&do=media text/html 2014-05-14T11:58:31+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=2014_04_26_trustinsoft_talk_1_.pdf&ns=&rev=1400068711&tab_details=history&mediado=diff&do=media text/html 2014-05-07T08:02:28+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=ihp_2014_prove_run.pdf&ns=&rev=1399449748&tab_details=history&mediado=diff&do=media text/html 2014-05-07T08:01:04+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=romain_bardou.pdf&ns=&rev=1399449664&tab_details=history&mediado=diff&do=media text/html 2014-05-07T08:00:33+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=olivier_levillain.pdf&ns=&rev=1399449633&tab_details=history&mediado=diff&do=media text/html 2014-05-07T07:58:56+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=slides_estereltech_280414.pdf&ns=&rev=1399449536&tab_details=history&mediado=diff&do=media text/html 2014-05-07T07:56:43+00:00 braibant (braibant@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=afrisch.pdf&ns=&rev=1399449403&tab_details=history&mediado=diff&do=media text/html 2014-03-12T15:28:30+00:00 smimram (smimram@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=recre.png&ns=&rev=1394638110&tab_details=history&mediado=diff&do=media <img src="https://ihp2014.pps.univ-paris-diderot.fr/lib/exe/fetch.php?w=300&h=195&t=1394638110&amp;tok=7aaf42&amp;media=recre.png" alt="recre.png" /> text/html 2014-03-12T15:22:04+00:00 smimram (smimram@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=anr.png&ns=&rev=1394637724&tab_details=history&mediado=diff&do=media <img src="https://ihp2014.pps.univ-paris-diderot.fr/lib/exe/fetch.php?w=240&h=105&t=1394637724&amp;tok=cb1c25&amp;media=anr.png" alt="anr.png" /> text/html 2013-12-02T10:46:27+00:00 smimram (smimram@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=systematic.gif&ns=&rev=1385981187&tab_details=history&mediado=diff&do=media <img src="https://ihp2014.pps.univ-paris-diderot.fr/lib/exe/fetch.php?w=500&h=56&t=1385981187&amp;tok=48114d&amp;media=systematic.gif" alt="systematic.gif" /> text/html 2013-10-14T22:18:38+00:00 smimram (smimram@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=poster.pdf&ns=&rev=1381789118&tab_details=history&mediado=diff&do=media text/html 2013-10-14T14:33:38+00:00 smimram (smimram@undisclosed.example.com) https://ihp2014.pps.univ-paris-diderot.fr/doku.php?image=map.png&ns=&rev=1381761218&tab_details=history&mediado=diff&do=media <img src="https://ihp2014.pps.univ-paris-diderot.fr/lib/exe/fetch.php?w=500&h=452&t=1381761218&amp;tok=786629&amp;media=map.png" alt="map.png" />