| 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
|
|
