[SMT-LIB] Announcement: 2nd International SAT/SMT Summer School

Alberto Griggio griggio at fbk.eu
Thu Feb 16 04:59:50 EST 2012


        [ Apologies for multiple copies ]

-------------------------------------------------------------------------
                CALL FOR PARTICIPATION AT THE

                Second International SAT/SMT Summer School
                Trento, Italy, June 12-15th, 2012
                http://satsmtschool2012.fbk.eu/
-------------------------------------------------------------------------

NEWS:

Registration and grant application are now open! The full details are
available at the school website (http://satsmtschool2012.fbk.eu).

Grant application deadline: 15th March 2012
Registration deadline: 6th June 2012


ABOUT:

The SAT/SMT Summer School 2012 (2nd edition) aims at providing graduate
students and researchers from universities and industry with a
comprehensive overview of the research in SAT, SMT, and their
application. The lectures cover the foundational and practical aspects
of SAT and SMT solvers, as well as their application to verification,
planning, scheduling, and optimization problems.

This second edition follows the Summer School of 2011 organized by Vijay
Ganesh at MIT, and is co-located with the SAT 2012 conference. The
school will take place in Trento, Italy, from June 12th to June 15th
2012.

The program will feature four lectures per day, with the first two days
dedicated to SAT and SMT foundations, and the last two to applications
on various domains.

List of speakers:
- Armin Biere (Johannes Kepler University, Linz, Austria)
- Leonardo de Moura (Microsoft Research Redmond, USA)
- Bruno Dutertre (SRI International, USA)
- Martin Fränzle (Carl von Ossietzky Universität Oldenburg, Germany)
- John Franco (University of Cincinnati, USA)
- Silvio Ghilardi (Università di Milano, Italy)
- Patrice Godefroid (Microsoft Research Redmond, USA)
- Holger Hoos (University of British Columbia, Vancouver, Canada)
- Tomi Janhunen (Aalto University, Finland)
- Pete Manolios (Northeastern University, USA)
- Joao Marques-Silva (University College Dublin, Ireland)
- Ken McMillan (Microsoft Research Redmond, USA)
- Jussi Rintanen (Austrialian National University, Australia)
- Fabio Somenzi (University of Colorado, Boulder, USA)
- Gunnar Stålmarck (Prover Technology and Gain Sweden AB, Sweden)
- Cesare Tinelli (University of Iowa, USA)

A more detailed program is available at the school website 
(http://satsmtschool2012.fbk.eu).

The school organizers,
Alberto Griggio <griggio at fbk.eu> and 
Stefano Tonetta <tonettas at fbk.eu>


More information about the SMT-LIB mailing list