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 part 2 (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 (Live demonstration) (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