Logic and Informatics (2024/2025)
Organizers: Agata Ciabattoni (WPI c/o TU Wien), Vera Fischer (WPI c/o U. Wien),
Laura Kovacs (WPI c/o TU Wien), Sandra Müller (WPI c/o TU Wien)
Events
|
|
|
Location: TU Wien (Prechtlsaal)
|
|
Time: 28. Feb 2025 (Fri) - 28. Feb 2025 (Fri); Opening: 9:00
|
|
Topics:
Kickoff-Event for "Radical Symposium" exhibition at Kunsthalle Wien
|
Organisation(s)
Kunsthalle Wien
TU Wien
WPI |
Organiser(s)
Laura Kovács (WPI c/o U.Wien) |
|
|
|
Location: Arnold Schmidt Room (ehem. Kontaktraum)
6th floor Gußhausstraße 27-29, 1040 Wien
|
|
Time: 18. Dec 2024 (Wed) - 18. Dec 2024 (Wed); Opening: 14:45
|
|
Topics:
Welcome from VCLA and WPI:
Agata Ciabattoni & Stefan Szeider (VCLA Co-Chairs)
Norbert J. Mauser (WPI Director)
Welcome from TU Wien Rectorate:
Jasmin Gründling-Riener (Vice Rector of Academic Affairs)
Presentation of the Stipend Recipients:
Tatiana Beliaeva
Esther Mugdan
Ivana Bocevska
Raquel Panadero Palenzuela
Talk: “Computer Science as the Continuation of Logic by other Means”:
Georg Gottlob (WPI President c/o U. Calabria & TU Wien)
Drinks and Sandwiches
|
Organisation(s)
VCLA
WPI
Fak. Informatik TU Wien |
Organiser(s)
Agata Ciabattoni (WPI c/o VCLA TU Wien)
Andrea Hackl (VCLA TU Wien)
Norbert J Mauser (WPI c/o U.Wien) |
|
Remark: Click here for further information
| |
|
|
|
Location: TU Wien
|
|
Time: 25. Sep 2024 (Wed) - 27. Sep 2024 (Fri)
|
|
Organisation(s)
TU Wien
WPI |
Organiser(s)
Laura Kovacs (WPI c/o TU Wien)
Ana Sokolova (Univ. Salzburg) |
|
|
|
|
Location: TU Wien, FAV Hörsaal 1, Favoritenstraße 9-11, 1040 Wien
|
|
Time: 6. Jul 2024 (Sat) - 7. Jul 2024 (Sun); Opening: 9:30
|
|
Topics:
Hyperproperties are a general framework to reason about properties requiring comparing multiple system executions, like security properties or robustness requirements. In this workshop, we want to bring together practitioners from different backgrounds with theoreticians developing frameworks for specifying hyperproperties.
This workshop will focus on the recent developments in hyperproperties verification over systems in which executions are not aligned, called asynchronous hyperproperties. The workshop format will emphasise open discussions and promote the interchange of ideas between different communities.
|
Organisation(s)
ISTA
TU Wien
WPI |
Organiser(s)
Ana Oliveira da Costa (ISTA)
Thomas Henzinger (ISTA)
Laura Kovács (WPI c/o TU Wien)
César Sánchez (IMDEA, Spain)
Borzoo Bonakdarpour (MSU, USA)
|
|
Talks in the framework of this thematic program... (by date)
, (by name)
Visitors
| Beaumont, Sarah |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Bella Geiger, Anna |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Bielz, Gudrun |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Borchardt, Inge |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Bulloch, Angela |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Devos, Danny |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Fahrtmann, Clarisse |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Fischer, Manuel |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Geiger, Glenn |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Geiger, Lew |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Geiger Cole, Nina |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Gietl, Corinna |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Gietl-Pattinson, Simone |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Gonzales-Foerster, Dominique |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Heitbrink, Matthias |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Ismailovski, Asija |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Ladik, Katalin |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Magnenat-Thalmann, Nadia |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Muggenburg, Julia |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Pierce, Matthew |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Rosen, Margit |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Roubaud, Sylvia |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Schnell, Ruth |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Sobell, Nina |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Stermitz, Evelin |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Storey, Wolf |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Storey, Grace |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Szász, Barna |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Thalmann, Daniel |
|
|
28. Feb 2025-1. Mar 2025 |
local address
|
| Thiel, Tamiko |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Valyi-Nagy, Zsofi |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
| Van Kerckhoven, Anne-Mie |
|
|
27. Feb 2025-1. Mar 2025 |
local address
|
Pauli-PostDocs
Pauli-Scholars
PreDocs