European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

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)

  • Towards GPU-accelerated automated reasoning (Martin Berger)

Schedule

July 7 July 8 July 9 July 10 July 11
9:00 Martin Berger
9:30
10:00 Maribel Fernandez Giovanni Ciatto Temur Kutsia Martin Leucker
10:30 Giovanni Ciatto
11:00
11:30 Lunch break Lunch break
12:00-13:30 Dinner and Excursion
14:00-15:30 Martin Berger Elena Umili Santiago Escobar Santiago Escobar
15:30-16:00 Coffee Break Coffee Break
16:00-17:30 Elena Umili Maribel Fernandez 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