CICM Steering Committee
CICM is organized by a Steering Committee as specified by the Charter:
- Florian Rabe (Secretary, term ending 2026)
- Jacques Carette (Calculemus Representative, term ending 2025)
- Dennis Müller (DML Representative, term ending 2026)
- Cezary Kaliszyk (MKM Representative, term ending 2027)
- William Farmer (Treasurer)
- Peter Köpke (CICM PC Co-Chair 2025, term ending 2026)
- Valedia de Paiva (CICM PC Co-Chair 2025, term ending 2026)
- Andrea Kohlhase (CICM PC Co-Chair 2024, term ending 2025)
- Laura Kovács (CICM PC Co-Chair 2024, term ending 2025)
- Serge Autexier (Publicity Chair)
The Steering Committee can be reached via the mailing list cicm-steering@lists.informatik.uni-erlangen.de.
Former Steering Committee members:
- Cezary Kaliszyk (MKM Representative, 2021-2024)
- William Farmer (CICM Secretary 2018-2023)
- Volker Sorge (CICM Secretary 2016-2017)
- Michael Kohlhase (CICM Secretary 2010-2015)
- Wolfgang Windsteiger (Calculemus Representative 2016-2022)
- Renaud Rioboo (Calculemus Representative 2010-2015)
- Olaf Teschke (DML Representative, 2021-2023)
- Petr Sojka (DML Representative 2016-2020)
- Thierry Bouche (DML Representative 2011-2015)
- Adam Naumowicz (MKM Representative 2016-2021)
- Florian Rabe (MKM Representative 2011-2015)
- William Farmer (MKM Representative 2010)
- Catherine Dubois (CICM PC Co-Chair 2023)
- Manfred Kerber (CICM PC Co-Chair 2023)
- Kevin Buzzard (CICM PC Co-Chair 2022)
- Temur Kutsia (CICM PC Co-Chair 2022)
- Fairouz Kamareddine (CICM PC Co-Chair 2021)
- Claudio Sacerdoti Coen (CICM PC Co-Chair 2021)
- Christoph Benzmüller (CICM PC Co-Chair 2020)
- Bruce Miller (CICM PC Co-Chair 2020)
- Cezary Kaliszyk (CICM PC Chair 2019)
- Florian Rabe (CICM PC chair 2018)
- Herman Geuvers (CICM PC chair 2017)
- Michael Kohlhase (CICM PC chair 2016)
- Manfred Kerber (CICM PC chair 2015)
- Stephen Watt (CICM PC Chair 2014)
- Jacques Carette (CICM PC Chair 2013)
- Johan Jeuring (CICM PC Chair 2012)
- James Davenport (CICM PC Chair 2011)