Organisation

Conference organisers

Joachim Niehren – Inria Lille (France)

Jun Pang – University of Luxembourg (Luxembourg)

Programme committee

Tatsuya Akutsu – University of Kyoto (Japan)

Claudio Altafini – University of Linköping (Sweden)

Daniela Besozzi – University of Milan Bicocca (Italy)

Luca Bortolussi – University of Trieste (Italy)

Luca Cardelli – University of Oxford (United Kingdom)

Milan Ceska – Brno University of Technology (Czech Republic)

Eugenio Cinquemani – Inria Grenoble-Rhône-Alpes (France)

François Fages – Inria Saclay (France)

Maxime Folschette – École Centrale de Lille (France)

Anna Gambin – University of Warsaw (Poland)

Ashutosh Gupta – Indian Institute of Technology Bombay (India)

Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany)

Hillel Kugler – Bar-Ilan University (Israel)

Luca Laurenti – TU Delft (Netherlands)

Andrzej Mizera – University of Warsaw (Poland)

Pedro T. Monteiro – University of Lisbon (Portugal)

Joachim Niehren – Inria Lille (France) – co-chair

Jun Pang – University of Luxembourg (Luxembourg) – co-chair

Loïc Paulevé – CNRS, Bordeaux (France)

Andrei Paun – University of Bucharest (Romania)

Ion Petre – University of Turku (Finland)

Tatjana Petrov – University of Konstanz (Germany)

Maria Rodriguez Martinez – IBM, Zurich Research Laboratory (Switzerland)

Jakob Ruess – Inria Paris (France)

David Šafránek – Masaryk University (Czech Republic)

Thomas Sauter – University of Luxembourg (Luxembourg)

Abhyudai Singh – University of Delaware (United States)

Chris Thachuk – University of Washington (United States)

Mirco Tribastone – IMT School for Advanced Studies Lucca (Italy)

Andrea Vandin – Sant’Anna School of Advanced Studies, Pisa (Italy)

Christoph Zechner – Max Planck Institute, Dresden (Germany)

Tool evaluation committee

Georgios Argyris – Technical University of Denmark (Denmark)

Candan Çelik – Institute for Basic Science (Korea)

Andrzej Mizera – University of Warsaw (Poland) – chair

Samuel Pastva – Masaryk University (Czech Republic)

Jarosław Paszek – University of Warsaw (Poland)

Barbara Poszewiecka – University of Warsaw (Poland)

Misbah Razzaq – INRAe (France)

Matej Troják – Masaryk University (Czech Republic)

Organising committee

Rita Giannini – University of Luxembourg (Luxembourg)

Jun Pang – University of Luxembourg (Luxembourg)

Andrea Puech – University of Luxembourg (Luxembourg)

Tsz Pan Tong – University of Luxembourg (Luxembourg)

Aoran Wang – University of Luxembourg (Luxembourg)

Steering committee

Luca Cardelli – University of Oxford (UK)

Eugenio Cinquemani – Inria Grenoble-Rhône-Alpes (France) – guest member

François Fages – Inria Saclay (France)

Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany)

Satoru Miyano – University of Tokyo (Japan)

Joachim Niehren – Inria Lille (France) – guest member

Jun Pang – University of Luxembourg (Luxembourg) – guest member

Loïc Paulevé – CNRS, Bordeaux (France) – guest member

Andrei Paun – University of Bucharest (Romania) – guest member

Ion Petre – University of Turku (Finland)

Gordon Plotkin – University of Edinburgh (UK)

Corrado Priami – University of Pisa (Italy)

Carolyn Talcott – SRI International (USA)

Mirco Tribastone – IMT School for Advanced Studies Lucca (Italy)

Adelinde Uhrmacher – University of Rostock (Germany)

Important dates

• Abstract of regular papers submission: 23 April 2023 (extended)
• Paper submission: 30 April 2023 (extended)
• Notification: 9 June 2023
• Camera-ready: 30 June 2023 (extended)
• Poster/Highlight talk: 9 July 2023
• Conference: 13-15 September 2023

 

Proceedings published in:

Sponsored by:

• Department of Computer Science, University of Luxembourg
• Springer Nature