You must enable JavaScript to use this site
  • Upcoming Meetings

    • CICM-14 will be held July 27-30, 2021 in Timisoara, Romania, co-chaired by Fairouz Kamareddine and Claudio Sacerdoti Coen, and organized by Madalina Erascu.
    • CICM-15 will be held September 2022 in Tbilisi, Georgia, co-chaired by Kevin Buzzard and Temur Kutsia, and organized by Besik Dundua.

    Past Meetings

    • 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 Jeuring, 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 and chaired and organized by Stephen Watt.
    • CICM-1 was held July 26-August 2, 2008 in Birmingham, UK, organized by Volker Sorge.
    • The 2007 RISC Summer in Hagenberg, Austria was not called CICM but had the same participating conferences.
Privacy policy and legal information
Last modified: January 27 2021 15:03:13 CET