You must enable JavaScript to use this site

• • General Information
  • Call for Papers
  • Important Dates
  • Submission
  • Programme Overview
  • Day schedule
  • All Talks and Events
  • Venue
  • Registration and Accommodation
  • Travel Information
  • Student Grants

• Friday 9:00-10:00 Chair: Johan Jeuring, Lecture Hall, Research III (Invited Talk) Cezar Ionescu. Increasingly correct scientific programming (Slides) 10:00-10:30 Coffee 10:30-12:30 Chair: Makarius Wenzel, Lecture Hall, Research III David Wilson, Russell Bradford and James Davenport. Speeding-up Cylindrical Algebraic Decomposition by Gröbner Bases (10:30-11:00) (Slides) (DOI) Muhammad Taimoor Khan and Wolfgang Schreiner. Towards Formal Specification and Verification of Maple Programs (11:00-11:30) (Slides) (DOI) Calculemus Business meeting (11:30-12:30) (Slides) 12:30-14:00 Lunch 14:00-15:30 Chair: Jacques Carette, Lecture Hall, Research III Mnacho Echenim and Nicolas Peltier. Reasoning on Schemata of Formulae (14:00-14:30) (DOI) Grant Passmore, Lawrence Paulson and Leonardo De Moura. Real Algebraic Strategies for MetiTarski Proofs (14:30-15:00) (Slides) (DOI) Michael Kohlhase and Corneliu-Claudiu Prodescu. MathWebSearch 0.5 Scaling an Open Formula Search Engine (15:00-15:30) (Slides) (DOI) 15:30-16:00 Coffee 16:00-18:00 Chair: John Campbell, Lecture Hall, Research III Gabriel Dos Reis. A System for Axiomatic Programming (16:00-16:30) (DOI) Mihnea Iancu and Florian Rabe. Management of Change in Declarative Languages (16:30-17:00) (Slides) (DOI) Phil Scott and Jacques Fleuriot. A Combinator Language for Theorem Discovery (17:00-17:30) (DOI) End of CICM 2012

• News

  • CICM 2012 is over. CICM 2013 will be in Bath, UK, organized by James Davenport
  • Special Address by Stephen Wolfram
  • Venue Information
  • Travel Information
  • Registration is open
  • Accepted papers online
  • Schedule reorganized

  
  

  
  

Last modified: September 11 2026 15:34:58 CEST