ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

WWV 2014 - 10th International Workshop on Automated Specification and Verification of Web Systems

Date2014-07-09 - 2014-07-23

Deadline2014-03-10

VenueVienna, Austria Austria

Keywords

Websitehttps://vsl2014.at/floc-ws

Topics/Call fo Papers

The program committee of WWV 2014 is shown below.
Ana Almeida Matos (IST Lisbon)
María Alpuente (UPV)
David Benavides (University of Seville)
Mario Bravetti (University of Bologna)
Erik De Vink (Technische Universiteit Eindhoven)
Sylvain Hallé (Université du Québec à Chicoutimi)
Raymond Hu (Imperial College London)
Atsushi Igarashi (Graduate School of Informatics, Kyoto University)
Laura Kovacs (Chalmers University of Technology)
Anders Møller (Aarhus University)
António Ravara (Departmento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - chair
Gwen Salaün (Grenoble INP - INRIA - LIG)
Maurice Ter Beek (Istituto di Scienza e Tecnologie dell'Informazione, CNR) - chair
Francesco Tiezzi (IMT, Institute for Advanced Studies Lucca)
Emilio Tuosto (University of Leicester)

Last modified: 2014-01-19 15:12:34