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