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)

Talks in the framework of this thematic program... (by date) , (by name)

Visitors

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

PostDocs

Tesi, Matteo

1. Nov 2023-31. Dec 2023

local address

PreDocs

Hader, Thomas

16. Oct 2023-15. Mar 2024

local address