PROGRAMME COMMITTEE

Organising Committee


Dominique Méry		Université Henri Poincaré & IUF, LORIA, France  (CoChair)
Beverly Sanders		University of Florida, USA

Program Committee  

Flemming Andersen	Tele Danmark R&D, Denmark
Mani Chandy 		Caltech, USA  
Radhia Cousot		LIX-CNRS, Ecole Polytechnique, France
Pascal Gribomont	Institut MONTEFIORE, Universite de LIEGE,  Belgium  
Dominique Mery		Université Henri Poincaré & IUF, LORIA, France  (CoChair)
Lawrence Paulson	Computer Laboratory, Cambridge University, UK 
Xu Qiwen		International Institute for Software Technology,United Nations University, Macau  
Catalin Roman		Department of Computer Science, Washington University,  USA 
Beverly Sanders		Department of Computer & Information Science & Engineering,University of Florida (CoChair), USA 
Ambuj Singh		Dept of Computer Science,University of California at Santa Barbara, USA