You must enable JavaScript to use this site
  • 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)
Privacy policy and legal information
Last modified: January 17 2023 14:16:05 CET