Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Mathematics for AI


view this post on Zulip Email Gateway (Jun 19 2026 at 08:49):

From: Besik Dundua <bdundua@gmail.com>

==============================================

Mathematics for AI

Regional Summer School (MAI 2026)

1-5 September 2026, Batumi, Georgia & 7-9 September 2026, Kutaisi, Georgia

https://gmu.gtu.ge/mai2026/

==============================================

The Mathematics for AI Regional Summer School (MAI 2026) aims to bring
together students from the Caucasian countries—Armenia, Azerbaijan, and
Georgia—to introduce them to the mathematical foundations of artificial
intelligence. The program features lectures by world-renowned scientists
and covers topics such as algebra, functional analysis, logic, and
mathematical statistics in the context of AI.

The summer school will be held in parallel with two international
conferences.

Conferences

Schools

============================================================

Venue of MAI 2026

============================================================

The MAI 2026 school will be hosted across two locations. From September
1-5, the venue will be the Batumi Shota Rustaveli State University, located
at Rustaveli str. 32, Batumi. From September 7-9, the venue will be the
Kutaisi International University (KIU), located at Akhalgazrdoba Ave. Lane
5/7, Kutaisi. Both locations offer a vibrant academic atmosphere with many
nearby hotels, cafeterias, and regional attractions.

============================================================

Registration

============================================================

The registration fee is 200 EUR, which includes school materials, coffee
breaks, and the school banquet. The registration deadline is 15 August
2026. For registration and inquiries, please visit the website or contact:
mai@bsu.edu.ge

============================================================

Banquets

============================================================

During the banquets, the visitors will be able to experience the world’s
famous Georgian Cuisine and most importantly, Georgian wine, which has a
history of 8000 years. The restaurants will offer a vast variety of
Georgian meals and wine. Some information about Georgian cuisine and wine
can be found at the following links:

https://en.wikipedia.org/wiki/Georgian_cuisine
https://en.wikipedia.org/wiki/Georgian_wine


Last updated: Jul 02 2026 at 07:34 UTC