|
October 27-30, 2008
Organized by IBM Haifa Research Lab
Conference Chairs
General Chair
Program Chair
- Alan Hu, University of British Columbia
HVC Award Committee Chair
Organizing Committee
- Sharon Barner, IBM HRL
- Eyal Bin, IBM HRL
- Laurent Fournier, IBM HRL
- Shmuel Ur, IBM HRL
Local organization
- Vered Aharon, IBM HRL
Program committee
- Sharon Barner, IBM HRL, Israel
- Eyal Bin, IBM HRL, Israel
- Roderick Bloem, Graz University of Technology, Austria
- Michael Browne, IBM Poughkeepsie, USA
- Hana Chockler, IBM HRL, Israel
- Jong-Deok Choi, Samsung Electronics, Korea
- Alessandro Cimatti, IRST, Italy
- Kerstin Eder, University of Bristol, UK
- E. Allen Emerson, University of Texas at Austin, USA
- Bernd Finkbeiner, Universitat des Saarlandes, Germany
- Limor Fix, Intel, USA http://www.pittsburgh.intel-research.net/people/fix.html
- Laurent Fournier, IBM HRL, Israel
- Steven M. German, IBM Watson, USA
- Orna Grumberg, Technion, Israel
- Aarti Gupta, NEC Labs America, USA
- Ziyad Hanna, Jasper, USA
- Klaus Havelund, NASA's Jet Propulsion Laboratory, Caltech
- Alan Hu, University of British Columbia, Canada (Program Chair)
- 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
- Sharad Malik, Princeton University, USA
- Erich Marschner, Cadence, USA
- Ken McMillan, Cadence, USA
- Amos Noy, Cadence, USA
- Amit Paradkar, IBM Watson, USA
- Viresh Paruthi, IBM Austin, USA
- Andrew Piziali, USA
- Wolfgang Roesner, IBM Austin, USA
- Fabio Somenzi, University of Colorado, USA
- Scott D. Stoller, Stony Brook University, USA
- Ofer Strichman, Technion, Israel
- Serdar Tasiran, Koc University, Turkey
- Shmuel Ur, IBM HRL, Israel
- Willem Visser, SEVEN Networks, USA
- Tao Xie, North Carolina State University, USA
- Karen Yorav, IBM HRL, Israel
| |
|
