9.30 - 9.45Organizer: Ioannis Vandoulakis Introduction
9.45 – 10.30Keynote speaker: Pyenson, Lewis. The Natural History of Style.
10.30 – 11.00Palomäki, Jari. On Uuno Saarnio´s Attempted Proof of the Correctness of the Continuum Hypothesis.
11.00 – 11.30 Sklinos Rizos, Olga Kharlampovich First-Order Axioms for Nonabelian & Groups.
11.30 – 12.00Coffee break
12.00 – 12.30Jorion, Paul & Li Yu. Standards for demonstrations to be worthy of the name, examined on Gödel’s incompleteness of arithmetic theorem and Cook’s theorem.
12.30 – 13.00Li, Yu & Jorion, Paul. An interpretation of Gödel’s article of 1931 – Paradoxes and contradictions.
13.00 – 13.30Rodin, Andrei. Computer-Assisted Proofs and Mathematical Understanding the case of Univalent Foundations.