[ACP members] Call for participation, SAT/SMT/AR and CP Summer School 2022

From: 

no-reply@a4cp.org

Category: 

ACP members

To: 

no-reply@a4cp.org

BCC: 

alexander.ek@monash.edu
rap-1997@hotmail.com
remy.garcia@i3s.unice.fr
charles.prudhomme@imt-atlantique.fr
gael.glorian@gmail.com
susanneheipcke@fico.com
uli.junker@free.fr
nicolas.isoart@gmail.com
michael.maher@reasoning.org.au
pierre-alain.yvars@supmeca.fr
arth.godet@gmail.com
jfoley@norwichresearch.com
andrea.rendl@gmail.com
alexey.ignatiev@gmail.com
xaviergillard@gmail.com
vincent.gingras.cem@gmail.com
helene.verhaeghe27@gmail.com
mohamedsami.cherif@lis-lab.fr
lau.sena.gabriel@gmail.com
hanka@fi.muni.cz
sofranac@zib.de
alexandre@ensta.fr
france.dacar@ijs.si
Russ.Abbott@gmail.com

Headers: 

Content-Type: text/html; charset=UTF-8 Bcc: alexander.ek@monash.edu, rap-1997@hotmail.com, remy.garcia@i3s.unice.fr, charles.prudhomme@imt-atlantique.fr, gael.glorian@gmail.com, susanneheipcke@fico.com, uli.junker@free.fr, nicolas.isoart@gmail.com, michael.maher@reasoning.org.au, pierre-alain.yvars@supmeca.fr, arth.godet@gmail.com, jfoley@norwichresearch.com, andrea.rendl@gmail.com, alexey.ignatiev@gmail.com, xaviergillard@gmail.com, vincent.gingras.cem@gmail.com, helene.verhaeghe27@gmail.com, mohamedsami.cherif@lis-lab.fr, lau.sena.gabriel@gmail.com, hanka@fi.muni.cz, sofranac@zib.de, alexandre@ensta.fr, france.dacar@ijs.si, Russ.Abbott@gmail.com
  <div id="header">
    <div id="logo">
  <a href="http://www.a4cp.org"><img src="/sites/default/files/corolla_logo.png" alt="Association for Constraint Programming">
    </a>
    </div>
    <div id="header-name">
  <a href="http://www.a4cp.org">Association for Constraint Programming</a>
    </div>
  </div>
  <div id="content">

SAT/SMT/AR and CP Summer School 2022: August 14-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 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 SAT
  • Michael Codish -- Constraint Minds Think Alike: The application of CP & SAT to Solve Hard Combinatorial Problems
  • Michael Veksler -- Learning General Constraints in Hybrid CP/SAT Solvers

Tentative schedule and abstracts of the tutorials can be found in the summer school’s website: https://sat-smt-ar-school.gitlab.io/www/2022/index.html

Registration

For registration, please fill out this form: 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.

Contact

For any questions, feel free to contact the organization committee at ssa.school2022@gmail.com

Organizing Committee of SAT/SMT/AR and CP Summer School: Guy Katz, Ori Lahav, Yoni Zohar and Emmanuel Hebrard

--
This message was sent on behalf of the Association for Constraint Programming. If you do not wish to receive further messages, please cancel your account at http://www.a4cp.org or send an email to webmaster@a4cp.org.

Result: