Programme Committee

General chair

• Herman Geuvers (Radboud University, NL)

Calculemus track

• Matthew England (Coventry University, UK; Chair)
• Waqar Ahmed (National University of Sciences and Technology (NUST, Pakistan)
• Jacques Carette (McMaster University, Canada)
• James H. Davenport (University of Bath, U.K.)
• Gabriel Dos Reis (Microsoft, USA)
• Madalina Erascu (Institute e-Austria Timisoara and West University of Timisoara, Romania)
• Paul Jackson (University of Edinburgh, U.K.)
• Dejan Jovanovic (SRI International, USA)
• Alexander Maletzky (RISC, Johannes Kepler University Linz, Austria)
• Renaud Rioboo (École National Supérieure d'Informatique pour l'Industrie et L'Entreprise, France)
• Sofiene Tahar (Concordia University, Canada)

DML track

• Olaf Teschke (HU Berlin, Germany; Chair)
• Jiří Rákosník (Institute of Mathematics of the Czech Academy of Sciences)
• Michael Kohlhase (FAU Erlangen Nürnberg)
• Thierry Bouche (Université Grenoble Alpes)

MKM track

• Florian Rabe (Jacobs University, Germany; Chair)
• Catherine Dubois (ENSIIE-Samovar)
• Patrik Jansson (Chalmers Univ. of Techn. and Univ. of Gothenburg)
• Cezary Kaliszyk (University of Innsbruck)
• Thomas Koprucki (WIADS Berlin)
• Adam Naumowicz (Institute of Informatics, University of Bialystok)
• Claudio Sacerdoti Coen (University of Bologna)
• Alan Sexton (University of Birmingham)
• Nicolas Thiery (University of Paris-Sud)
• Josef Urban (Czech Technical University in Prague)
• Stephen Watt (University of Waterloo)

Systems and Project track

• Osman Hasan (National University of Sciences and Technology, Pakistan; Chair)
• Geoff Sutcliffe (University of Miami, USA)
• Laura Kovacs (Chalmers University, Sweden)
• Manfred Kerber (University of Birmingham, UK)
• Mateja Jamnik (Cambridge University, UK)
• Michael Norrish (The University of New South Wales, Australia)
• Muhammad Umair Siddique (McMaster U., Canada)
• Richard Zanibbi (Rochester Institute of Technologies, USA)
• Rob Arthan (Queen Mary University of London, UK)
• Temur Kutsia (RISC, Austria)
• William M. Farmer (McMaster U., Canada)