=========================================================================================== School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions Kutaisi International University, Kutaisi, Georgia July 7th-11th 2025 (https://europroofnet.github.io/Kutaisi25/) ===========================================================================================
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.dun...@kiu.edu.ge<mailto:besik.dun...@kiu.edu.ge> -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
