[SMT-LIB] Fwd: advertising email
Clark Barrett
barrett at cs.nyu.edu
Tue May 5 22:47:11 EDT 2015
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)
More information about the SMT-LIB
mailing list