{"id":87,"date":"2022-03-11T13:04:43","date_gmt":"2022-03-11T12:04:43","guid":{"rendered":"https:\/\/fm2023.isp.uni-luebeck.de\/wordpress\/?page_id=87"},"modified":"2023-01-14T17:11:18","modified_gmt":"2023-01-14T16:11:18","slug":"committees","status":"publish","type":"page","link":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/committees\/","title":{"rendered":"Committees"},"content":{"rendered":"\n
<\/div>\n\n\n\n

Program Committee<\/h2>\n\n\n\n
Member(s)<\/strong><\/td>Affiliation<\/strong><\/td><\/td><\/tr>
Dalal Alrajeh<\/a><\/td>Imperial College, UK<\/td><\/td><\/tr>
Luis Soares Barbosa<\/a><\/td>University of Minho, PT<\/td><\/td><\/tr>
Ezio Bartocci<\/a><\/td>TU Vienna, AT<\/td><\/td><\/tr>
Nikolaj Bj\u00f8rner<\/a><\/td>Microsoft, US<\/td><\/td><\/tr>
Sandrine Blazy<\/a><\/td>University of Rennes, FR<\/td><\/td><\/tr>
Borzoo Bonakdarpour<\/a><\/td>Michigan State University, US<\/td><\/td><\/tr>
Pablo Castro<\/a><\/td>University of Rio Cuarto, AR<\/td><\/td><\/tr>
Ana Cavalcanti<\/a><\/td>University of York, UK<\/td><\/td><\/tr>
Milan \u010ceska<\/a><\/td>Brno University of Technology, CZ<\/td><\/td><\/tr>
Marsha Chechik<\/a> (Co-Chair)<\/td>University of Toronto, CA<\/td><\/td><\/tr>
Nancy Day<\/a><\/td>University of Waterloo, CA<\/td><\/td><\/tr>
Bernd Fischer<\/a><\/td>Stellenbosch University, ZA<\/td><\/td><\/tr>
Arie Gurfinkel<\/a><\/td>University of Waterloo, CA<\/td><\/td><\/tr>
Reiner H\u00e4hnle<\/a><\/td>TU Darmstadt, DE<\/td><\/td><\/tr>
Ichiro Hasuo<\/a><\/td>National Institute of Informatics, JP<\/td><\/td><\/tr>
Keijo Heljanko<\/a><\/td>University of Helsinki, FI<\/td><\/td><\/tr>
Holger Hermanns<\/a><\/td>Saarland University, DE<\/td><\/td><\/tr>
Peter H\u00f6fner<\/a><\/td>Australian National University, AU<\/td><\/td><\/tr>
Marieke Huisman<\/a><\/td>University of Twente, NL<\/td><\/td><\/tr>
Adrian Francalanza<\/a><\/td>University of Malta, MT<\/td><\/td><\/tr>
Einar Broch Johnsen<\/a><\/td>University of Oslo, NO<\/td><\/td><\/tr>
Sebastian Junges<\/a><\/td>Radboud University, NL<\/td><\/td><\/tr>
Joost-Pieter Katoen<\/a> (Co-Chair)<\/td>RWTH Aachen University, DE<\/td><\/td><\/tr>
Martin Leucker<\/a><\/td>University of L\u00fcbeck, DE<\/td><\/td><\/tr>
Yi Li<\/a><\/td>Nanyang Technological University, SG<\/td><\/td><\/tr>
Lei Ma<\/a><\/td>University of Alberta, CA<\/td><\/td><\/tr>
Mieke Massink<\/a><\/td>CNR-ISTI, IT<\/td><\/td><\/tr>
Christoph Matheja<\/a><\/td>Techiuncal University of Denmark, DK<\/td><\/td><\/tr>
Annabelle McIver<\/a><\/td>Macquarie University, AU<\/td><\/td><\/tr>
Claudio Menghi<\/a><\/td>McMaster University, CA<\/td><\/td><\/tr>
Jan Peleska<\/a><\/td>University of Bremen, DE<\/td><\/td><\/tr>
Andre Platzer<\/a><\/td>Carnegie Mellon University, USA<\/td><\/td><\/tr>
Jan-Oliver Ringert<\/a><\/td>Bauhaus University Weimar, DE<\/td><\/td><\/tr>
Baishakhi Ray<\/a><\/td>Columbia University, US<\/td><\/td><\/tr>
Christina Seceleanu<\/a><\/td>Malardalen University, SE<\/td><\/td><\/tr>
Marjan Sirjani<\/a><\/td>Malardalen University, SE<\/td><\/td><\/tr>
Paola Spoletini<\/a><\/td>Kennesaw State University, US<\/td><\/td><\/tr>
Jun Sun<\/a><\/td>Singapore Management University, SMG<\/td><\/td><\/tr>
Emilio Tuosto<\/a><\/td>Gran Sasso Science Institute, IT<\/td><\/td><\/tr>
Matthias Volk<\/a><\/td>University of Twente (AE Chair), NL<\/td><\/td><\/tr>
Ou Wei<\/a><\/td>Thales, CA<\/td><\/td><\/tr>
Mike Whalen<\/a><\/td>Amazon Web Services, US<\/td><\/td><\/tr>
Mingsheng Ying<\/a><\/td>University of Technology Sydney, AU<\/td><\/td><\/tr>
Naijun Zhan<\/a><\/td>Chinese Academy of Sciences, CN<\/td><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Organizing Committee<\/h2>\n\n\n\n
Role<\/strong><\/td>Member(s)<\/strong><\/td><\/td><\/tr>
General Chair<\/td>Martin Leucker<\/a>
<\/td>		<\/td><\/tr>
PC Chair<\/td>Joost-Pieter Katoen<\/a>
Marsha Chechik<\/a><\/td>		<\/td><\/tr>
AE Chair<\/td>Matthias Volk<\/a><\/td><\/td><\/tr>
Workshop Chairs<\/td>Esfandiar Mohammadi<\/a>
Volker Stolz<\/a><\/td>		<\/td><\/tr>
Tutorial Chairs<\/td>Martin Sachenbacher<\/a>
Cesar Sanchez<\/a><\/td>		<\/td><\/tr>
Publicity Chairs<\/td>Violet Ka I Pun<\/a><\/td><\/td><\/tr>
Exhibition Chairs<\/td>Tim Suthau<\/a>
Einar Broch Johnsen<\/a>
Marieke Huisman<\/a><\/td>		<\/td><\/tr>
Industry Day Chairs<\/td>Tim Suthau<\/a>
Ralf Huuck<\/a>
Grigore Rosu<\/a><\/td>		Alexander Weiss<\/a>
Oksana Tkachuk <\/a>
Chih-Hong Cheng<\/a><\/td><\/tr>
Financial Chairs<\/td>Maria Ostanina<\/a><\/td><\/td><\/tr>
Local Organization Chairs<\/td>Martin Mildner<\/a><\/td><\/td><\/tr>
Doctoral Symposium<\/td>Ralf M\u00f6ller<\/a>
Wolfgang Ahrendt<\/a><\/td>		<\/td><\/tr>
FM meets AI Track Chair<\/td>\u00d6zg\u00fcr \u00d6zcep<\/a>
Benedikt Bollig<\/a>
Daniel Neider<\/a> <\/td>		<\/td><\/tr>
Journal First Committee<\/td>Maurice ter Beek<\/a>
Eerke Boiten<\/a>
Manfred Broy<\/a>
Cliff Jones<\/a><\/td>		<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Steering Committee<\/strong><\/h2>\n\n\n\n
Role<\/strong><\/td>Member<\/strong><\/td><\/tr>
Chair<\/td>Ana Cavalcanti<\/u><\/a><\/td><\/tr>
Treasurer<\/td>Nico Plat<\/u><\/a><\/td><\/tr>
Secretary<\/td><\/u><\/a>Lars-Henrik Eriksson<\/u><\/a><\/u><\/td><\/tr>
Conferences<\/td>Maurice ter Beek<\/a><\/td><\/tr>
Communication<\/td>Einar Broch Johnsen<\/u><\/a><\/td><\/tr><\/tbody><\/table><\/figure>\n","protected":false},"excerpt":{"rendered":"

Program Committee Member(s) Affiliation Dalal Alrajeh Imperial College, UK Luis Soares Barbosa University of Minho, PT Ezio Bartocci TU Vienna, AT Nikolaj Bj\u00f8rner Microsoft, US Sandrine Blazy University of Rennes, FR Borzoo Bonakdarpour Michigan State University, US Pablo Castro University of Rio Cuarto, AR Ana Cavalcanti University of York, UK Milan \u010ceska Brno University of … <\/p>\n

Read more “Committees”<\/span><\/a><\/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-87","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/pages\/87","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/comments?post=87"}],"version-history":[{"count":33,"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/pages\/87\/revisions"}],"predecessor-version":[{"id":956,"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/pages\/87\/revisions\/956"}],"wp:attachment":[{"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/media?parent=87"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}