Email Gateway (Apr 20 2022 at 08:03): Email Gateway (Apr 20 2022 at 08:03):From: Pascal Fontaine <pascal.fontaine@loria.fr>
SAT/SMT/AR Summer School 2022: August 14-16
CP Summer School 2022: August 17
Technion
Haifa, Israel
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.
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.
Confirmed speakers and talks:
Alex Nadel: Introduction to SAT
Bruno Dutertre: Introduction to SMT
Marijn J.H. Heule: Proofs of Unsatisfiability — Validation and applications
Dana Drachsler Cohen: Safety of Neural Networks
Shachar Itzhaky: Formal Software Verification in Proof Assistants
Yakir Vizel: TBD
Dana Fisman: TBD
Cezary Kaliszyk: Introduction to ITP
Liron Cohen: TBD
George Katsirelos -- Introduction to CP & The cross-fertilization of CP and SAT
Michael Codish -- Constraint Minds Think Alike: The application of CP & SAT to Solve Hard Combinatorial Problems
Michael Veksler -- TBD
Tentative schedule and abstracts of the tutorials can be found in the summer school’s website:
[ 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 ]
For registration, please fill out this form: [ https://urldefense.com/v3/__https://forms.gle/2gEZhRt74AgptLvb6__;!!IBzWLUs!BXqlxTDiDuDHdzPNE8xLM5aj6FzXnGDWyz6oBrDNbt4C8TeFLY7tsxWcMFd21Z6LV-QCJLALpp4t0g$ | https://forms.gle/2gEZhRt74AgptLvb6 ]
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.
For any questions, feel free to contact the organization committee at [ mailto:ssa.school2022@gmail.com | ssa.school2022@gmail.com ]
Organizing Committee of SAT/SMT/AR Summer School: Guy Katz, Ori Lahav, Yoni Zohar
Organizing Committee of CP Summer School: Emmanuel Hebrard
Last updated: Jul 15 2022 at 23:21 UTC