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

Vienna Inner Model Theory 2024 - Determinacy, Inner Models and Forcing Axioms (external website )
Location: ESI Boltzmann Lecture Hall Time: 24. Jun 2024 (Mon) - 28. Jun 2024 (Fri)
Organisation(s) TU Wien WPI Organiser(s) Sandra Müller (TU Vienna) Grigor Sargsyan (Polish Academy of Science, Warsaw) Ralf Schindler (WWU Münster) John Steel (UC, Berkeley)

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-18. 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
Sinapova, Dima			23. Jun 2024-28. Jun 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

Bosevska, Ivana			1. Apr 2024-30. Jun 2024	local address
Hader, Thomas			16. Oct 2023-15. Mar 2024	local address
Mugdan, Esther			1. Jan 2024-30. Jun 2024	local address
Panadero, Raquel			1. Jan 2024-30. Jun 2024	local address