Organizers

Program Co-Chairs
Ralf Laemmel, University of Koblenz-Landau
Walid Taha, Halmstad & Rice Universities

Program Committee
Stanley Bak, Air Force Research Lab
Christian Berger, Chalmers and University of Gothenburg
David Broman, UC Berkeley
Manuela Bujorianu, University of Warwick
Alexandre Chapoutot, ENSTA ParisTech
Domitilla Del Vecchio, MIT
Alexandre Donzé, UC Berkeley
Atiyah Elsheikh, Austrian Institute of Technology
Claus Führer, Lund University
Holger Giese, University of Potsdam
Jeff Gray, University of Alabama
Daisuke Ishii, National Institute of Informatics
Gabor Karsai, Vanderbilt University
Heinz Koeppl, ETH Zurich
Zhiyun Lin, Zhejiang University
Rahul Mangharam, University of Pennsylvania
Radu Marculescu, Carnegie Mellon University
Bud Mishra, New York University
Ahmed Oteafy, Alfaisal University
Enrico Pagello, University of Padua
Roland Philippsen, Halmstad University
Nageswara Rao, Oak Ridge National Laboratory
Maytham Safar, Kuwait University
Christian Schlegel, University of Applied Sciences
Ulrik Schultz, University of Southern Denmark
Sibylle Schupp, Hamburg University of Technology
Serge Stinckwich, University of Caen-Lower Normandy

Publicity Chairs

Roland Philippsen, Halmstad University
Abd-Elhamid Taha, Al-Faisal University