|
October 23 - 26, 2006
Organized by IBM Research Lab in Haifa, Israel
General Chair
Eyal Bin, IBM Haifa Labs, Israel (bin@il.ibm.com)
Verification Track Co-chairs
Laurent Fournier, IBM Haifa Labs, Israel (laurent@il.ibm.com)
Karen Yorav, IBM Haifa Labs, Israel (yorav@il.ibm.com)
Tools Track Co-chairs
Avi Ziv, IBM Haifa Labs, Israel (aziv@il.ibm.com)
Gadiel Auerbach , IBM Haifa Labs, Israel (gadiel@il.ibm.com)
Software Testing Track Chair
Shmuel Ur, IBM Haifa Labs, Israel (ur@il.ibm.com)
PSL tutorial track Chair
Gadiel Auerbach , IBM Haifa Labs, Israel (gadiel@il.ibm.com)
Program Committee
- Aarti Gupta, NEC Labs America (agupta@nec-labs.com)
- Abraham Kandel, University of South Florida, U.S.A (kandel@cse.usf.edu)
- Alessandro Cimatti, IRST - Istituto per la Ricerca Scientifica e Tecnologica, Italy (cimatti@itc.it)
- Amos Noy, Cadence (amos@cadence.com)
- Andrew Piziali, Cadence (andy@cadence.com)
- Assaf Schuster, Technion Institute, Haifa, Israel (assaf@cs.technion.ac.il)
- Avi Ziv, IBM Haifa Labs, Israel (aziv@il.ibm.com)
- Bernd Finkbeiner, Universit�t des Saarlandes , Germany (finkbeiner@cs.uni-sb.de)
- Cindy Eisner, IBM Haifa Labs, Israel (EISNER@il.ibm.com)
- Daniel Kroening, Computer Systems Institute, ETH Zuerich (kroening@handshake.de)
- Dominique Borrione, Laboratoire TIMA, (Dominique.Borrione@imag.fr)
- Eitan Farchi, IBM Haifa Labs, Israel (farchi@il.ibm.com)
- Erich Marschner, Cadence (erichm@cadence.com)
- Eyal Bin, IBM Haifa Labs, Israel (bin@il.ibm.com)
- Fabio Somenzi, University of Colorado (fabio@Colorado.EDU)
- Gadiel Auerbach, IBM Haifa Labs, Israel (GADIEL@il.ibm.com)
- Geert Janssen, IBM Watson (geert@watson.ibm.com)
- Holger Hermanns, Saarland University, Germany (hermann@cs.uni-sb.de)
- IIan Harris, University of California, Irvine (harris@ics.uci.edu)
- Jason Baumgartner, IBM Austin (baumgarj@us.ibm.com)
- Joao Lourenco, University Nova de Lisboa (Joao.Lourenco@di.fct.unl.pt)
- Jong-Deok Choi, IBM Research, U.S.A. (jdchoi@us.ibm.com)
- Karen Yorav, IBM Haifa Labs, Israel (YORAV@il.ibm.com)
- Ken McMillan. Cadence. (mcmillan@cadence.com)
- Kerstin Eder, University of Bristol (eder@cs.bris.ac.uk)
- Klaus Havelund, NASA's Jet Propulsion Labratory (Klaus.Havelund@jpl.nasa.gov)
- Laurent Fournier, IBM Haifa Labs, Israel (LAURENT@il.ibm.com)
- Lyes Benalycherif, STMicroelectronics (Lyes.Benalycherif@st.com)
- Mark Last, Ben Gurion University, Israel (mlast@bgumail.bgu.ac.il)
- Mauro Pezze, Universita degli Studi di Milano, Bicocca (pezze@disco.unimib.it)
- Moshe Levinger, IBM Haifa Labs, Israel (LEVINGER@il.ibm.com)
- Ofer Strichman, Technion, Israel (ofers@ie.technion.ac.il)
- Orit Edelstein, IBM Haifa Labs, Israel (edelstein@il.ibm.com)
- Orna Kupferman, Hebrew University, Israel (orna@cs.huji.ac.il)
- Pablo P. Sanchez, University of Cantabria (sanchez@teisa.unican.es)
- Paul Strooper, University of Queensland, Australia (pstroop@itee.uq.edu.au)
- Roderick Bloem, Graz University of Technology (Roderick.Bloem@ist.TUGratz.at)
- Scott Stoller, SUNY Stony Brook, U.S.A (stoller@cs.sunysb.edu)
- Serdar Tasiran, Ko� University, Turkey (stasiran@ku.edu.tr)
- Sharad Malik, Princeton University (sharad@princeton.edu)
- Shmuel Ur, IBM Haifa Labs, Israel (UR@il.ibm.com)
- Tao Xie, North Carolina State University, U.S.A (taoxie@acm.org)
- Tsvi Kuflik, University of Haifa, Israel (tsvikak@mis.hevra.haifa.ac.il)
- Warren Hunt, University of Texas, Austin (hunt@cs.utexas.edu)
- Willem Visser, NASA, U.S.A (wvisser@email.arc.nasa.gov)
- Wolfgang Roesner, IBM Austin, Tx (wolfgang@us.ibm.com)
- Yaron Wolfsthal, IBM Haifa Labs, Israel (wolfstal@il.ibm.com)
- Ziyad Hanna, Intel Israel, (ziyad.hanna@intel.com)
| |
Proceedings publication: Springer Lecture Notes in Computer Science
|
