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:

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 Group
  • Georgian Dinner Group
  • Students and Lecturers Group
  • Lecturers and Rector Group
  • Michael Kohlhase Lecture Group
  • Peter Koepke Lecture Group
  • Zarathustra Goertzel Lecture Group
  • Yutaka Nagashisma Lecture Group
  • Andrea Kohlhase Lecture Group
  • View from dinner provided by hosting university Group
  • Challenges overcame Group