CICM 2020 Programme committee members

• Akiko Aizawa (University of Tokyo, Japan)
• David Aspinall (University of Edinburgh, UK)
• Christoph Benzmüller (FU Berlin, Germany, and U Luxembourg, Luxembourg), co-chair
• Frederic Blanqui (INRIA, France)
• Jacques Carette (McMaster University, Canada)
• James Davenport (University of Bath, UK)
• William Farmer (McMaster University, Canada)
• Jacques Fleuriot (University of Edinburgh, UK)
• Osman Hasan (NUST, Pakistan)
• Jan Jakubuv (Czech Technical University, Czech Republic)
• Mateja Jamnik (University of Cambridge, UK)
• Cezary Kaliszyk (University of Innsbruck, Austria)
• Fairouz Kamareddine (Heriot-Watt University, UK)
• Manfred Kerber (University of Birmingham, UK)
• Michael Kohlhase (FAU Erlangen-Nürnberg, Germany)
• Andrea Kohlhase (U Applied Sciences Neu-Ulm, Germany)
• Laura Kovacs (TU Vienna, Austria)
• Temur Kutsia (JKU Linz, Austria)
• Bruce Miller (NIST Gaithersburg, USA), co-chair
• Adam Naumowicz (University of Bialystok, Poland)
• Karol Pak (University of Bialystok, Poland)
• Florian Rabe (FAU Erlangen-Nürnberg, Germany, and LRI Paris, France)
• Moritz Schubotz (FIZ Karlsruhe, Germany)
• Volker Sorge (University of Birmingham, UK)
• Geoff Sutcliffe (University of Miami, USA)
• Olaf Teschke (FIZ Karlsruhe, Germany)
• Josef Urban (Czech Technical University, Czech Republic)
• Makarius Wenzel (sketis.net, Germany)
• Abdou Youssef (The George Washington University, USA)