BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//SICSA - ECPv6.16.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:SICSA
X-ORIGINAL-URL:https://sicsa.ac.uk
X-WR-CALDESC:Events for SICSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250806
DTEND;VALUE=DATE:20250809
DTSTAMP:20250716T121441Z
CREATED:20250404T122725Z
LAST-MODIFIED:20250716T121441Z
UID:10000053-1754438400-1754697599@sicsa.ac.uk
SUMMARY:SAT/SMT/AR - Summer School 2025
DESCRIPTION:Satisfiability (SAT)\, Satisfiability Modulo Theories (SMT)\, and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications\, both in computer science and beyond. The SAT/SMT/AR Summer School at University of St Andrews aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2024. \nThe summer school will take place from Wednesday the 6th to Friday the 8th of August. It will precede the following conferences: \n\n18th International Symposium on Combinatorial Search (SoCS)\n28th International Conference on Theory and Applications of Satisfiability Testing (SAT)\n31st International Conference on Principles and Practice of Constraint Programming (CP 2025)\n23rd International Workshop on Satisfiability Modulo Theories (SMT)\n\nApplications have closed.
URL:https://sicsa.ac.uk/event/sat-smt-ar-summer-school-2025/
CATEGORIES:Summer school
END:VEVENT
END:VCALENDAR