You must enable JavaScript to use this site
  • Upcoming Meetings

    • CICM-12 will be in 2019 in Prague, chaired by Cezary Kaliszyk and organized by Jan Jakubuv, Martin Suda, and Josef Urban

    Past Meetings

    • CICM-11 was at RISC in Hagenberg (Linz, Austria), August 13-17, chaired by Florian Rabe and organized by Wolfgang Windsteiger
    • CICM-10 was in Edinburgh from July 17-21, 2017 chaired by Herman Geuvers and organized by Jacques Fleuriot
    • CICM-9 was from July 25-29, 2016 in Bialystok chaired by Michael Kohlhase and organized by Adam Naumowicz
    • CICM-8 in Washington DC, USA, July 13-17, 2015; chaired by Manfred Kerber and organized by Bruce Miller and Abdou Youssef
    • CICM-7 in Coimbra, Portugal, July 7-11, 2014; chaired by Stephen Watt and organized by Pedro Quaresma Almeida.
    • CICM-6 in Bath, UK, 8-12 July, 2013; chaired by Jacques Carette and organized by James Davenport.
    • CICM-5 in Bremen, Germany, July 8-13, 2012; chaired by Johann Jeuring and organized by Serge Autexier and Michael Kohlhase
    • CICM-4, in Bertinoro, Italy, July 18-23, 2011; chaired by James Davenport and organized by Andrea Asperti
    • CICM-3 in Paris, France, July 5-10, 2010; organized by Renaud Rioboo and Laurence Rideau
    • CICM-2, in Grand Bend, Canada, July 5-12, 2009; chaired and organized by Stephen Watt
    • CICM-1 in Birmingham, UK, July 26-August 2, 2008; organized by Volker Sorge
    • The RISC Summer in Linz, Austria (2007) was not called CICM, but had the same participating conferences.
Privacy policy and legal information
Last modified: August 14 2018 17:56:57 CEST