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, in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area.
The summer school will take place from Monday the 13th to Thursday the 17th of July. It will precede the many workshops and conferences of FLoC 2026. Registration is possible as part of the FLoC registration: https://www.floc26.org/registration Note that early registration for the summer school closes on June 1st. Limited financial support is available for students. To be considered, please fill out this additional short form by **May 13th**. We apologise for the short notice. https://forms.gle/aXtyrcPjMBdyvFWY7 Mikoláš, Filipe, Michael (organisers)
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
