Affiliates Workshop: Satisfiability Solvers and Program Verification

August 10 - 11, 2006

Speaker List

Alex Aiken (Stanford University)
Alessandro Cimatti (Istituto per la Ricerca Scientifica e Tecnologica (IRST))
Edmund M. Clarke (Carnegie-Mellon University)
Carla Gomes (Cornell University, Computer Science)
Orna Grumberg (Technion - Israel Institute of Technology)
Aarti Gupta (NEC Research Institute)
Daniel Kroening (Eidgenössische TH Zürich-Zentrum)
Shuvendu Lahiri (Carnegie-Mellon University)
Sharad Malik (Princeton University)
Ken McMillan (Berkeley College of Engineering)
Robert Nieuwenhuis (Polytechnical University of Cataluña (Barcelona))
Ofer Strichman (Technion - Israel Institute of Technology)