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)