October 23 - 25, 2007 Organized by IBM Haifa Research Lab
Conference chair:
- Karen Yorav
Local organization:
- Vered Aharon
Organizing committee:
- Sharon Barner, IBM Haifa Research Lab
- Laurent Fournier, IBM Haifa Research Lab
- Shmuel Ur, IBM Haifa Research Lab
- Avi Ziv, IBM Haifa Research Lab
Program committee:
- Sharon Barner, IBM Haifa Research Lab, Israel
- Lyes Benalycherif, STMicroelectronics, France
- Eyal Bin, IBM Haifa Research Lab, Israel
- Roderick Bloem, Graz University of Technology, Austria
- Jong-Deok Choi, Samsung Electronics, Korea
- Alessandro Cimatti, IRST, Italy
- Kerstin Eder, University of Bristol, UK
- Bernd Finkbeiner, Universit?t des Saarlandes, Germany
- Limor Fix, Intel, USA
- Laurent Fournier, IBM Haifa Labs, Israel
- Orna Grumberg, Technion, Israel
- Aarti Gupta, NEC Labs America, USA
- Klaus Havelund, NASA's Jet Propulsion Laboratory, Columbus Tech.
- Alan Hu, Univ. of British Columbia, Canada
- Warren Hunt, University of Texas, Austin, USA
- Daniel Kroening, ETH Zuerich, Switzerland
- Tsvi Kuflik, University of Haifa, Israel
- Orna Kupferman, Hebrew University, Israel
- Mark Last, Ben-Gurion University of the Negev, Israel
- Joao Lourenco, Universidade Nova de Lisboa, Portugal
- Sharad Malik, Princeton University, USA
- Erich Marschner, Cadence, USA
- Ken McMillan, Cadence, USA
- Amos Noy, Cadence, USA
- Viresh Paruthi, IBM Austin, USA
- Carl Pixley, Synopsys, USA
- Andrew Piziali, USA
- Wolfgang Roesner, IBM Austin, USA
- Padmanabhan (Peter) Santhanam, IBM Hawthorne, USA
- Fabio Somenzi, University of Colorado, USA
- Scott D. Stoller, Stony Brook University, USA
- Ofer Strichman, Technion, Israel
- Paul Strooper, University of Queensland, Australia
- Serdar Tasiran, Koc University, Turkey
- Shmuel Ur, IBM Haifa Labs, Israel
- Willem Visser, SEVEN Networks, USA
- Tao Xie, North Carolina State University, USA
- Karen Yorav, IBM Haifa Research Lab, Israel (chair)
- Avi Ziv, IBM Haifa Research Labs, Israel
| |
|