Automated Specification and Verification of Web Systems
10th International Workshop
July 18th, Vienna, Austria
a FLoC workshop @ Vienna Summer of Logic 2014
|
|
Automated Specification and Verification of Web Systems10th International Workshop July 18th, Vienna, Austriaa FLoC workshop @ Vienna Summer of Logic 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 |