[TYPES/announce] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions

[Besik Dundua]

===========================================================================================
School on Symbolic and Statistical Methods for Reasoning and Processing
Formal Expressions
Kutaisi International University, Kutaisi, Georgia
July 7th-11th 2025  (https://urldefense.com/v3/__https://europroofnet.github.io/Kutaisi25/__;!!IBzWLUs!QY7X3t3antUwtPZOMpOVMjWZslf6ITSm0Jf5-yhu6ZUxCmKgUDpLUE7oYx3qDPlsBN5pzYNHJ11mJNESpA7ZQTUXeMGSDQ$ )
===========================================================================================


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)

Registration:

The registration fee is 150 EUR.
To register, please write to besik.dundua at kiu.edu.ge
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250602/fd386262/attachment-0001.htm>