SAT-Race
2006
Organizing Committee
Chair
Carsten Sinz (Johannes Kepler University Linz, Austria)Advisory Panel
Nina Amla (Cadence Design Systems, USA)João Marques Silva (University of Southampton, UK)
Emmanuel Zarpas (IBM Haifa Research Lab, Israel)
Technical Consultants
Daniel Le Berre (Université d'Artois, France)Laurent Simon (Université Paris-Sud, France)