Upcoming Meetings

• CICM-18 will be held in Brasília, Brazil, Oct 6-11, co-chaired by Valeria de Paiva and Peter Koepke, and organized by Mauricio Ayala-Rincón.

Past Meetings

• CICM-17 was 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-16 was 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 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, 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.