|
|
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 automated reasoning.
Workshop Program:
April 12, 2019:
- 9:00-11:00: Laura Kovács, TU Wien:
- Logic and Reasoning at TU Wien (InformatikHS)
- 12:00-13:00: Proof Certification (HG 03 15)
- 13:00-14:00: Synthesis (HG 03 15)
- 14:00-15:00: Nikolaj Bjørner, Microsoft Research
- PolySAT - Word-level solving in Z3 (HG 03 15)
- 15:00-16:00: Algebraic Reasoning about Loops (HG 03 15)
April 15, 2019:
- 9:00-10:00: WG on CryptoVampire (HG 03 15)
- 10:00-12:00 WG on User Propagation (HG 03 15)
- 13:00-15:00: WG on PolySAT (HG 03 15)
April 16, 2019:
- 9:00-11:00: Nikolaj Bjørner, Microsoft Research:
- PolySAT, Bitblasting, Lemma Exploration (HG 03 15)
- 11:00-12:00: Automated Reasoning at AWS and TU Wien (Office of the Dean/Dekanat)
- 12:30-15:00: FORSYTE/APRe Meeting on Game-Theoretic Security (FAV HS3, Zemanek)
- 19:00-22:00: Faculty Event and Dinner (Restaurant La No)
April 17, 2019:
- 11:00-12:45: Byron Cook, Amazon Web Services (AWS):
- The Business of Proofs (InformatikHS)
- 13:00-15:00: Paolo di Francesco, Amazon Web Services (AWS):
- Generative AI at AWS (FAV HS2)
- 15:00-17:00: AWS/TU Wien project meeting (SR Menger)
- 19:30-22:00: Faculty Event and Dinner (Sky Bar Steffl)
April 18, 2019:
- 9:00-11:00: Paolo di Francesco, Amazon Web Services (AWS):
- Cloud Computing Practices at AWS (FAV HS2)
- 14:00-21:00: CyberSecurity Center at TU Wien (TU Sky)
April 19, 2019:
- 8:30-10:00: WG on CheckMate (HG 03 15)
- 10-12:00: Abenteuer Informatik (Dekanat)
- 13:00-14:00: Deductive Verification and RAPID (HG 03 15)
|
