| Tuesday | |
| 9:00-10:00 | Chair: Petr Sojka, Lecture Hall, Research III- (Invited Talk) Yannis Haralambous. Text Mining Methods Applied to Mathematical Texts (9:00-10:00) (Slides)
| | 10:00-10:30 | Coffee | | 10:30-12:30 | Chair: Andrea Asperti, Lecture Hall, Research III | | 12:30-14:00 | Lunch | | 14:00-15:30 | Chair: David Aspinall, Lecture Hall, Research III | | 15:30-16:00 | Chair: Volker Sorge, Lecture Hall, Research III- Teaser talks for posters/demos R12, R3, R18, R38, R26, R9, R27, and R34 (15:30-15:50)
Coffee | | 16:00-18:00 | Chair: Volker Sorge, Room 50, Research III- Artur Kornilowicz. Tentative Experiments with Ellipsis in Mizar (DOI)
- Stefan Hetzl. Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP) (DOI)
- Andrea Asperti and Wilmer Ricciotti. A Web Interface for Matita (Slides) (DOI)
- Xiaoyu Chen, Wei Li, Jie Luo and Dongming Wang. Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence (DOI)
- Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase and Ioannis Antoniou. Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset (Poster) (DOI)
- Michael Kohlhase. The Planetary Project: Towards eMath3.0 (DOI)
- Christoph Lange, Oliver Kutz, Till Mossakowski and Michael Grüninger. The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization (Poster) (DOI)
- Josef Baker, Alan Sexton and Volker Sorge. Maxtract: Converting PDF to LATEX, MathML and Text (DOI)
| | |
|
