You must enable JavaScript to use this site
  • Upcoming Meetings

    • CICM-17 will be held August 5-9, 2024 in Montreal, QC, Canada, co-chaired by Andrea Kohlhase and Laura Kovács, and organized by Sofiène Tahar and William M. Farmer.
    • CICM-18 will be held in Brasília, Brazil, co-chaired by Valeria de Paiva and Peter Koepke, and organized by Mauricio Ayala-Rincón.

    Past Meetings

    • CICM-16 was be held September 4-8, 2023 at Emannuel College in Cambridge, UK, co-chaired by Catherine Dubois and Manfred Kerber, and organized by James Davenport.
    • CICM-15 was held September 19-23, 2022 in Tbilisi, Georgia, co-chaired by Kevin Buzzard and Temur Kutsia, and organized by Besik Dundua.
    • CICM-14 was held July 27-30, 2021 in Timisoara, Romania, co-chaired by Fairouz Kamareddine and Claudio Sacerdoti Coen, and organized by Madalina Erascu.
    • CICM-13 was held July 27-30, 2020 online, co-chaired by Christoph Benzmüller and Bruce Miller, and organized by Claudio-Sacerdoti Coen.
    • CICM-12 was held July 8-12, 2019 in Prague, Czech Republic, chaired by Cezary Kaliszyk, and organized by Jan Jakubův, Martin Suda, and Josef Urban.
    • CICM-11 was held August 13-17, 2018 at RISC in Hagenberg, Austria, chaired by Florian Rabe, and organized by Wolfgang Windsteiger.
    • CICM-10 was held July 17-21, 2017 in Edinburgh, UK, chaired by Herman Geuvers, and organized by Jacques Fleuriot.
    • CICM-9 was held July 25-29, 2016 in Bialystok, Poland, chaired by Michael Kohlhase, and organized by Adam Naumowicz.
    • CICM-8 was held July 13-17, 2015 in Washington, DC, USA, chaired by Manfred Kerber, and organized by Bruce Miller and Abdou Youssef.
    • CICM-7 was held July 7-11, 2014 in Coimbra, Portugal, chaired by Stephen Watt, and organized by Pedro Quaresma Almeida.
    • CICM-6 was held July 8-12, 2013 in Bath, UK, chaired by Jacques Carette, and organized by James Davenport.
    • CICM-5 was held July 8-13, 2012 in Bremen, Germany, chaired by Johann CJeuring, and organized by Serge Autexier and Michael Kohlhase.
    • CICM-4 was held July 18-23, 2011 in Bertinoro, Italy, chaired by James Davenport, and organized by Andrea Asperti.
    • CICM-3 was held July 5-10, 2010 in Paris, France, organized by Renaud Rioboo and Laurence Rideau.
    • CICM-2 was held July 5-12, 2009 in Grand Bend, ON, Canada, chaired and organized by Stephen Watt.
    • CICM-1 was held July 26-August 2, 2008 in Birmingham, UK, organized by Volker Sorge (Webpages accessible thanks to Web Archive).
    • The 2007 RISC Summer in Hagenberg, Austria was not called CICM but had the same participating conferences.
Privacy policy and legal information
Last modified: October 30 2023 13:43:24 CET