[SMT-LIB] Fwd: advertising email

[Clark Barrett]

Our apologies if you receive multiple copies of this email. We kindly ask you
to forward this email to interested students and postdoctoral researchers.

================================================================================

                             CALL FOR PARTICIPATION


                 Fifth International SAT/SMT Summer School

                         Stanford, CA, July 15-17, 2015

                        http://smt2015.csl.sri.com/school

================================================================================


APPLICATION:

The application deadline for the summer school is May 19, 2015.  Full details
of the application procedure are available on the summer school website
(http://smt2015.csl.sri.com/school).


ABOUT:

Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers have
become the engines powering numerous applications in computer science and
beyond, including automated verification, artificial intelligence, program
synthesis, security, product configuration, and many more. The summer school
covers the foundational and practical aspects of SAT and SMT technologies and
their applications.

Besides providing a well-structured introduction to SAT and SMT, this year’s
edition of the SAT/SMT Summer School covers timely topics and novel
applications such as

- MaxSAT
- solvers for floating point arithmetic,
- optimization modulo theories,
- symbolic execution
- proofs and interpolation,
- synthesis

The fifth edition follows the schools that took place at MIT (2011), at
Fondazione Bruno Kessler in Trento, Italy (2012), at Aalto University in Espoo,
Finland (2013), and in Semmering, Austria (2014).  The school location and
schedule has been chosen to conveniently allow participants to also attend the
2015 SMT Workshop and CAV conference:

- SMT Workshop: http://smt2015.csl.sri.com/
- CAV Conference: http://i-cav.org/2015/

The Summer School program will feature four lectures per day including an
introductory lecture on day one by Donald Knuth.

Wednesday, July 15, 2015

  9:00 - 10:30 Donald Knuth
 10:30 - 11:00 Break
 11:00 - 12:00 Nina Narodystka
 12:00 -  1:00 Lunch
  1:00 -  2:30 Alberto Griggio
  2:30 -  3:00 Break
  3:00 -  4:00 Dejan Jovanović

Thursday, July 16, 2015

  9:00 - 10:30 Mate Soos
 10:30 - 11:00 Break
 11:00 - 12:00 Christoph Wintersteiger
 12:00 -  1:00 Lunch
  1:00 -  2:30 Roberto Sebastiani
  2:30 -  3:00 Break
  3:00 -  4:00 Joe Hendrix

Friday, July 17, 2015

  9:00 - 10:30 Pascal Fontaine
 10:30 - 11:00 Break
 11:00 - 12:00 Stefano Ermon
 12:00 -  1:00 Lunch
  1:00 -  2:30 Sanjit Seshia
  2:30 -  3:00 Break
  3:00 -  4:00 Vijay D'Silva

Organizers:

Clark Barrett (New York University)
David Dill (Stanford University)
Bruno Dutertre (SRI International)