CICM 2021 Programme committee members
- Akiko Aizawa (National Institute of Informatics, Japan)
- Mauricio Ayala-Rincón (Universidade de Brasilía, Brasil)
- Frédéric Blanqui (INRIA, France)
- Jacques Carette (McMaster University, Canada)
- Howard Cohl (NIST, United States of America)
- James H. Davenport (University of Bath, United Kingdom)
- Catherine Dubois (ENSIIE-Samovar, France)
- Jacques Fleuriot (The University of Edinburgh, United Kingdom)
- Osman Hasan (National University of Sciences and Technology, Pakistan)
- Jan Jakubuv (Czech Technical University, Czech Republic)
- Mateja Jamnik (University of Cambridge, United Kingdom)
- Moa Johansson (Chalmers University of Technology, Sweden)
- Cezary Kaliszyk (University of Innsbruck, Austria)
- Fairouz Kamareddine (Heriot-Watt University, United Kingdom) co-chair
- Manfred Kerber (University of Birmingha, United Kingdomm)
- Andrea Kohlhase (University of Applied Sciences Neu-Ulm, Germany)
- Adam Naumowicz (Institute of Informatics, University of Bialystok, Poland)
- Olga Nevzorova (Kazan Federal University, Russia)
- Markus N. Rabe (Google)
- Florian Rabe (FAU Erlangen-Nürnberg, Germany)
- Claudio Sacerdoti Coen (University of Bologna, Italy) co-chair
- Moritz Schubotz (Universität Konstanz, Germany)
- Stephan Schulz (DHBW Stuttgart, Germany)
- Volker Sorge (University of Birmingham, United Kingdom)
- Olaf Teschke (FIZ Karlsruhe, Germany)
- Joe Wells (Heriot-Watt University, United Kingdom)
- Makarius Wenzel (sketis.net, Germany)
- Wolfgang Windsteiger (RISC Institute, Austria)
- Richard Zanibbi (Rochester Institute of Technology, USA)
|