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

Wednesday
9:00-10:00	UITP WorkshopChair: Cezary Kaliszyk, West Hall 2 Wolfgang Windsteiger. Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System (9:00-9:30) Mikheil Rukhaia, Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Daniel Weller and Bruno Woltzenlogel Paleo. ProofTool: GUI for the GAPT Framework (9:30-10:00)	Unrelated
10:00-10:30	Unrelated Coffee	Unrelated Coffee
10:30-12:30	UITP WorkshopChair: Christoph Lüth, West Hall 2 Makarius Wenzel. READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking (10:30-11:00) Vincent Rahli. Interfacing with Proof Assistants for Domain Specific Programming Using EventML (11:00-11:30) Andrei Lapets, Richard Skowyra, Christine Bassem, Assaf Kfoury and Azer Bestavros. Towards an Infrastructure for Integrated Accessible Formal Reasoning Environments (11:30-12:00) Mihnea Iancu and Florian Rabe. An MMT-Based User-Interface (12:00-12:30)	OpenMath WorkshopWest Hall 1 Welcome and general discussion (10:30-10:45) Ken Wenzel and Heiner Reinhardt. Mathematical Computations for Linked Data Applications with OpenMath (10:45-11:15) Olga Caprotti and Jordi Saludes. The Gf Mathematical Grammar Library (11:15-11:45) OpenMath Society Business Meeting (open to all workshop participants) (11:45-12:30)
12:30-14:00	Lunch
14:00-15:30	Doctoral ProgrammeChair: Serge Autexier, West Hall 2 Rui Hu. Pen-Based Collaboration Tools for Mathematics (14:00-14:30) Alin Iacob. Knowledge Management Integration in Computer-Aided Design (14:30-15:00) Fulya Horozal. Representing Declarative Languages and their Translations (15:00-15:30)	MathUI WorkshopChair: Paul Libbrecht, West Hall 1 Hans Cuypers and Jan Willem Knopper. MathDox Select: A tool for creating SCORM packages from existing exercises (14:00-14:30) Andrea Kohlhase. Navigation in Mathematical Documents (14:30-15:00) Paul Libbrecht. Skills Text Box A Tool to Access Resources by Mathematical Concepts (15:00-15:30)
15:30-16:00	Unrelated Coffee	Unrelated Coffee
16:00-18:00	Doctoral ProgrammeChair: Serge Autexier, West Hall 2 Moritz Schubotz. Content based Formula Search (16:00-16:30) Randa Almomen. Semantic Understanding of Mathematical Formulae in Documents (16:30-17:00) David Wilson. Real Geometry and Connectedness via Triangular Descriptions (17:00-17:30)	Unrelated
	this conferenceChair: Michael Kohlhase, Campus Center/IRC, Library, 5th Floor Stephen Wolfram. Special Address (19:00-20:00) (Video)	this conferenceChair: Michael Kohlhase, Campus Center/IRC, Library, 5th Floor Stephen Wolfram. Special Address (19:00-20:00) (Video)

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: January 31 2026 16:12:54 CET