CICM Steering Committee

CICM is organized by a Steering Committee as specified by the Charter:

• William Farmer (Secretary, term ending 2023)
• Olaf Teschke (DML Representative, term ending 2023)
• Cezary Kaliszyk (MKM Representative, term ending 2024)
• Jacques Carette (Calculemus Representative, term ending 2025)
• William Farmer (Treasurer)
• Kevin Buzzard (CICM PC Co-Chair 2022, term ending 2023)
• Temur Kutsia (CICM PC Co-Chair 2022, term ending 2023)
• Catherine Dubois (CICM PC Co-Chair 2023, term ending 2024)
• Manfred Kerber (CICM PC Co-Chair 2023, term ending 2024)
• 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:

• Wolfgang Windsteiger (Calculemus Representative, 2015-2022)
• Adam Naumowicz (MKM Representative 2015-2021)
• Petr Sojka (DML Representative 2015-2020)
• Volker Sorge (CICM Secretary 2015-2017)
• Michael Kohlhase (CICM Secretary 2010-2015)
• Renaud Rioboo (Calculemus Representative 2010-2015)
• Thierry Bouche (DML Representative 2011-2015)
• Florian Rabe (MKM Representative 2011-2015)
• William Farmer (MKM Representative 2010-2011)
• Fairouz Kamareddine (CICM PC Co-Chair 2021)
• Claudio Sacerdoti Coen (CICM PC Co-Chair 2021)
• Bruce Miller (CICM PC Co-Chair 2020)
• Christoph Benzmüller (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)