CyPhy'14
Proceedings will be published with the ACM, and will appear in the ACM Digital Library.
ORGANIZATION
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
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 Karasai, Vanderbilt University
Heinz Koeppl, ETH Zurich
Ralf Lämmel (Program Co-Chair), University of Koblenz-Landau
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
Domitilla Del Vecchio, MIT
Walid Taha (Program Co-Chair), Halmstad University and Rice University
Publicity Chairs:
Roland Philippsen, Halmstad University
Abd-Elhamid Taha, Al-Faisal University
Secretary:
Atiyah Elsheikh, Austrian Institute of Technology
Advisory Committee:
Manfred Broy, Technische Universität München
Karl Iagnemma, MIT
Karl Henrik Johansson, Royal Institute of Technology
Insup Lee, University of Pennsylvania
Pieter Mosterman, McGill University
Janos Sztipanovits, Vanderbilt University