EuroProofNet Summer School on AI for Reasoning and Processing of Mathematics
Will take place at Kutaisi International University, Kutaisi, Georgia, June 24th-28th 2024, organised by David Cerna and Besik Dundua.
Aims:
The goal of the Summer School is to give participants a general overview on modern AI based techniques and tools for reasoning and mathematical knowledge management. The intended audience is computer science and mathematics students as well as researchers interested in this field. The offered courses are:
- An Introduction to Eye Tracking for a Deeper Understanding of Interactions with Math (Andrea Kohlhase, Hochschule Neu-Ulm, Germany)
-
Symbolic Natural Language Processing in GLIF (Michael Kohlhase, University of Erlangen–Nuremberg, Germany)
-
Natural language proving with Naproche (Peter Koepke, University of Bonn, Germany. Adrian De Lon, University of Bonn, Germany )
-
AI-Powered Theorem Prover Guidance(Zarathustra Goertzel, Czech Institute of Informatics, Robotics and Cybernetics, Czechia)
-
An introduction to Inductive Logic Programming (Celine Hocquette, University of Oxford, United Kingdom)
-
Interactive Theorem Proving in Isabelle/HOL and Its AI-Driven Automation Efforts (Yutaka Nagashisma, Czech Academy Of Sciences, Czechia)
- Computational Proof Theory: Transforming Proofs using Automated Reasoning (David Cerna, Czech Academy Of Sciences, Czechia)
Schedule
| Time | Monday | Tuesday | Thursday | Friday |
|---|---|---|---|---|
| 9:00-10:30 | Michael Kohlhase | Peter Koepke, Adrian De Lon | Andrea Kohlhase | |
| 11:00-12:30 | Celine Hocquette | Zarathustra Goertzel | David Cerna | |
| 14:00-15:30 | Peter Koepke, Adrian De Lon | Yutaka Nagashisma | ||
| 16:00-17:30 | Andrea Kohlhase | David Cerna | Michael Kohlhase | |
| 18:00-19:30 | Celine Hocquette |
Directions:
From Kutaisi International Airport, take a bus to the city center for around €4. Alternatively, you can take a taxi for about €10. From the city center to Kutaisi International University, there is bus N3 where you can pursue ticket using credit/debit card.
You can also order a taxi directly from the airport to the university without going to the city center. For finding out public transport routes and schedules, you can use the Moovit app, or use taxi apps such as maxim and YandexGo
Event Photos:
- Kutaisi, Georgia
- Georgian Dinner
- Students and Lecturers
- Lecturers and Rector
- Michael Kohlhase Lecture
- Peter Koepke Lecture
-
Zarathustra Goertzel Lecture
- Yutaka Nagashisma Lecture
