CICM 2012 - Conferences on Intelligent Computer Mathematics

CICM
Track A: AISC
Track B: Calculemus
Track C: DML
Track D: MKM
Track E: Systems & Projects
Workshops & Doctoral Programme
- MathUI 2012
- MIR 2012
- OpenMath 2012
- UITP 2012
- THedu 2012
- Doctoral Programme

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

Thursday
9:00-10:00	Chair: Johan Jeuring, Lecture Hall, Research III (Invited Talk) Conor McBride. A Prospection for Reflection
10:00-10:30	Coffee
10:30-12:30	Chair: James Davenport, Lecture Hall, Research III Jónathan Heras, María Poza and Julio Rubio. Verifying an algorithm computing Discrete Vector Fields for digital imaging (10:30-11:00) (Slides) (DOI) Mladen Nikolic and Predrag Janicic. CDCL-Based Abstract State Transition System for Coherent Logic (11:00-11:30) (Slides) (DOI) Jacques Carette and Russell O'Connor. Theory Expression Combinators (11:30-12:00) (Slides) (DOI)
12:30-14:00	Lunch
14:00-15:30	Chair: Gabriel Dos Reis, Lecture Hall, Research III Session start 14:30 Filip Maric, Miodrag Zivkovic and Bojan Vuckovic. Formalizing Frankl's Conjecture: FC-families (14:30 - 15:00) (Slides) (DOI) Teaser talks for posters/demos R1, R11, R15, WIP3 in the next session (15:00 - 15:15)
15:30-16:00	Coffee
16:00-18:00	Chair: Christoph Lange, Room 50, Research III Makarius Wenzel. Isabelle/jEdit -- a Prover IDE within the PIDE framework (15:30-17:00) (DOI) Czeslaw Bylinski and Jesse Alama. New developments in parsing Mizar (15:30-17:00) (DOI) Muhammad Taimoor Khan and Wolfgang Schreiner. On Formal Specification of Maple Programs (15:30-17:00) (DOI) Wolfgang Windsteiger. Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System (15:30 - 17:00) CICM Business meeting (17:00-18:00) (Slides)
	Excursion (18:00 -- 19:45) Conference Dinner at "Zur Gläsernen Werft" (20:00 -- )

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

Privacy policy and legal information

Last modified: July 11 2026 10:55:30 CEST