You must enable JavaScript to use this site
  • Upcoming Meetings

    • CICM-10 will be in Edinburgh 2017 chaired by Herman Geuvers and organized by Jacques Fleuriot
    • CICM-11: call for venue proposals for 2018 open - please submit proposals to the CICM steering committee

    Past Meetings

    • 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-7 in Bath, UK, 8. - 12. July 2013; chaired by Jacques Carette and organized by James Davenport.
    • CICM-5 in Bremen, Germany, 8.-13. July 2012; chaired by Johann Jeuring and organized by Serge Autexier and Michael Kohlhase
    • CICM-4, in Bertinoro, Italy, 18. - 23. July 2011; chaired by James Davenport and organized by Andrea Asperti
    • CICM-3 in Paris, France, 5. - 10 July 2010; organized by Renaud Rioboo and Laurence Rideau
    • CICM-2, in Grand Bend, Canada, 5. - 12. July 2009; chaired and organized by Stephen Watt
    • CICM-1 in Birmingham, UK, 26. July - 2. Aug. 2008; organized by Volker Sorge
    • The RISC Summer in Linz, Austria (2007) was not called CICM, but had the same participating conferences.
Last modified: December 24 2016 10:42:56 CET