Day Programme Thursday| Thursday | |
| 8:00 - 9:00 | | | 9:00 - 10:00 | Work-in-ProgressChair: James Davenport, Room (amphitheatre) Pedro Nunes (1st floor)
| Mathematical User InterfacesRoom (amphitheatre) 2.4 (2nd floor)
| | 10:00 - 10:30 | Coffee | | 10:30 - 12:30 | Doctoral ProgrammeChair: David Wilson/James Davenport, Room (amphitheatre) Pedro Nunes (1st floor)
| Mathematical User InterfacesRoom (amphitheatre) 2.4 (2nd floor)
| | 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)
| | 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)
| | 20:00 - | | |
|
