APRe 2024 Workshop
ERC/WPI Event of APRe
April 11-19, 2024, TU Wien

Automated Program Reasoning Group - APRe

Contact: Laura Kovács
APRe 2024 Workshop
April 11-19, 2024
Favoritenstrasse 9-11, 1040 Vienna

Participants:
  • Martina Bertalanic, TU Wien
  • Nikolaj Bjørner, Microsoft Research
  • Ivana Bocevska, TU Wien,
  • Beatrix Buhl, TU Wien
  • Kevin Bader, Amazon Web Services
  • Byron Cook, Amazon Web Services
  • Robin Coutelier, TU Wien
  • Paolo Di Francesco, Amazon Web Services
  • Clemens Eisenhofer, TU Wien
  • Thomas Hader, TU Wien
  • Marton Hajdu, TU Wien
  • Matthias Hetzenberger, TU Wien
  • Petra Hozzova, TU Wien
  • Sylvester Kachi, Amazon Web Services
  • Daniela Kaufmann, TU Wien
  • Bernhard Kragl, Amazon Web Services
  • Laura Kovács, TU Wien
  • Marcel Moosbrugger, TU Wien
  • Sophie Rain, TU Wien
  • Jakob Rath, TU Wien
  • Michael Rawson, TU Wien
  • Tom Reichenbach, Amazon Web Services
  • Sarah Salliner, TU Wien
  • Johannes Schoisswohl, TU Wien
  • Thorsten Tarrach, Amazon Web Services
  • Eva Maria Wagner, TU Wien