{"id":14,"date":"2020-06-03T07:48:50","date_gmt":"2020-06-03T07:48:50","guid":{"rendered":"http:\/\/easyconferences.eu\/itp2021\/?page_id=14"},"modified":"2021-05-27T14:12:01","modified_gmt":"2021-05-27T14:12:01","slug":"committee","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/lics2021\/committee\/","title":{"rendered":"Committee"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; next_background_color=&#8221;#ffffff&#8221; _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#8c8c8c&#8221; top_divider_color=&#8221;#b53319&#8243; bottom_divider_style=&#8221;arrow3&#8243; da_is_popup=&#8221;off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221; da_disable_devices=&#8221;off|off|off&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;-26px|auto||auto||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\"><span style=\"color: #ffffff;\">Committee<\/span><\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221; da_disable_devices=&#8221;off|off|off&#8221;][et_pb_row column_structure=&#8221;1_2,1_2&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h3>General Chair<\/h3>\n<ul>\n<li><span>Daniele Gorla<\/span>, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Italy<\/li>\n<\/ul>\n<h3>Steering Committee<\/h3>\n<ul>\n<li><span>M.\u00a0Abadi<\/span><\/li>\n<li><span>L.\u00a0Aceto<\/span><\/li>\n<li><span>C.\u00a0Baier<\/span><\/li>\n<li><span>F.\u00a0Blanqui<\/span><\/li>\n<li><span>P.\u00a0Bouyer<\/span><\/li>\n<li><span>A.\u00a0Bulatov<\/span><\/li>\n<li><span>A.\u00a0Dawar<\/span><\/li>\n<li><span>D. Gorla<\/span><\/li>\n<li><span>E.\u00a0Gr\u00e4del<\/span><\/li>\n<li><span>M.\u00a0Grohe<\/span><\/li>\n<li><span>A.\u00a0Ing\u00f3lfsd\u00f3ttir<\/span><\/li>\n<li><span>N.\u00a0Kobayashi<\/span><\/li>\n<li><span>A.\u00a0McIver<\/span><\/li>\n<li><span>D.\u00a0Miller (chair)<\/span><\/li>\n<li><span>L.\u00a0Ong<\/span><\/li>\n<li><span>J.\u00a0Ouaknine<\/span><\/li>\n<li><span>F.\u00a0Pfenning<\/span><\/li>\n<li><span>A.\u00a0Silva<\/span><\/li>\n<li><span>S.\u00a0Staton<\/span><\/li>\n<li><span>L.\u00a0Zhang<\/span><\/li>\n<\/ul>\n<h3>LICS Publicity and Proceedings Chair<\/h3>\n<ul>\n<li><a href=\"http:\/\/www.cs.ox.ac.uk\/people\/samuel.staton\/main.html\">Sam Staton<\/a>,<span>\u00a0<\/span><em>Univ. Oxford<\/em><em><\/em><\/li>\n<\/ul>\n<h3>Workshops Chair<\/h3>\n<ul>\n<li><span>Fr\u00e9d\u00e9ric Blanqui (INRIA)<\/span><\/li>\n<\/ul>\n<p><em><\/em><\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h3>Program Committee Chair<\/h3>\n<ul>\n<li>Leonid Libkin (Univ. of Edinburgh\/ENS-Paris)<\/li>\n<\/ul>\n<h3>Program Committee<\/h3>\n<ul>\n<li>Christoph Berkholz (Humboldt-University Berlin)<\/li>\n<li>Meghyn Bienvenu (CNRS, University of Bordeaux)<\/li>\n<li>Filippo Bonchi (University of Pisa)<\/li>\n<li>V\u00e9ronique Bruy\u00e8re (University of Mons)<\/li>\n<li>Yu-Fang Chen (Academia Sinica)<\/li>\n<li>Dmitry Chistikov (University of Warwick)<\/li>\n<li>Silvia Crafa (University of Padova)<\/li>\n<li>Amina Doumane (<span>CNRS-ENS de Lyon<\/span>)<\/li>\n<li>St\u00e9phanie Delaune (University Rennes, CNRS, IRISA)<\/li>\n<li>Ekaterina Fokina (TU Wien)<\/li>\n<li>Marco Gaboardi (Boston University)<\/li>\n<li>Adria Gascon (Google UK)<\/li>\n<li>Lauri Hella (Tampere University)<\/li>\n<li>Ekaterina Komendantskaya (Heriott-Watt University)<\/li>\n<li>Benoit Larose (UQAM, Montr\u00e9al)<\/li>\n<li>J\u00e9r<span>\u00f4<\/span>me Leroux (CNRS, University of Bordeaux)<\/li>\n<li>Wim Martens (University of Bayreuth)<\/li>\n<li>Peter O\u2019Hearn (UCL\/Facebook)<\/li>\n<li>Daniela Petrisan (Universit\u00e9 de Paris, CNRS, IRIF)<\/li>\n<li>Miguel Romero (Universidad Adolfo Ib\u00e1<span>\u00f1<\/span>ez)<\/li>\n<li>Philippe Schnoebelen (CNRS &amp; ENS Paris-Saclay)<\/li>\n<li>Olivier Serre (Universit\u00e9 de Paris, CNRS, IRIF)<\/li>\n<li>Sebastian Siebertz (University of Bremen)<\/li>\n<li>Kristina Sojakova (INRIA)<\/li>\n<li>Alwen Tiu (Australian National University)<\/li>\n<li>Patrick Totzke (University of Liverpool)<\/li>\n<li>Szymon Torunczyk (University of Warsaw)<\/li>\n<li>Takeshi Tsukada (University of Tokyo)<\/li>\n<li>Jamie Vicary (University of Cambridge)<\/li>\n<li>Michael Zakharyaschev (Birkbeck)<\/li>\n<li>Anna Zamansky (Haifa University)<\/li>\n<li>Georg Zetzsche (Max Planck Institute for Software Systems)<\/li>\n<li>Thomas Zeume (Ruhr-Universit<span>\u00e4<\/span>t Bochum)<\/li>\n<\/ul>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>CommitteeGeneral Chair Daniele Gorla, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Italy Steering Committee M.\u00a0Abadi L.\u00a0Aceto C.\u00a0Baier F.\u00a0Blanqui P.\u00a0Bouyer A.\u00a0Bulatov A.\u00a0Dawar D. Gorla E.\u00a0Gr\u00e4del M.\u00a0Grohe A.\u00a0Ing\u00f3lfsd\u00f3ttir N.\u00a0Kobayashi A.\u00a0McIver D.\u00a0Miller (chair) L.\u00a0Ong J.\u00a0Ouaknine F.\u00a0Pfenning A.\u00a0Silva S.\u00a0Staton L.\u00a0Zhang LICS Publicity and Proceedings Chair Sam Staton,\u00a0Univ. Oxford Workshops Chair Fr\u00e9d\u00e9ric Blanqui (INRIA) Program Committee Chair Leonid Libkin (Univ. of Edinburgh\/ENS-Paris) [&hellip;]<\/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":"<!-- wp:divi\/placeholder \/-->","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/14"}],"collection":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/comments?post=14"}],"version-history":[{"count":17,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/14\/revisions"}],"predecessor-version":[{"id":815,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/14\/revisions\/815"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/media?parent=14"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}