loading...
ThEdu'18 programme (in FLoC)
09:00-10:30 Session 125M
Chair: Walther Neuper Location: CS Lecture Theatre B
09:00-9:30
Anders Schlichtkrull, Jørgen Villadsen and Andreas Halkjær From
Students' Proof Assistant (SPA) - (abstract) - (presentation)
09:30-10:00
Jørgen Villadsen, Andreas Halkjær From and Anders Schlichtkrull
Natural Deduction Assistant (NaDeA) - (abstract) - (presentation)
10:00-10:30
Nuno Baeta and Pedro Quaresma
Rating of Geometric Automated Theorem Provers - (abstract) - (presentation)
10:30-11:00 Coffee Break
11:00-12:30 Session 127M
Chair: Pedro Quaresma Location: CS Lecture Theatre B
11:00-11:30
Walther Neuper
Lucas Interpretation from Programmers’ Perspective - (abstract) - (presentation)
11:30-12:30
Julien Narboux
GeoCoq: formalized foundations of geometry - (abstract) - (presentation)
12:30-14:00 Lunch Break
14:00-15:30 Session 128M
Chair: Walther Neuper Location: CS Lecture Theatre B
14:00-14:30
Maximilian Doré and Krysia Broda
Towards intuitive reasoning in axiomatic geometry - (abstract) - (presentation)
14:30-15:00
Jørgen Villadsen
Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable - (abstract) - (presentation)
15:00-15:30
Pedro Quaresma and Walther Neuper
ThEdu'18 business meeting