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 (WPI c/o 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