You must enable JavaScript to use this site

• • General Information
  • Call for Papers
  • Important Dates
  • Local Info & Venue
  • Travel Information
  • Hotel Information
  • Programme Overview
  • Day schedule
  • All Talks and Events
  • Registration
  • Programme Committees
  • Local Organizers
  • Poster CICM 2014

• Day Programme Tuesday Tuesday 8:00 - 9:00 9:00 - 10:00 Mathematical Knowledge ManagementChair: Florian Rabe, Room (amphitheatre) Pedro Nunes (1st floor) Yannis Haralambous and Pedro Quaresma. Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (9:00-9:30) (DOI) Lars Hupel. Interactive Simplifier Tracing and Debugging in Isabelle (9:30-10:00) (Slides) (DOI) Notion of ProofRoom (amphitheatre) 2.4 (2nd floor) Michael Kinyon. Quasigroups, Loops and Automated Deduction, or How I Learned To Stop Worrying and Start Letting Computers Prove Theorems (9:00-9:40) Ursula Martin. Is mathematics a social machine? (9:40-10:00) 10:00 - 10:30 Coffee 10:30 - 12:30 CalculemusChair: Florian Rabe/Alan Sexton, Room (amphitheatre) Pedro Nunes (1st floor) Cylindrical Algebraic Decomposition Russell Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza and David Wilson. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition (10:30-11:00) (Slides) (DOI) Zongyan Huang, Matthew England, David Wilson, James Davenport, Lawrence Paulson and James Bridge. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition (11:00-11:30) (Slides) (DOI) (Invited Talk) Eric Weisstein. Computable data, mathematics, and digital libraries in Mathematica and Wolfram|Alpha (11:30-12:30) (DOI) Notion of ProofRoom (amphitheatre) 2.4 (2nd floor) Freek Wiedijk. Extreme mathematics (10:30-11:10) Jamie Gaspar. Short introduction by example to Coq (11:10-11:30) 12:30 - 14:30 Lunch 14:30 - 16:00 CalculemusChair: James Davenport, Room (amphitheatre) Pedro Nunes (1st floor) Novel Applications Waqar Ahmed, Osman Hasan, Sofiene Tahar and Mohamed Salah Hamdi. Formal Reliability Analysis of Oil and Gas Pipelines (14:30 - 15:00) (DOI) Andrew Fish and Alexei Lisitsa. Detecting unknots via equational reasoning, I: Exploration (15:00 - 15:30) (DOI) Bernd Wegner and Sigram Schindler. Mathematical structures enabling the decidability of the patentability and patent eligibility of a patent application (15:30 - 16:00) (DOI) Notion of ProofRoom (amphitheatre) 2.4 (2nd floor) Arie Hinkis. The representation of mathematical proof through gestalt and metaphors (14:30-14:50) Mark Adams. Proof Auditing for Formalised Mathematics (14:50-15:10) William Farmer. Can Computer Proving Replace Traditional Proving? (15:10-15:30) 16:00 - 16:30 Coffee 16:30 - 18:00 Room (amphitheatre) Pedro Nunes (1st floor) Business Meeting (16:30 - 18:00) 20:00 -

• News

  • CICM 2015 will be in Washington DC
  • Photos of CICM available here (All photos)
  • CICM 2014 is over
  • Slides of talks online
  • Talks linked to the electronic publications

  
  
  
  

Last modified: September 14 2026 15:09:52 CEST