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 Intro 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)

  • AI-Powered Theorem Prover Guidance (Zarathustra Goertzel, Czech Institute of Informatics, Robotics and Cybernetics, Czechia)

  • ILP, symbolic AI (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
9:00-10:30 An Introduction to Eye Tracking for a Deeper Understanding of Interactions with Math Computational Proof Theory: Transforming Proofs Using Automated Reasoning Computational Proof Theory: Transforming Proofs Using Automated Reasoning
11:00-12:30 Symbolic Natural Language Processing in GLIF An Introduction to Symbolic Machine Learning AI-Powered Theorem Prover Guidance
14:00-15:30 Natural Language Proving with Naproche Natural Language Proving with Naproche Interactive Theorem Proving in Isabelle/HOL and Its AI-Driven Automation Efforts
16:00-17:30 An introduction to Symbolic Machine Learning Symbolic Natural Language Processing in GLIF An Introduction to Eye Tracking for a Deeper Understanding of Interactions with Math

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:

upcoming