Profile cover photo
Profile photo
SAT/SMT Summer School
51 followers -
Summer school on SAT and SMT
Summer school on SAT and SMT

51 followers
About
SAT/SMT Summer School's posts

Post has attachment
=========================================================

                             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)

Post has attachment
===========================================
FIRST CALL FOR PARTICIPATION

Fourth International SAT/SMT Summer School
Semmering, Austria, July 10-12, 2014
http://satsmt2014.forsyte.at/
===========================================

APPLICATION:

The application deadline for the school is April 19, 2014. Full details of the registration procedure are available at the school website (http://satsmt2014.forsyte.at/).

ABOUT:

The SAT/SMT Summer School aims at providing graduate students and researchers from university and industry with a comprehensive overview of research and methodology in satisfiability testing (SAT) and satisfiability modulo theories (SMT). The lectures cover the foundational and practical aspects of SAT and SMT technologies and their applications.

The fourth edition follows the schools that took place at MIT (SAT/SMT Solver Summer School 2011), at Fondazione Bruno Kessler (SAT/SMT School 2012) in Trento, Italy, and Aalto University in Espoo, Finland in 2013.  The school location and schedule has been chosen to integrate nicely with the Vienna Summer of Logic (VSL 2014, see http://vsl2014.at/). As a reminder, VSL 2014 includes, among many other events:
* the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014)
* the 26th International Conference on Computer Aided Verification (CAV 2014)
* the 12th International Workshop on Satisfiability Modulo Theories (SMT 2014)
* the 7th International Joint Conference on Automated Reasoning (IJCAR 2014)

The Summer School program will feature four lectures per day, with the first two days dedicated to SAT and SMT, and the last to special topics. Two of the lectures will be organized as tutorials giving hands-on experience on SAT/SMT-based modelling.

List of invited lectures:
* Introduction to SAT, Daniel Le Berre
* Practical Session SAT, Keijo Heljanko, Tomi Janhunen, Tommi Junttila
* Interpolation in SAT & SMT, Philipp Rümmer
* Parallel SAT Solving, Christoph Wintersteiger
* Proofs in SAT and CSP, Ofer Strichman
* Introduction to SMT, Alberto Griggio
* Quantifiers in SMT, Leonardo de Moura
* Practical Session SMT, Keijo Heljanko, Tomi Janhunen, Tommi Junttila
* SMT for Cryptography & Software Verification, Chao Wang
* Hardware Verification with IC3, Fabio Somenzi
* Software Verification with IC3, Nikolaj Bjørner

A more detailed program is available at the school website (http://satsmt2014.forsyte.at/).

Organizers:
Pascal Fontaine (Inria, Loria, University of Lorraine, France)
Dejan Jovanović (SRI, U.S.)
Georg Weissenbacher (TU Wien, Austria)
Wait while more posts are being loaded