Computer Science and Logic (2023/2024)

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

Workshop on "SMT Reasoning for distributed systems" (external website )
Location: TU Wien Time: 11. Apr 2024 (Thu) - 19. Apr 2024 (Fri)
Organisation(s) FOR(SYTE) @ TU Wien WPI Organiser(s) Laura Kovacs (WPI c/o TU Wien) Beatrix Buhl (TU Wien)

MOSAIC workshop (external website )
Location: Campus Gußhaus building, Gußhausstraße 25 Wien Time: 27. Sep 2023 (Wed) - 29. Sep 2023 (Fri)
Organisation(s) TU Wien WPI Organiser(s) Agata Ciabattoni (WPI c/o TU Wien)

Visitors

Bjorner, Nikolaj			11. Apr 2024-18. Apr 2024
Callegaro, Martina			17. Dec 2023-19. Dec 2023
Cook, Byron			11. Apr 2024-19. Apr 2024
Di Francesco, Pablo			11. Apr 2024-19. Apr 2024
Kachi, Sylvester			11. Apr 2024-19. Apr 2024
Voronkov, Andrei			11. Apr 2024-19. Apr 2024

PostDocs

Tesi, Matteo

1. Nov 2023-31. Dec 2023

PreDocs

Hader, Thomas

16. Oct 2023-15. Mar 2024