layout | title | date | categories |
---|---|---|---|
single |
Organization |
2019-08-21 23:59:59 +0200 |
org |
| --------------------- |:--------------------------------:|:-------------------------| | Program Co-chairs | Igor Konnov | Informal Systems, Austria | | | Laura Kovacs | TU Wien, Austria | | Workshop Chair | Florian Zuleger | TU Wien, Austria| | Student volunteers | Márton Hajdú | TU Wien, Austria | | | Petra Hozzová | TU Wien, Austria | | | Jure Kukovec | TU Wien, Austria | | | Marcel Moosbrugger | TU Wien, Austria | | | Miroslav Stankovic | TU Wien, Austria | | Webmaster | Thanh-Hai Tran | TU Wien, Austria |
- Alessandro Abate, University of Oxford
- Elvira Albert, Universidad Complutense de Madrid
- Giovanni Bacci, Aalborg University
- Filippo Bonchi, University of Pisa
- Patricia Bouyer, CNRS
- Yu-Fang Chen, Academia Sinica
- Veronique Cortier, CNRS, Loria
- Pedro R. D'Argenio, Universidad Nacional de Córdoba – CONICET
- Michael Emmi, Amazon Web Services
- Bernd Finkbeiner, Saarland University
- Silvio Ghilardi, Università degli Studi di Milano
- Roberto Giacobazzi, University of Verona
- Rob van Glabbeek, Data61 – CSIRO
- Amir Kafshdar Goharshady (IST)
- Alberto Griggio, Fondazione Bruno Kessler
- Ichiro Hasuo, National Institute of Informatics
- Sophia Knight, University of Minnesota
- Benjamin Lucien Kaminski (UCL)
- Igor Konnov, INRIA Nancy (LORIA)
- Laura Kovacs, TU Wien
- Antonin Kucera, Masaryk University
- Marijana Lazic, TU Munich
- Karoliina Lehtinen, University of Liverpool
- Kuldeep S. Meel, National University of Singapore
- Jan Otop, University of Wrocław
- Joel Ouaknine, Max Planck Institute for Software Systems (MPI-SWS)
- Jorge A. Pérez, University of Groningen
- Tatjana Petrov, University of Konstanz
- Nir Piterman, University of Gothenburg
- Giselle Reis, Carnegie Mellon University
- Philipp Ruemmer, Uppsala University
- Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg
- Alexandra Silva, University College London
- Ana Sokolova, University of Salzburg
- Jun Sun, Singapore Management University
- Max Tschaikowski, Aalborg University
- Valeria Vignudelli, CNRS/ENS Lyon
- Yakir Vizel, The Technion
- Nobuko Yoshida, Imperial College London
- Lijun Zhang, Institute of Software, Chinese Academy of Sciences
- Javier Esparza, TU München, Germany, chair
- Pedro D’Argenio, National University of Cordoba, Argentina
- Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
- Joost-Pieter Katoen, Joost-Pieter Katoen, RWTH, Germany
- Catuscia Palamidessi, INRIA and Ecole Polytechnique, France
- Davide Sangiorgi, University of Bologna, Italy
- Jiri Srba, Aalborg University, Denmark