CICM 2012 - Conferences on Intelligent Computer Mathematics

You must enable JavaScript to use this site

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

Last modified: January 19 2020 22:52:02 CET