Program Committee

Program Committee

Program Chair

  • Ivan Lanese (University of Bologna/INRIA, Italy)
  • Mariusz Rawski (Warsaw University of Technology, Poland)

Program Committee

  • Gerhard Dueck (University of New Brunswick, Canada)
  • Robert Glück (University of Copenhagen, Denmark)
  • Jarkko Kari (University of Turku, Finland)
  • Jean Krivine (CNRS, France)
  • Martin Lukac (Nazarbayev University, Kazakhstan)
  • Kazutaka Matsuda (Tohoku University, Japan)
  • Claudio Antares Mezzina (Università di Urbino, Italy)
  • Lukasz Mikulski (Nicolaus Copernicus University, Poland)
  • Torben Ægidius Mogensen (University of Copenhagen, Denmark)
  • Claudio Moraga (TU Dortmund University, Germany)
  • Iain Phillips (Imperial College London, UK)
  • Krzysztof Podlaski (University Of Lodz, Poland)
  • Markus Schordan (Lawrence Livermore National Laboratory, US)
  • Peter Selinger (Dalhousie University, Canada)
  • Mathias Soeken (Ecole Polytechnique Fédérale de Lausanne, Switzerland)
  • Milena Stankovic (University of Nis, Serbia)
  • Himanshu Thapliyal (University of Kentucky, US)
  • Irek Ulidowski (University of Leicester, UK)
  • German Vidal (Universitat Politecnica de Valencia, Spain)
  • Robert Wille (Johannes Kepler University Linz, Austria)
  • Tetsuo Yokoyama (Nanzan University, Japan)
Important dates:

Abstract submission:
January 31, 2020

Submission deadline:
February 7, 2020

Notification to authors:
March 20, 2020

Final version:
April 10, 2020

Conference:
July 9 - July 10, 2020

General Chair:

Rudolf Schlatte
University of Oslo, Norway

Program Chairs:

Ivan Lanese
University of Bologna/INRIA, Italy

Mariusz Rawski
Warsaw University of Technology, Poland