CICM 2013 - Conferences on Intelligent Computer Mathematics

You must enable JavaScript to use this site

Monday
9:00- 10:00
10:00- 10:30	Coffee
10:30- 12:30	Chair: Wolfgang Windsteiger, Room 8W 2.1 (Invited Talk) Assia Mahboubi. A Machine-checked proof of the Odd Order Theorem (11:30-12:30) (DOI) Registration (from 11am) Calculemus (from 11:30am)
12:30- 14:00	Lunch
14:00- 15:30	Chair: Florian Rabe, Room 8W 2.1 Russell Bradford, James H. Davenport, Matthew England and David Wilson. Optimising Problem Formulation for Cylindrical Algebraic Decomposition (14:00-14:30) (DOI) Xavier Allamigeon, Stéphane Gaubert, Victor Magron and Benjamin Werner. Certification of Bounds of Non-linear Functions: the Templates Method (14:30-15:00) (DOI) Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio and Rubén Sáenz. Verifying a platform for digital imaging: a multi-tool strategy (15:00-15:30) (DOI) Calculemus
15:30- 16:00	Coffee
16:00- 18:00	Chair: Manfred Kerber, Room 8W 2.1 William Farmer. The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation (16:00-16:30) (DOI) Michael Kohlhase, Felix Mance and Florian Rabe. A Universal Machine for Biform Theory Graphs (16:30-17:00) (DOI) Calculemus. Business meeting (17:15-18:00) Calculemus

Last modified: May 14 2026 14:27:26 CEST