Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 330

Deprecated: DOMNodeList::item(): Passing null to parameter #1 ($index) of type int is deprecated in /var/www/html/2014/programm.php on line 723

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMNodeList::item(): Passing null to parameter #1 ($index) of type int is deprecated in /var/www/html/2014/programm.php on line 723

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMNodeList::item(): Passing null to parameter #1 ($index) of type int is deprecated in /var/www/html/2014/programm.php on line 723

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMNodeList::item(): Passing null to parameter #1 ($index) of type int is deprecated in /var/www/html/2014/programm.php on line 723

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMNodeList::item(): Passing null to parameter #1 ($index) of type int is deprecated in /var/www/html/2014/programm.php on line 723

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /var/www/html/2014/programm.php on line 515

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748

Deprecated: DOMDocument::createTextNode(): Passing null to parameter #1 ($data) of type string is deprecated in /var/www/html/2014/programm.php on line 748
CICM 2014 - Conferences on Intelligent Computer Mathematics

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 Thursday

Thursday
8:00 - 9:00
9:00 - 10:00	Work-in-ProgressChair: James Davenport, Room (amphitheatre) Pedro Nunes (1st floor) Jean-Guillaume Dumas, Dominique Duval, Burak Ekici and Jean-Claude Reynaud. Certified proofs in programs involving exceptions (9:00-9:30) Washington de Carvalho Segundo, Flavio L. C. De Moura and Daniel Ventura. Formalizing a Named Explicit Substitutions Calculus in Coq (9:30-10:00)	Mathematical User InterfacesRoom (amphitheatre) 2.4 (2nd floor) Andrea Kohlhase. Design of Search Interfaces for Mathematicians (9:00-9:30) Helena Mihaljevic-Brandt, Fabian Müller and Nicolas Roy. Author profile pages in zbMATH – improving accuracy through user (9:30-9:45)
10:00 - 10:30	Coffee
10:30 - 12:30	Doctoral ProgrammeChair: David Wilson/James Davenport, Room (amphitheatre) Pedro Nunes (1st floor) Michal Růžička. Maths Information Retrieval for Digital Libraries (10:30-11:00) (Slides) Moritz Schubotz. Content Based Formula Search (11:00-12:30) (Slides) (Invited Talk) Jaime Carvalho e Silva. What international studies say about the importance and limitations of using computers to teach mathematics in secondary schools (11:30-12:30) (Slides) (DOI)	Mathematical User InterfacesRoom (amphitheatre) 2.4 (2nd floor) Ou Yamamoto and Masatoshi Kokubu. Visualization of Tangent Developables on a Volumetric Display (10:30-11:00) Carmela Acevedo and Michael Kohlhase. OpenMathMap: Interaction (11:00-11:30)
12:30 - 14:30	Lunch
14:30 - 16:00	Systems & ProjectsChair: Alan Sexton, Room (amphitheatre) Pedro Nunes (1st floor) Teaser Talks Howard Cohl, Marjorie McClain, Bonita Saunders, Moritz Schubotz and Janelle Williams. Digital Repository of Mathematical Formulae (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Deyan Ginev and Joseph Corneli. NNexus Reloaded (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Deyan Ginev, Bruce Miller and Silviu Oprea. E-books and Graphics with LaTeXML (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase and Tom Wiesing. System Description: MathHub.info (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Cezary Kaliszyk, Josef Urban, Jiří Vyskočil and Herman Geuvers. Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Lukas Kohlhase and Michael Kohlhase. System Description: A Semantics-Aware LaTeX-to-Office Converter (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Martin Líška, Petr Sojka and Michal Růžička. Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematiciansí Information Needs (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (Slides) (DOI) Adam Naumowicz. SAT-enhanced Mizar Proof Checking (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Umair Siddique and Sofiene Tahar. A Framework for Formal Reasoning about Geometrical Optics (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI)	Mathematical User InterfacesRoom (amphitheatre) 2.4 (2nd floor) Frédéric Wang and Raniere Silva. Firefox OS Web Apps for Science (14:30-15:00) Paul Libbrecht and Kerstin Schneider. Formula Collection Mobile Apps Realized by Teachers (online) (15:00-15:30) Marco Pollanen, Jeff Hooper, Bruce Cater and Sohee Kang. Towards a Universal Interface for Real-Time Mathematical Communication (online) (15:30-16:00)
16:00 - 16:30	Coffee
16:30 - 18:00	Systems & ProjectsRoom 0.2 (0th floor) Demos Howard Cohl, Marjorie McClain, Bonita Saunders, Moritz Schubotz and Janelle Williams. Digital Repository of Mathematical Formulae (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Deyan Ginev and Joseph Corneli. NNexus Reloaded (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Deyan Ginev, Bruce Miller and Silviu Oprea. E-books and Graphics with LaTeXML (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase and Tom Wiesing. System Description: MathHub.info (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Cezary Kaliszyk, Josef Urban, Jiří Vyskočil and Herman Geuvers. Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Lukas Kohlhase and Michael Kohlhase. System Description: A Semantics-Aware LaTeX-to-Office Converter (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Martin Líška, Petr Sojka and Michal Růžička. Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematiciansí Information Needs (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (Slides) (DOI) Adam Naumowicz. SAT-enhanced Mizar Proof Checking (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI) Umair Siddique and Sofiene Tahar. A Framework for Formal Reasoning about Geometrical Optics (16:30-18:00, Thursday 14:30-15:30, Thursday 16:00-18:00) (DOI)	Mathematical User InterfacesRoom (amphitheatre) 2.4 (2nd floor) Andrea Kohlhase and Alexandru Toader. FEncy: Spreadsheet Formulae Exploration (16:30-17:00) Roxanne Leitão and Chris Roast. Developing visualisations for spreadsheet formulae: towards increasing the accessibility of science, technology, engineering and maths subjects (17:00-17:30) Demo Session (17:30-19: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

Privacy policy and legal information

Last modified: May 08 2024 23:35:51 CEST