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 | |
| 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 |