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 | Program Committee | Submission | Program | Registration | Venue and travel | VSL 2014


Maria Alpuente Technical University of Valencia, Spain (co-chair)
Demis Ballis University of Udine, Italy
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy (co-chair)
Laura Kovacs Vienna University of Technology, Austria
Temur Kutsia Johannes Kepler University Linz, Austria
Massimo Marchiori University of Padova, Italy
Rosario Pugliese University of Florence, Italy
Antonio Ravara New University of Lisbon, Portugal
Josep Silva Technical University of Valencia, Spain
Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy