WWV 2014 - 10th International Workshop on Automated Specification and Verification of Web Systems
Date2014-07-09 - 2014-07-23
Deadline2014-03-10
VenueVienna, 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)
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)
Other CFPs
- International Congress on Industrial Electronics 2014
- 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”
- 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
- 10th International Workshop on Developments in Computational Models
- International Congress on Security Protocols 2014
Last modified: 2014-01-19 15:12:34