coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions

From: Besik Dundua <bdundua AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions
Date: Mon, 2 Jun 2025 10:34:00 +0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bdundua AT gmail.com; spf=Pass smtp.mailfrom=bdundua AT gmail.com; spf=None smtp.helo=postmaster AT mail-yw1-f181.google.com
Ironport-data: A9a23:vHSIOqyUnSPpfMtvZDl6t+eWwirEfRIJ4+MujC+fZmUNrF6WrkUOx 2JJCmqEO/+IYmCgeopyO4jl9BsAv5eAndVrGQZpq1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmAc3l48sfrZ9Usx5K2q4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPz264zKE0verRG3cFlDz9I/ vMDLB4kO0Xra+KemNpXS8Fpj8Unadj0ZcYR4yE5iz7eCvkiTNbIRKCiCd1whm9hwJATW6+EN 4xAOWMHgBfoO3WjPn8dBI84kPqhrnb6ejxc7lmSoMLb5kCJllAuium8bIu9ltqiWspaxmaCg nj/+H3gGxYnCuXO6Te72yf57gPItXimAdpNRePQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoA3/U2vC8jiBli2+S7d+BEbXNVUHqsx7wTlJrfoDxixGXBfExpNcZsf6ugRVzJ00 FSGhNfHLGk62FGKck61+rCRpDK0HCEaK24eeCMJJTfpBfGz/enfaTqfEb5e/L6JszHjJd3nL 9m3QMUWgrwSiYsayPz+8wmX2nSjoZ/GSgNz7QLSNo5E0u+bTN/5D2BLwQGEhRqlEGp/ZgfZ1 JTjs5bEhN3i9bnXyESwrBwlRdlFHcqtPjzGmkJIFJI87Tmr8HPLVdkPvGEufB02b5pbImOBj KrvVeV5tME70JyCPf8fXm5NI5hypUQdPY21D6mLN4AWCnSPXFbapHo0PSZ8IFwBYGB3zPhnZ sbFGSpdJXkdDqtjwXK3QexbuYLHNQhvrV4/savTlkz9uZLHPCD9Ye5cbDOmMLplhIva+1692 4gEZ6O3J+B3CrGWjt//q9NLdQhiwLlSLcyelvG7gcbafFA+RDF6WqaNqV7jEqQ895loei7z1 inVcidlJJDX3BUr8C3TMis7OoD8F41yt2w6NiEKNFOlkSprK4W24atVM9N9cbA7/aYxhbR5X tsUSfWmW/5vczXg/yhCTJ/fqIc5Sg+nqzjTNAWYYR8+XaVaeSr3xvHecDHSqRY+VhiMiZNmo pmL9B/qfp4YdgEzUOfUcK2Oyn2yj1g8mcVzfU3CHfdLcm6x8oIwcy3Vpd00KvEqNh/s6Ga71 QGXIBFAvsjLgdY/3+fojJC+jbWCMrVBDGsDOELE/5OaCDL8wlOz5aNhDMOZYiH7Vk7v3aepO NVu0PD3NcMYkGZws4ZTF6hhyYQ87YDNo4B24xtFHnLZSUaCEZJlf2e72PdQup13xrN2vRW8X mSN8IJ4PZSLIMbUL04DFjE6b+is1eAmpReK1K4beH7F3S5Q+KaLdW5wPBPW0SxUE+ZTAbMfm OwkvJYb1hy7hh8UKe25tyFz9VmXD3k+Qq4i54A7Aojqt1IR8Wt8Q6fgUw343JLeTO93EBgOA iSVj6/8lbhj1hL8U34sJ0Psg8tZp7oz4S5v8nFTBm60iuLkh+A21iJ/6T4YbBpY5TQZ3vNRO lpEDVxUJ6KP9QhGnMJoBj2gCSxdNh+0pmnKll0DzjzfRWaVS12XfXEcOPmMzm8d4WlzbjhWx 5DG6WfHABLBXtD94Ts2YmFh88fcdN1W8haYvtKKBOGHIsUKWiXkiaqQemY4kRvrLscvjknhp +Mx3uJPRYDkFCwX+YsXNpK70OkOdRW6O2Bye/Ft06cXF2X6ejvp+zyvKVi0S/xdNc7x7k60J Mx/FP1hDy3k+n61kQkaIqoQL5tfvv0jvoMCc4y2A182ieKUqz4xva/A8iT7unQQfOxvtsQAM aLUSSOJFz2BpHlTmlKVlvJ+BEiDXYAmajH/jcePy8dYM7IYseppT1M+7avsgVWRLzlc3ky1u CHtWvbo6tJMmKVWsaniKKFhPzmPCMjSUb2I+T+jst4VYtLoN9zPhjwvqVLmHlp3OLcNautzj pCIlsD952LenbMMS2uCsYKwJ6pIwsSTXeRsLcP8KkdBrxaCQMPB5xgi+XiyDJ50zPdxw9aBf BThTuedbvsXVMV56FwPThNBAjAPD6jTRYXxlxOX9vijJEAU7l3aEYmB63TsU1B+SgYJHJ/bU SrfpPek44FjnrRmXRMrKalvPM5lHQXFR6AjStzWsAuYBEmOhnepmOPrtTgk2AHxJki0KuTIy rObeUGmbzW3gr/C8/9BuY8rvhE3Mmd0sdNtQm0joexJmxKIJ09YC98CMKc2KIBeyQ3z85DaW AvjTkUfDQfFYDAVVimkvfrCWF6TCNVbb529bnYs8liPYii7OJKYDfEzvm186nNxYX34wPvhN dga/WbqMwOsxo1yA9we/eG/nfwt08ayKqjkIqwhu5ea79ci7bQ2OLhJGQNMUWnWDJiImhybf C46QmdLREz9Qkn0eSqll7i5BzlB1A4DDR1xBctM/Dobk4qexexEjvb4PokfF5UdOd8SKudmq WzfHgOwDqP/5pDXkaQsstMtx6RzDJpn2yR8wLDLHWUvok171ojr0w7uU8bCoAHONTOzy2/gq wQ=
Ironport-hdrordr: A9a23:v4QVYq2zQrzvnvkoEsMW4gqjBN0kLtp133Aq2lEZdPU1SKGlfq +V/MjzuSWatN9zYh0dcK67U5VoKEm0nfRICOIqXItKMjOJhFeV
Ironport-phdr: A9a23:oRPH0xACmw2JPc83Htf5UyQUlkkY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua42ygeRFt6AsaIMy7KP9fy7AypYudfJmUtBWaIPfidGs/lepxYnDs+BBB+zB9/RRAt+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuMcbjZF+JqotxRfErHVFd/pVyGh1IV6fgwvw6t2/8ZNt7Shcoe4t+9JFXa7nY6k2U LtUASgpPGwy+MDlrx7PQxeR6HABSGsWiB1IAwbE7BH+QJj8tzbxu/R+1ieHI8D4VKg4Vju+4 ahlTh/okzoHOCUi8G7LkMxwjblUrwynqhdi3oPbeoCVNP55fqPAYdMXQHdKU8hNWyBdBI63c owAAfccPeZDt4nyuUcBrQewCwmrAePg0D5Ihnnr1qE+3OksFQTK0Qo9FNwMrXvUts34O6gSX +67z6fG0CvNYO9N1Djn9ITFaAosre2QUb9yd8fa1EkhFxnCjlWVsYHoIi2a1v8Ms2iY8uFuW /+vi2g6pAFsuDek28AhhZLUiYIIzFDL6Dh5z5wuKN23TU50e9+kEJ9Kuy6GMIt2R9ovTmd1s yk11rMIo4S0fDQWyJs53R7fbeSKfoeJ7x/+W+icPDh1iW9qdb+xhhu+7EauxO3iWsSo0VtHr TdIn8TPu30T1xLe6sqKRPRy80qv2juB2B7e5+FHLE0yiKHVJZkhwrsqmZoSt0TOBiD2mETqj K+Wa0Ur4fKk6+XgYrjgu5SSNJd0hxngPqgynsGzG+c1PwgUU2SG5+ix16fv8VD6TblXiPA9j 7fUsJTHJcQAuq62HRVV3Jsi6xe+ETiryMgUkH8aJ1xfYh2HlZLmO1TWLfD4E/i/h1OsnS9ux //cP73hBozBL3jNkbv8ZLp95VNQxQkuwdxF6JJUDbYBIP33WkDvrtDXEhg5Mwmsz+bmDtVyy J8eVHqRDqOFNK7eq1yF6+I1L+WReoMYuyzxJ+Um6vLzlXM5nEUSfait3ZsZcnC4GfFmLl2Cb nXxn9cBF3oFvhckQ+Hxh12CVCRcZ3e2X64m+j47D4emAZ/FRo+2mLOBxju0HoVKZmBaDVCBC Wrke52eW/gQcCKSPtNhkjscWLe9TI8hzAiiuxP+y7p6NeXZ4TYYtJLm1Nht/eLfjxAy9TpuD 8ScyW6BVW90nnlbDwMxiat4uAl2zkqJ+al+mf1RU9JJtN1TVQJvH5PHzu8yJ830Vh/INoODR EugTsivKT40R9M1hdQJZhAuSJ2Zkhnf0n/yUPcunLuRCcloo8o0vlD0Lsd5kTPd0bU5ykMhS Y1JPHGngah2807SAZTImgOXjfXibrwSiQjK8mrL1m+SpAdASgclW6nYW3wCb2PZqN344gXJS Lr9Qa8/PF55wNWZYrBPdsWviFxHQPn5P9GLaW6snWutDD6Hw7qNaMzhfGBOlD7FBh0ilAYet W2DKRB4BiqlpDfGCydyEFv0f0722ex3qXf+X1Btig/TPxQn2L2y9RoYw/ebTpv/x5oivyEs4 3VxFVe5hZfNDsaY4hBmd+NaaM8851FO0STYsRZ8N9quNfIqgFlWaAlxs070snc/Qoxdjcgnq m8rxwtuOOqZ1l1GbTaRwZH3PPXeNGDz+Bmlb6Oe1EvZ1Z6a/aIG6fJwrFuG3knhHEY/9Xl62 vFa1nKd4tPBCw9TGZP9X0Ar9gRr8qnAa3p17IfV2HtwdKis52WaipR5Wa18kEbmJocGY8bmX EfoHsYXBtajMrkvklmtNFcfOfxKsbQzNIWgfueH36iiOKBhmiinhCJJ+tMYsArE+ixiR+rPx 5tAzeuf217NXTvhilu8u+j4nIlFYXcZGW/1mk2GTMZBI7Z/e4oGEzLkKcGqwNljjrbiXndZ8 BioAFZMi4e5PBGVaVL6xwhZ008a9GemlSWPxDtxizg1r6Cb0UQi2szafQEcci5OTWhm1xL3J JSsysodVw6uZhQokx2s4QD7wbJareJxNTubTUBNdinwZ2ZsN8n4/rCOfshD9ZoAviBeUeD6a lefArLwuBoV1Sr/EnAWnmhqMWH3/Myjz1oj2DvVJW07tHfDfMBs2RrTgb6UDeVc2DYLXmgwi DXaAES9I8j8+NyVk5nZteXtH2mlV5BVbWzq1dba7Hr9tTAsWEfv2anjw46Cc0ByyyLw2th0W D+dqR/9ZtOuzKGmKad9eUIuAlbg6s18E4U4k40qhZhW12JJ4/fdtXcBj2r3Ns1WnKzka39YD zQH3tjZ/QHN10hqL3bPzIX8HCb4oIMpd5yhb2Ua1zhopcpGFaGY8bVski58o17+pgXUK6s1j nIWzv0g72QfiucCtV82zymTNbsVGFFRIS3mkxnbirL25LUSfmukdqK8kVZvhd30Rq/XuRlSA TyqModnByJ76d9zdU7BwGGmoJ+xY8HeNLdx/lWVi0uS0bQTcslq0KNU3Ww/fjus9Xw9l7xl0 1o3hcv85M7fbD81tKOhXkwGaHuvO5JVqmmr1eEExqP0l8iuBskzRW9NBceuFKPyVmpV7KSvN h7SQmJg7C7BRPyHW1fYsRkurmqTQcnzZzfOeyZfnZM6A0PEQS4XyAEMAGdjwcV/T1H2gpSnK AAguHgQ/gKq8EMdjLI1cUClAiGH4173IjYsFMrFdUQQs1EEvhaPd5TZt7MWfWkQ/4X9/lbUd CrBPFUOVjtPAgvdVhj1N72qr7Es6sC+AeyzZ7vLaLSK86lFUuuQgIio2c1g9iqNMcOGOj9jC ec60wxNRyIxHcORgDgJRyEN8kCFJ8eGuBex/DF2pcGj4bzqXgzo/46GF7pVN51m5Rm3ha6JM +PYijx+LH5U0ZYFxHmAz7Z6vhZakyZ1azykCqgNrwbIRaPU375IVlsVMnMqcsRP6K04009GP suawtL527hkj+IkXldIUVuy/6PhLccOImy7KBbGHBPRbOXAdWCNmpunJ/rsEO417q0crRC7t DeFHlW2Oz2Ck2OsTBWzKaRWiyrdOhVCuYa7exIrCG75TdugZAfoVb0/xTAw37AwgWvHcGAGN j0pOUlBs7uc8CpwjfB2GmgH5X1gZ7rh+W7R/6zDJ5AavOE+SDxzjP5f6W8mxqF96ShFQLlkh 3KXoIc++heple6AzjchWx1L4GUu5srDrQBpPqPX8YNFUHDP8UcW7GmePB8NosNsFtzlv604I j3nm6f6KTME+NXRr5N07yf8J8eOMX5nOh3sSme85OotSDeqMSTOmBUYnqjCrzuaqZ81rpWqk 50LGOczaQ==
Ironport-sdr: 683d45e2_TbuU4C/iqg8YxC8qFpl9PN960QSKgxAD5UdmqUzmDipbyoo zSD720EOq3k5AVkVL5LM4iFmneg9PP50Iw9Dydg==

===========================================================================================
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.dundua AT kiu.edu.ge

[Coq-Club] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions, Besik Dundua, 06/02/2025