[TYPES/announce] SAT/SMT/AR + CP Summer School

Yoni yoni206 at gmail.com
Sun Apr 17 04:13:12 EDT 2022

SAT/SMT/AR Summer School 2022: August 14-16
CP Summer School 2022: August 17
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

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 Unatisfiability — 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
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:

For registration, please fill out this form:

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
ssa.school2022 at gmail.com

Organizing Committee of SAT/SMT/AR Summer School: Guy Katz, Ori Lahav, Yoni
Organizing Committee of CP Summer School: Emmanuel Hebrard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220417/48188417/attachment-0001.htm>

More information about the Types-announce mailing list