Schedule per day| Monday | |
| 9:00- 10:00 |
| | 10:00- 10:30 | Coffee | | 10:30- 12:30 | Chair: Wolfgang Windsteiger, Room 8W 2.1- (Invited Talk) Assia Mahboubi. A Machine-checked proof of the Odd Order Theorem (11:30-12:30) (DOI)
Registration (from 11am)
Calculemus (from 11:30am)
| | 12:30- 14:00 | Lunch | | 14:00- 15:30 | Chair: Florian Rabe, Room 8W 2.1
Calculemus
| | 15:30- 16:00 | Coffee | | 16:00- 18:00 | Chair: Manfred Kerber, Room 8W 2.1
Calculemus
| |
|
| Tuesday | |
| 9:00- 10:00 | Chair: Christoph Lange, Room 8W 2.1- Teaser talks for posters/demos R11, R10, R17, R8, R15, R14, R9, R6, R12, R13, R7 (09:00-10:00) (Slides)
S\&P teaser talks
| Chair: Christoph Lange, Room 8W 2.1- Teaser talks for posters/demos R11, R10, R17, R8, R15, R14, R9, R6, R12, R13, R7 (09:00-10:00) (Slides)
S\&P teaser talks
| Chair: Christoph Lange, Room 8W 2.1- Teaser talks for posters/demos R11, R10, R17, R8, R15, R14, R9, R6, R12, R13, R7 (09:00-10:00) (Slides)
S\&P teaser talks
| | 10:00- 10:30 | Coffee | | 10:30- 12:30 | Room 8W 2.30- Miguel A. Abanades and Francisco Botana. A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes (09:00-09:05,10:30-12:30,14:00-15:30) (Slides) (DOI)
- Dmitry Chebukov, Alexandr Izaak, Olga Misurina, Yury Pupyrev and Alexey Zhizhchenko. Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today (09:05-09:10,10:30-12:30,14:00-15:30,16:00-18:00) (Slides) (DOI)
- Ulf Schöneberg and Wolfram Sperber. Text analysis in mathematics - the DeLiVerMATH project (09:10-09:15,10:30-12:00,14:30-15:30,16:00-17:00) (Slides) (DOI)
- Deyan Ginev and Bruce Miller. LaTeXML 2012 - A Year of LaTeXML (09:15-09:20,presentation times to be confirmed) (Slides) (DOI)
S\&P posters \& demos
| Chair: Iain Whiteside, Room 8W 2.1
| Room 8W 2.27
| | 12:30- 14:00 | Lunch | | 14:00- 15:30 | Room 8W 2.30- Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel and Wolfram Sperber. swMATH - a new service for mathematics software (09:20-09:25,10:30-12:30,14:00-15:30,16:00-18:00) (Slides) (DOI)
- Pedro Quaresma, Vanda Santos and Seifeddine Bouallegue. The Web Geometry Laboratory Project (09:25-09:30,10:30-12:30,14:00-15:30) (Slides) (DOI)
- Rein Prank. Software for evaluating relevance of steps in algebraic transformations (09:30-09:35,11:30-12:30,14:00-15:30,16:00-18:00) (Slides) (DOI)
- Florian Rabe. The MMT API: A Generic MKM System (09:35-09:40,presentation times to be confirmed) (DOI)
S\&P posters \& demos
| Chair: Florian Rabe, Room 8W 2.1
| Room 8W 2.27- Demos of systems R200, R201, R202, R203 (14:00-15:30,16:00-17:30)
Work in Progress demos
| | 15:30- 16:00 | Coffee | | 16:00- 18:00 | Room 8W 2.30- Christoph Lüth and Martin Ring. A Web Interface for Isabelle: The Next Generation (09:40-09:45,10:30-12:30,14:00-15:30,16:00-18:00) (Slides) (DOI)
- Jónathan Heras and Ekaterina Komendantskaya. ML4PG in Computer Algebra verification (09:45-09:50,10:30-12:30,14:00-15:30,16:00-18:00) (Slides) (DOI)
- Bruno Barras, Hugo Herbelin, Lourdes Del Carmen González Huesca, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel and Burkhart Wolff. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems (09:50-09:55,10:30-12:30,14:00-15:30,16:00-17:30) (Slides) (DOI)
- Christoph Lange, Colin Rowat and Manfred Kerber. The ForMaRE Project – Formal Mathematical Reasoning in Economics (09:55-10:00,10:30-12:30,16:00-18:00) (Slides) (DOI)
S\&P posters \& demos
| Room 8W 2.1
| Room 8W 2.27- Demos of systems R200, R201, R202, R203 (14:00-15:30,16:00-17:30)
Work in Progress demos
| | - CICM. CICM Business meeting (18:00-18:30)
- Banquet
| - CICM. CICM Business meeting (18:00-18:30)
- Banquet
| - CICM. CICM Business meeting (18:00-18:30)
- Banquet
|
| Wednesday | |
| 9:00- 10:00 | MathUI WorkshopChair: Helena Mihaljevic-Brandt, Room 8W 2.1
MathUI
| OpenMath WorkshopChair: Christoph Lange, Room 8W 2.27
OpenMath
|
| | 10:00- 10:30 | Coffee | | 10:30- 12:30 | MathUI WorkshopChair: Paul Libbrecht, Room 8W 2.1
| OpenMath WorkshopChair: Michael Kohlhase, Room 8W 2.27
OpenMath
|
| | 12:30- 14:00 | Lunch | | 14:00- 15:30 | MathUI WorkshopChair: Andrea Kohlhase, Room 8W 2.1
| Doctoral ProgrammeChair: Manfred Kerber, Room 8W 2.27- David Wilson. Advances in Cylindrical Algebraic Decomposition (14:00-14:30)
- Minh-Quoc NGHIEM. Semantic enrichment for mathematical expressions and its application to math search problem (14:30-15:00)
- Michal Růžička. Maths Information Retrieval for Digital Libraries (15:00-15:30)
Doctoral Programme
| Chair: Pedro Quaresma, Room 8W 2.28
ThEdu
| | 15:30- 16:00 | Coffee | | 16:00- 18:00 | MathUI WorkshopChair: Christoph Lange, Room 8W 2.1
Elevator pitches and demo session.
| Doctoral ProgrammeChair: Petr Sojka, Room 8W 2.27- Ieuan Evans. Machine Learning Techniques Applied to Mathematical Formulae Recognition (16:00-16:30)
- Behrang S. Saroui. Offline Segmentation and Recognition of Handwritten Mathematical Notes on Whiteboards (16:30-17:00)
- Rui Hu. Pen-Based Collaboration Tools for Mathematics (17:00-17:30)
- Mihnea Iancu. Towards Flexiformal Mathematics (17:30-18:00)
Doctoral Programme
|
| |
| | Chair: Petr Sojka, Room 8W 2.1- Thierry Bouche (EuDML), Patrick Ion (MR), Wolfram Sperber (ZBMath). DML Panel discussion: Fifty Shades of *DML (18:00-19:00)
Abstract:
There are continuation efforts ongoing with the dream of WDML in mind:
EuDML has finished its initial phase, so as preparatory project
granted by Sloan foundation, and there are other DML
projects maturing (RusDML, Euclid, CEDRAM, etc.)
Views on who and how to proceed differ. Some decisions were discussed
at DML panel last year. It is time now to stop for a while,
and ask for feedback from the community.
aa) Have running projects as EuDML, Euclid or preparatory WDML (Sloan)
met community expectations?
ab) What are pros and cons?
ac) Which services are good and which are lacking?
ba) How DMLs relate to the established services as MR and ZMath?
bb) Do they complement their service?
bc) What are the prospects of their future interactions?
c) What is the current view of WDML services and how should sustainability
and curation be secured by the community, if any?
- DML. Business meeting (19:00-19:20)
|
| Thursday | |
| 9:00- 10:00 | Chair: James Davenport, Room 8W 2.1 DML
| | 10:00- 10:30 | Coffee | | 10:30- 12:30 | Chair: Petr Sojka, Room 8W 2.1
DML
| | 12:30- 14:00 | Lunch | | 14:00- 15:30 | Chair: Thierry Bouche, Room 8W 2.1
DML
| | 15:30- 16:00 | Coffee | | 16:00- 18:00 | Room 8W 2.1
MKM
| | - MKM. Business meeting (18:10-18:50)
MKM Business Meeting
|
| Friday | |
| 9:00- 10:00 | Chair: Jacques Carette, Room 8W 2.1- (Invited Talk) Patrick Ion. Mathematics and the World Wide Web (9:00-10:00) (DOI)
MKM
| | 10:00- 10:30 | Coffee | | 10:30- 12:30 | Room 8W 2.1
MKM
| | 12:30- 14:00 | Lunch | | 14:00- 15:30 |
| | 15:30- 16:00 | Coffee | | 16:00- 18:00 |
| |
|
|
