|
November 13 - 16, 2005
Organized by IBM Research Lab in Haifa, Israel
Program Chair
Shmuel Ur, IBM Haifa Labs, Israel (ur@il.ibm.com)
Verification Track Chair
Avi Ziv, IBM Haifa Labs, Israel (aziv@il.ibm.com)
Software Testing Track Chair
Eitan Farchi, IBM Haifa Labs, Israel (farchi@il.ibm.com)
PADTAD Chair
Shmuel Ur, IBM Haifa Labs, Israel (ur@il.ibm.com)
Proceeding Chair
Tsvi Kuflik, University of Haifa, Israel (tsvikak@mis.hevra.haifa.ac.il)
Local Arrangements Chair
Yaniv Eytani, University of Haifa, Israel (ieytani@cslx.haifa.ac.il)
Program Committee
- Jose Nelson Amaral, University of Alberta, Canada (amaral@cs.ualberta.ca)
- Yosi Ben-Asher, University of Haifa, Israel (yosi@cs.haifa.ac.il)
- Valeria Bertachio, Department of Electrical Engineering and Computer Science, University of Michigan (valeria@unich.edu)
- Angelos Bilas, University of Toronto, Canada (bilas@eecg.toronto.edu)
- Eyal Bin, IBM Haifa Labs, Israel (bin@il.ibm.com)
- Roderick Bloem, Graz University of Technology (Roderick.Bloem@ist.TUGratz.at)
- Alessandro Cimatti, IRST - Istituto per la Ricerca Scientifica e Tecnologica, Italy (cimatti@itc.it)
- Giorgio Delzanno, Universita di Genova, Italy (giorgio@disi.unige.it)
- Jong-Deok Choi, IBM Research, U.S.A. (jdchoi@us.ibm.com)
- Jack Dongarra, University of Tennessee, U.S.A. (dongarra@cs.utk.edu)
- Orit Edelstein, IBM Haifa Labs, Israel (edelstein@il.ibm.com)
- Eitan Farchi, IBM Haifa Labs, Israel (farchi@il.ibm.com)
- Mike Feeley, University of British Columbia, Canada (feeley@cs.ubc.ca)
- Bernd Finkbeiner, Universit�t des Saarlandes , Germany (finkbeiner@cs.uni-sb.de)
- Cormac Flanagan, University of California, Santa Cruz (cormac@cs.ucsc.edu)
- Ian Harris, University of California, Irvine (harris@ics.uci.edu)
- Alan Hartman, IBM Haifa Labs, Israel (hartman@il.ibm.com)
- Warren Hunt, The University of Texas, Austin (hunt@cs.utexas.edu)
- Abraham Kandel, University of South Florida, U.S.A (kandel@cse.usf.edu)
- Tsvi Kuflik, University of Haifa, Israel (tsvikak@mis.hevra.haifa.ac.il)
- Mark Last, Ben Gurion University, Israel (mlast@bgumail.bgu.ac.il)
- Mauro Pezze, Universita degli Studi di Milano, Bicocca (pezze@disco.unimib.it)
- Daniel J. Quinlan, Lawrence Livermore National Labratories, U.S.A (dquinlan@llnl.gov)
- Grigore Rosu, University of Illinois at Urbana-Champaign, U.S.A (http://cs.uiuc.edu/grosu)
- Simon Rushton, IBM England (RUSHTON@uk.ibm.com)
- Frank Scholz, IBM, Germany (FSCHOLZ@de.ibm.com)
- Assaf Schuster, Technion Institute, Haifa, Israel (assaf@cs.technion.ac.il)
- Scott Stoller, SUNY Stony Brook, U.S.A (stoller@cs.sunysb.edu)
- Ofer Strichman, Technion, Israel (ofers@ie.technion.ac.il)
- Paul Strooper, University of Queensland, Australia (pstroop@itee.uq.edu.au)
- Serdar Tasiran, Ko� University, Turkey (stasiran@ku.edu.tr)
- Willem Visser, NASA, U.S.A (wvisser@email.arc.nasa.gov)
- Yaron Wolfsthal, IBM Haifa Labs, Israel (wolfstal@il.ibm.com)
- Tao Xie, North Carolina State University, U.S.A (taoxie@acm.org)
- Avi Ziv, IBM Haifa Labs, Israel (aziv@il.ibm.com)
| |
|
