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