School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions
Will take place at Kutaisi International University, Kutaisi, Georgia, July 7th-11th 2025, organised by Besik Dundua and Nika Gagua.
Aims
The School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions aims to equip participants with advanced techniques for formal reasoning and expression processing. Covering topics such as access control policies, symbolic knowledge extraction, automated protocol analysis, and quantitative constraint solving, the program bridges symbolic and statistical approaches. It explores the integration of regular languages in deep learning and the use of runtime verification with SMT solving, providing both theoretical foundations and practical applications. Through interdisciplinary learning, the school fosters research and innovation in formal methods and AI.
- Specification and Analysis of Access Control, Obligation and Privacy Policies via the Category-Based MetaModel (Maribel Fernandez)
- Symbolic Knowledge Extraction and Injection: Theory and Methods (Giovanni Ciatto)
- Integration of Regular Languages in Deep Learning for Sequential Domains (Elena Umili)
- Automated Reasoning in Maude for Protocol Analysis (Santiago Escobar)
- Symbolic techniques for solving quantitative constraints (Temur Kutsia)
- Runtime Verification as contiguous formula progression and SMT solving (Martin Leucker)
Schedule
Time | July 7 | July 8 | July 9 | July 10 | July 11 |
---|---|---|---|---|---|
10:00-11:30 | Maribel Fernandez | Giovanni Ciatto | Dinner and Excursion | Temur Kutsia | Martin Leucker |
11:30-14:00 | Lunch Break | Lunch Break | Dinner and Excursion | Lunch Break | Lunch Break |
14:00-15:30 | Giovanni Ciatto | Elena Umili | Dinner and Excursion | Santiago Escobar | Santiago Escobar |
15:30-16:00 | Coffee Break | Coffee Break | Dinner and Excursion | Coffee Break | Coffee Break |
16:00-17:30 | Elena Umili | Maribel Fernandez | Dinner and Excursion | Temur Kutsia | Martin Leucker |
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