BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2025/newsitem/15680/7-
 --11-July-2025-School-on-Symbolic-and-Statistical-
 Methods-Kutaisi-Georgia
DTSTAMP:20250605T233039
SUMMARY:School on Symbolic and Statistical Methods
 , Kutaisi, Georgia
DTSTART;VALUE=DATE:20250707
DTEND;VALUE=DATE:20250711
LOCATION:Kutaisi, Georgia
DESCRIPTION:The School on Symbolic and Statistical
  Methods for Reasoning and Processing Formal Expre
 ssions aims to equip participants with advanced te
 chniques for formal reasoning and expression proce
 ssing. Covering topics such as access control poli
 cies, symbolic knowledge extraction, automated pro
 tocol analysis, and quantitative constraint solvin
 g, the program bridges symbolic and statistical ap
 proaches. It explores the integration of regular l
 anguages in deep learning and the use of runtime v
 erification with SMT solving, providing both theor
 etical foundations and practical applications. Thr
 ough interdisciplinary learning, the school foster
 s research and innovation in formal methods and AI
 .
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The School on 
 Symbolic and Statistical Methods for Reasoning and
  Processing Formal Expressions aims to equip parti
 cipants with advanced techniques for formal reason
 ing and expression processing. Covering topics suc
 h as access control policies, symbolic knowledge e
 xtraction, automated protocol analysis, and quanti
 tative constraint solving, the program bridges sym
 bolic and statistical approaches. It explores the 
 integration of regular languages in deep learning 
 and the use of runtime verification with SMT solvi
 ng, providing both theoretical foundations and pra
 ctical applications. Through interdisciplinary lea
 rning, the school fosters research and innovation 
 in formal methods and AI.</p>\n
URL:https://europroofnet.github.io/Kutaisi25/
CONTACT:besik.dundua at kiu.edu.ge
END:VEVENT
END:VCALENDAR