SAT/SMT school

Dates: June 12-15, 2012

Invited 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 (Univ. of Cincinnati, USA)
  • Silvio Ghilardi (Universita` di Milano, Italy)
  • Patrice Godefroid (Microsoft Research Redmond, USA)
  • Holger Hoos (Univ. of British Columbia, Vancouver, Canada)
  • 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 (Univ. of Colorado, Boulder, USA)
  • Gunnar Stålmarck
  • Cesare Tinelli (Univ. of Iowa, USA)
  •  More information available at http://satsmtschool2012.fbk.eu/