CICM
Calculemus
DML
MKM
Systems & Projects
Doctoral Programme
Work in Progress
MathUI
OpenMath
Notion of Proof
ThEdu

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 Wednesday

Wednesday
8:00 - 9:00
9:00 - 10:30	Mathematical Knowledge ManagementChair: Stephen Watt, Room (amphitheatre) Pedro Nunes (1st floor) Qun Zhang and Abdou Youssef. Semantics-Sensitive Math-Similarity Search (9:00-9:30) (DOI) Constantin Jucovschi. Towards an Interaction-based Integration of MKM Services into End-User Applications (9:30-10:00) (DOI) Thomas Gransden, Neil Walkinshaw and Rajeev Raman. Mining State-Based Models from Proof Corpora (10:00-10:30) (DOI)	Theorem Provers Components for Educational SoftwareRoom (amphitheatre) 2.4 (2nd floor) Jaime Gaspar. Short introduction by example to Coq (10:00-10:30)
10:30 - 11:00	Coffee
11:00 - 12:30	CalculemusChair: Matthew England, Room (amphitheatre) Pedro Nunes (1st floor) Theories David Cerna. A Tableaux Based Decision Procedure for Multi-Parameter Propositional Schemata (11:00 - 11:30) (Slides) (DOI) Moa Johansson, Dan Rosén, Nicholas Smallbone and Koen Claessen. Hipster: Integrating Theory Exploration in a Proof Assistant (11:30 - 12:00) (Slides) (DOI) Sanaz Khan-Afshar, Vincent Aravantinos, Osman Hasan and Sofiene Tahar. Formalization of Complex Vectors in Higher-Order Logic (12:00 - 12:30) (DOI)	Theorem Provers Components for Educational SoftwareRoom (amphitheatre) 2.4 (2nd floor) Jaime Gaspar. Formalising ZF ⊆ ZFε in Coq (11:00-11:30) Danijela Petrovic. Using Small-Step Refinement For Algorithm Verification In Computer Science Education (11:30-12:00) Walther Neuper. GCD — a Case Study on Lucas-Interpretation (12:00-12:30)
12:30 - 14:30	Lunch
14:30 - 16:30	Chair: Carlota Simões, Amphitheatre of the Science Museum (Laboratorio Chimico) (Invited Talk) António Leal Duarte. Teaching Tiles (joint with ADG 2014) (14:30-15:30) Visit of Science Museum & Port Wine tasting (15:30 - 16:30)
16:30 - 18:00	Visit U. Coimbra (16:30 - 18:00) Walk downtown (18:00 - 19:00)
20:00 -	Gala Dinner (20:00 - 23: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

Privacy policy and legal information

Last modified: July 15 2026 13:43:11 CEST