<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif;font-size:small"><span id="gmail-docs-internal-guid-49110de4-7fff-7445-8ab4-bc24a941c023"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br>SAT/SMT/AR Summer School 2022: August 14-16<br>CP Summer School 2022: August 17<br>Technion<br>Haifa, Israel<br><br><br>The joint  SAT/SMT/AR and CP 2022 Summer School will take place at the Technion, Haifa, Israel, on August 14-17 - immediately after the FLoC events.<br><br>The school aims to bring its students up to speed with the exciting and developing fields of satisfiability testing, satisfiability modulo theories, automated reasoning, and constraint programming.<br><br>Confirmed speakers and talks:<br>Alex Nadel: Introduction to SAT<br>Bruno Dutertre: Introduction to SMT<br>Marijn J.H. Heule: Proofs of Unatisfiability — Validation and applications<br>Dana Drachsler Cohen: Safety of Neural Networks<br>Shachar Itzhaky: Formal Software Verification in Proof Assistants<br>Yakir Vizel: TBD<br>Dana Fisman: TBD<br>Cezary Kaliszyk: Introduction to ITP<br>Liron Cohen: TBD<br>George Katsirelos -- Introduction to CP & The cross-fertilization of CP and SAT<br>Michael Codish -- Constraint Minds Think Alike: The application of CP & SAT to Solve Hard Combinatorial Problems<br>Michael Veksler -- TBD  <br><br><br>Tentative schedule and abstracts of the tutorials can be found in the summer school’s website:<br><a href="https://urldefense.com/v3/__https://sat-smt-ar-school.gitlab.io/www/2022/index.html__;!!IBzWLUs!BXqlxTDiDuDHdzPNE8xLM5aj6FzXnGDWyz6oBrDNbt4C8TeFLY7tsxWcMFd21Z6LV-QCJLBJmH9zvQ$">https://sat-smt-ar-school.gitlab.io/www/2022/index.html</a></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br>For registration, please fill out this form: <a href="https://urldefense.com/v3/__https://forms.gle/2gEZhRt74AgptLvb6__;!!IBzWLUs!BXqlxTDiDuDHdzPNE8xLM5aj6FzXnGDWyz6oBrDNbt4C8TeFLY7tsxWcMFd21Z6LV-QCJLALpp4t0g$">https://forms.gle/2gEZhRt74AgptLvb6</a></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br>Scholarships for housing at the Technion's dormitories will be available for the duration of the summer school, thanks to the support of our sponsors. If requested, please mark accordingly in the registration form, and we will contact you with more details around June.<br><br>For any questions, feel free to contact the organization committee at <a href="mailto:ssa.school2022@gmail.com">ssa.school2022@gmail.com</a><br><br><br>Organizing Committee of SAT/SMT/AR Summer School: Guy Katz, Ori Lahav, Yoni Zohar<br>Organizing Committee of CP Summer School: Emmanuel Hebrard</p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"> <br></p></span></div></div>