APRe 2019 Workshop

APRe 2019 Workshop

ERC/Wallenberg Event of APRe

November 5-6, 2019, TU Wien

Automated Program Reasoning Group - APRe

Formal Methods in Systems Engineering - FORSYTE

Faculty of Informatics
Vienna University of Technology

Contact: Laura Kovács

APRe 2019 Workshop

Participants:

Gilles Barthe, Max Planck Institute for Security and Privacy, Bochum
Nikolaj Bjørner, Microsoft Research
Beatrix Buhl, TU Wien
Byron Cook, Amazon Web Services
Renate Eilers, TU Wien
Benjamin Farinier, TU Wien
Pamina Georgiou, TU Wien
Bernhard Gleiss, TU Wien
Ilya Grishchenko, TU Wien
Tom René Hennig, TU Wien and TU Dresden
Matthias Hetzenberger, TU Wien
Christoph Hochrainer, TU Wien
Petra Hozzova, TU Wien
Andreas Humenberger, TU Wien
Igor Konnov, TU Wien
Laura Kovács, TU Wien
Hanna Lachnitt, TU Wien
Alexander Nutz, Certora and U. Freiburg
Marcel Moosbrugger, TU Wien
Sophie Rain, TU Wien
Jakob Rath, TU Wien
Giles Reger, U. Manchester
Mooly Sagiv, Certora and Tel Aviv University
Matteo Maffei, TU Wien
Markus Scherer, TU Wien
Lena Schnedlitz, TU Wien
Clara Schneidewind, TU Wien
Johannes Schoisswohl, TU Wien
Martin Suda, CTU/CIIRC, Prague
Andrei Voronkov, EasyChair and U. Manchester