You must enable JavaScript to use this site
  • Josef Urban, Radboud University Nijmegen, The Netherlands (Chair)
    Rob Arthan, Queen Mary University of London, UK
    David Aspinall, Univerity of Edinburgh, UK
    Michael Beeson, San Jose State University, USA
    Claudio Sacerdoti Coen, University of Bologna, Italy
    Thomas Hales, University of Pittsburgh, USA
    Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL
    Peter Jipsen, Chapman University, USA
    Cezary Kaliszyk, University of Innsbruck, Austria
    Michael Kohlhase, Jacobs University Bremen, Germany
    Christoph Lange, University of Birmingham, UK
    Paul Libbrecht, Weingarten University of Education, Germany
    Ursula Martin, Queen Mary University of London, UK
    Bruce Miller, NIST, USA
    Adam Naumowicz, University of Bialystok, Poland
    Florian Rabe, Jacobs University Bremen, Germany
    Alan Sexton, University of Birmingham, UK
    Enrico Tassi, INRIA, France
    Stephen Watt, University of Western Ontario, Canada
    Makarius Wenzel, Université Paris-Sud 11, France
    Freek Wiedijk, Radboud University Nijmegen, The Netherlands
  • News



    cicm2014 logo
    coimbra logo
Privacy policy and legal information
Last modified: April 04 2018 09:42:20 CEST