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

Aim:
The workshop serves as working and collaborating meeting of the  Automated Program Reasoning - APRe group of FORSYTE  with industrial partners.

The event will bring together the APRe group members and its key industrial collaborators. The event hosts invited talks by invited industrial researchers and consists of a series of small working group meetings on automaated reasoning. 

Workshop Program (still under construction):

April 11, 2019: 

  • 9:00-11:00: Laura Kovács, TU Wien:
    • Logic and Reasoning at TU Wien (InformatikHS)
  • 13:00-15:00: Nikolaj Bjørner, Microsoft Research:
    • PolySAT - Word-level solving in Z3 (SR Menger)

April 15, 2019: 

  • 9:00-11:00: WG on CryptoVampire (SR Menger)
  • 13:00-17:00: WG on PolySAT (SR Menger)

April 16, 2019: 

  • 9:00-11:00: WG on Higher-Order Vampire (SR Menger)
  • 13:00-16:00: Andrei Voronkov, EasyChair and U. Manchester:
    • Code Trees and Vampire (SR Menger)

April 17, 2019: 

  • 11:00-11:45: Byron Cook, Amazon Web Services (AWS):
    • Logic and Reasoning at AWS (InformatikHS)
  • 13:00-15:00: Trends in Cloud Computing at AWS (FAV HS2)
  • 15:00-18:00: WG on String Solving (SR Menger)

April 18, 2019: 

  • 9:00-11:00: Practical Trends and in Cloud Computing at AWS (FAV HS2)
  • 11:00-13:00: WG on Code Synthesis (SR Menger)
  • 14:00-18:00: CyberSecurity Center at TU Wien (TU Sky)

April 19, 2019: 

  • 9:00-11:00: Logic and Reasoning at TU Wien (InformatikHS
  • 11:00-14:00: WG on Vampire, Z3 and APRe (SR Menger)