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

Andretta, Alessandro			24. Jun 2024-28. Jun 2024	local address
Aspero, David			24. Jun 2024-28. Jun 2024	local address
Bjorner, Nikolaj			11. Apr 2024-18. Apr 2024	local address
Callegaro, Martina			17. Dec 2023-19. Dec 2023	local address
Chan, William			24. Jun 2024-28. Jun 2024	local address
Cody, Sean			24. Jun 2024-28. Jun 2024	local address
Cook, Byron			11. Apr 2024-19. Apr 2024	local address
Cummings, James			24. Jun 2024-28. Jun 2024	local address
Di Francesco, Pablo			11. Apr 2024-19. Apr 2024	local address
Fatalini, Azul			24. Jun 2024-28. Jun 2024	local address
Fuchs, Gunter			24. Jun 2024-28. Jun 2024	local address
Goldberg , Gabriel			24. Jun 2024-28. Jun 2024	local address
Hoffelner, Stefan			24. Jun 2024-28. Jun 2024	local address
Ikegami, Daisuke			24. Jun 2024-28. Jun 2024	local address
Iosub, Daniel			24. Jun 2024-28. Jun 2024	local address
Kachi, Sylvester			11. Apr 2024-19. Apr 2024	local address
Kennedy, Juliette			24. Jun 2024-28. Jun 2024	local address
Kostrzon, Jan			24. Jun 2024-28. Jun 2024	local address
Levinson, Derek			24. Jun 2024-28. Jun 2024	local address
Lücke, Peter			24. Jun 2024-28. Jun 2024	local address
Magidor, Menachem			24. Jun 2024-28. Jun 2024	local address
Meadows, Toby			24. Jun 2024-28. Jun 2024	local address
Pozzan, Elena			24. Jun 2024-28. Jun 2024	local address
Saarinen, Tapio			24. Jun 2024-28. Jun 2024	local address
Santiago-Suarez, Juan			24. Jun 2024-28. Jun 2024	local address
Schütz, Robert			24. Jun 2024-28. Jun 2024	local address
Shi, Xianghui			24. Jun 2024-28. Jun 2024	local address
Sinapova, Dima			23. Jun 2024-28. Jun 2024	local address
Sinapova, Dima			24. Jun 2024-28. Jun 2024	local address
Straffelini, Cesare			24. Jun 2024-28. Jun 2024	local address
Trang, Nam			24. Jun 2024-28. Jun 2024	local address
Viale, Matteo			24. Jun 2024-28. Jun 2024	local address
Voronkov, Andrei			11. Apr 2024-19. Apr 2024	local address
Wcislo, Bartosz			24. Jun 2024-28. Jun 2024	local address
Welch, Philip			24. Jun 2024-28. Jun 2024	local address
Woodin, Hugh			24. Jun 2024-28. Jun 2024	local address
Yasuda, Taichi			24. Jun 2024-28. Jun 2024	local address
Zeman, Martin			24. Jun 2024-28. Jun 2024	local address
Zhang, Jiaming			24. Jun 2024-28. Jun 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