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)

Visitors

Bjorner, Nikolaj			11. Apr 2024-18. Apr 2024
Callegaro, Martina			17. Dec 2023-19. Dec 2023
Cook, Byron			11. Apr 2024-19. Apr 2024
Di Francesco, Pablo			11. Apr 2024-19. Apr 2024
Kachi, Sylvester			11. Apr 2024-19. Apr 2024
Sinapova, Dima			23. Jun 2024-28. Jun 2024
Voronkov, Andrei			11. Apr 2024-19. Apr 2024

PostDocs

Tesi, Matteo

1. Nov 2023-31. Dec 2023

PreDocs

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