Animation and exchanges in the Petri Nets community

[address@concealed]

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)