Participants

 

 Aichernig, Bernhard  TU Graz
 Arming, Sebastian  University of Salzburg
 Avni, Guy  IST Austria
 Bartocci, Ezio  TU Wien
 Biere, Armin  Johannes Kepler University Linz
 Biewer, Sebastian  Saarland University
 Bloem, Roderick  Graz University of Technology
 Ebrahimi, Masoud  TU Graz
 Egly, Uwe  TU Wien
 Elgyütt, Adrian  IST Austria
 Fazekas, Katalin  Johannes Kepler University Linz
 García Soto, Miriam  IST Austria
 Gossen, Frederik  TU Dortmund
 Grosu, Radu  TU Wien
 Havlena, Vojtech  Faculty of Information Technology, Brno University of  Technology
 Heisinger, Max  Johannes Kepler University Linz
 Henzinger, Thomas  IST Austria
 Iusupov, Rinat  TU Graz
 Jacobs, Swen  CISPA
 Kafshdar Goharshady, Amir  IST Austria (Institute of Science and Technology Austria)
 Karl, Anja  Graz University of Technology
 Katelaan, Jens  TU Wien
 Kirsch, Christoph  Universität Salzburg
 Könighofer, Bettina  TU Graz
 Konnov, Igor  INRIA Nancy
 Kragl, Bernhard  IST Austria
 Kukovec, Jure  TU Wien
 Lachhab, Ouafae  University of Salzburg
 Lazic, Marijana  TU Wien
 Lengal, Ondrej  Brno University of Technology
 Loitzenbauer, Veronika  JKU Linz
 Lukina, Anna  TU Wien
 Malik, Viktor  Faculty of Information Technology, Brno University of Technology
 Matyas, Jiri  Faculty of Information Technology, Brno University of Technology
 Meggendorfer, Tobias  Technical University of Munich
 Möhle, Sibylle  Johannes Kepler University Linz
 Müller, Christian  Technische Universität München – Institut für Informatik I7
 Murtovi, Alnis  TU Dortmund
 Németh, Dávid János  Eötvös Loránd University, Budapest, Hungary
 Nenzi, Laura  TU Wien
 Pani, Thomas  TU Wien
 Ritirc, Daniela  Johannes Kepler University Linz
 Sakr, Mouhammad  CISPA
 Salamiabyaneh, Alireza  University of Salzburg
 Scholl, Christoph  University Freiburg
 Schumi, Richard  Institute of Software Technology (IST)
 Seidl, Martina  JKU Linz
 Seufert, Tobias  University of Freiburg
 Sokolova, Ana  University of Salzburg
 Stankovic, Miroslav  TU Wien
 Steffen, Bernhard  TU Dortmund
 Stoilkovska, Ilina  TU Wien
 Strejček, Jan  Masaryk University
 Tappler, Martin  Graz University of Technology
 Tian, Chun  Fondazione Bruno Kessler
 Tóth, Gabriella  Eötvös Loránd University, Faculty of Informatics
 Van Dijk, Tom  Formal Models and Verification, Johannes Kepler Universität Linz
 Weissenbacher, Georg  TU Wien
 Widder, Josef  TU Wien
 Zuleger, Florian  TU Wien
 Zweihoff, Philip  TU Dortmund