[SMT-LIB] Third International SAT/SMT Summer School 2013: 2nd Call for Participation

[Keijo Heljanko]

               [ Apologies for multiple copies ]

=========================================================================
                   SECOND CALL FOR PARTICIPATION

              Third International SAT/SMT Summer School
                 Aalto University, Otaniemi Campus
                 Espoo, Finland, July 3-5th, 2013
                 http://satsmt2013.ics.aalto.fi/
=========================================================================

REGISTRATION:

The registration deadline for the school is May 20, 2013. Full details
of the registration procedure are available at the school website
(http://satsmt2013.ics.aalto.fi/).

ABOUT:

The SAT/SMT Summer School aims at providing graduate students and
researchers from universities 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 third edition follows the schools that took place at MIT (SAT/SMT
Solver Summer School 2011) and at Fondazione Bruno Kessler (SAT/SMT
School 2012) in Trento, Italy. The 16th International Conference on
Theory and Applications of Satisfiability Testing (SAT 2013) is
arranged at University of Helsinki the following week (see
http://sat2013.cs.helsinki.fi/).

The 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:

- "Foundations and Theoretical Aspects of SAT" by
   Olaf Beyersdorff, Humboldt-Universität zu Berlin, Germany
- "Applications of SMT Solvers" by
   Alessandro Cimatti, IRST, Trento, Italy
- "Internals of Modern SMT Solvers" by
   Leonardo de Moura, Microsoft Research, Redmond, USA
- "Foundations and Theoretical Aspects of SAT" by
   John Franco, University of Cincinnati, USA
- "SAT-Based Planning" by
   Enrico Giunchiligia, University of Genova, Italy
- "Preprocessing" by
   Marijn Heule, University of Texas at Austin, USA
- "CDCL SAT Solvers and SAT-Based Problem Solving" by
   Joao Marques-Silva, University College Dublin, Ireland
- "SMT Theory and DPLL(T)" by
   Albert Oliveras, Technical University of Catalonia, Barcelona, Spain
- "Modelling and Solving in Answer Set Programming" by
   Torsten Schaub, Potsdam University, Germany
- "Parametrized Complexity" by
   Stefan Szeider, Vienna University of Technology, Austria

A more detailed program is available at the school website
(http://satsmt2013.ics.aalto.fi/).

Organizing committee:

Keijo Heljanko, Aalto University
Tomi Janhunen, Aalto University
Matti Jarvisalo, University of Helsinki