[et_pb_section fb_built=”1″ next_background_color=”#ffffff” _builder_version=”4.4.6″ background_color=”#8c8c8c” top_divider_color=”#b53319″ bottom_divider_style=”arrow3″][et_pb_row _builder_version=”4.4.6″ custom_margin=”-26px|auto||auto||”][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.4.6″][et_pb_row column_structure=”1_2,1_2″ _builder_version=”4.4.6″][et_pb_column type=”1_2″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″ hover_enabled=”0″]<\/p>\n
Daniele Gorla<\/strong>,\u00a0Sapienza Universit\u00e0 di Roma [\/et_pb_text][et_pb_text _builder_version=”4.4.6″ hover_enabled=”0″]<\/p>\n Liron Cohen<\/strong>,\u00a0Ben-Gurion University of the Negev [\/et_pb_text][et_pb_text _builder_version=”4.4.6″ hover_enabled=”0″]<\/p>\n Mauricio Ayala-Rincon<\/strong>,\u00a0Brasilia University<\/span> Andreas Abel<\/strong>, Gothenburg University [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":" CommitteesGeneral Chair Daniele Gorla,\u00a0Sapienza Universit\u00e0 di Roma PC Chairs Liron Cohen,\u00a0Ben-Gurion University of the NegevCezary Kaliszyk,\u00a0University of Innsbruck ITP Steering Committee Mauricio Ayala-Rincon,\u00a0Brasilia University Yves Bertot, INRIA Jasmin Blanchette , Vrije University Amsterdam Amy Felty, University of OttawaDaniele Gorla,\u00a0Sapienza Universit\u00e0 di Roma Gerwin Klein, Data61, CSIRO and UNSW Sydney Pete Manolios, Northeastern University Magnus Myreen, […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/14"}],"collection":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/comments?post=14"}],"version-history":[{"count":12,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/14\/revisions"}],"predecessor-version":[{"id":455,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/14\/revisions\/455"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/media?parent=14"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
<\/span><\/p>\nPC Chairs<\/h3>\n
Cezary Kaliszyk<\/strong>,\u00a0University of Innsbruck
<\/span><\/p>\nITP Steering Committee<\/h3>\n
\nYves Bertot<\/strong>, INRIA
\nJasmin Blanchette<\/strong> , Vrije University Amsterdam
\nAmy Felty<\/strong>, University of Ottawa
Daniele Gorla<\/strong>,\u00a0Sapienza Universit\u00e0 di Roma<\/span>
\nGerwin Klein<\/strong>, Data61, CSIRO and UNSW Sydney
\nPete Manolios<\/strong>, Northeastern University
\nMagnus Myreen<\/strong>, Chalmers University
\nLarry Paulson<\/strong>, University of Cambridge (chair)
\nAndrew Tolmach<\/strong>, Portland State University (ex officio)
\nChristian Urban<\/strong>, King\u2019s College London<\/p>\n
\n<\/span>[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″]<\/p>\nProgram Committee<\/h3>\n
June Andronick,<\/strong> CSIRO|Data61 and UNSW
Jes\u00fas Aransay<\/strong>, Universidad de La Rioja
Jeremy Avigad,\u00a0<\/strong>Carnegie Mellon University
Christoph Benzm\u00fcller,\u00a0<\/strong>Freie Universit\u00e4t Berlin
Jasmin Blanchette,<\/strong> Vrije Universiteit Amsterdam
Adam Chlipala,\u00a0<\/strong>Massachusetts Institute of Technology
Claudio Sacerdoti\u00a0Coen,<\/strong> University of Bologna
Leonardo de Moura,<\/strong> Microsoft
Valeria de Paiva,<\/strong> Samsung Research America and University of Birmingham
Gilles Dowek,<\/strong> INRIA and ENS Paris-Saclay
Amy Felty,<\/strong> University of Ottawa
Hugo Herbelin,<\/strong> INRIA
Shachar Itzhaky,<\/strong> Technion
Chantal Keller,<\/strong> LRI, Universit\u00e9 Paris-Sud
Michael Kohlhase,<\/strong> Computer Science, FAU Erlangen-N\u00fcrnberg
Peter Lammich,<\/strong> Institut fuer Informatik, TU Munich
Assia Mahboubi,<\/strong> INRIA
Stephan Merz,<\/strong> Inria Nancy
C\u00e9sar Mu\u00f1oz<\/strong> , NASA
Cl\u00e1udia Nalon,<\/strong> University of Bras\u00edlia
Adam Naumowicz,<\/strong> Institute of Informatics, University of Bialystok, Poland
Tobias Nipkow,<\/strong> Technical University of Munich
Michael Norrish,<\/strong> CSIRO
John O’Leary,<\/strong> Intel
Lawrence Paulson,<\/strong> University of Cambridge
Damien Pous,<\/strong> CNRS – ENS Lyon
Vincent Rahli,\u00a0<\/strong>University of Birmingham
Matthieu Sozeau,<\/strong> INRIA
Andrew Tolmach,\u00a0<\/strong>Portland State University
Christian Urban,<\/strong> King’s College London
Josef Urban,\u00a0<\/strong>Czech Technical University in Prague<\/p>\n