Automated Specification and Verification of Web Systems

10th International Workshop

July 18th, Vienna, Austria

a FLoC workshop @ Vienna Summer of Logic 2014

WWV 2014 | Call for papers (txt, pdf) | Important dates | Invited speakers | Steering Committee | Submission | Program | Registration | Venue and travel | VSL 2014


Maria Alpuente Technical University of Valencia, Spain
Maurice ter Beek ISTI-CNR, Pisa, Italy (co-chair)
David Benavides University of Seville, Spain
Mario Bravetti University of Bologna, Italy
Sylvain Hallé Université du Québec à Chicoutimi, Canada
Raymond Hu Imperial College London, United Kingdom
Atsushi Igarashi Kyoto University, Japan
Laura Kovacs Vienna University of Technology, Austria
Ana Almeida Matos Instituto Superior Tecnico de Lisboa, Portugal
Anders Møller Aarhus University, Denmark
António Ravara New University of Lisbon, Portugal (co-chair)
Gwen Salaün Inria Rhône-Alpes, Grenoble, France
Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy
Emilio Tuosto University of Leicester, United Kingdom
Erik de Vink Eindhoven University of Technology, The Netherlands