Informatics and Logic (2019/2020)
Organizers:
Agata Ciabattoni (WPI c/o TU Wien), Vera Fischer (WPI c/o U. Wien), Laura Kovacs (WPI c/o TU Wien), Stefan Szeider (WPI c/o TU Wien), Stefan Woltran (WPI c/o TU Wien)
Events
|
|
|
Location: WPI, OMP 1, Seminar Room 08.135
|
|
Time: 11. Nov 2019 (Mon) - 13. Nov 2019 (Wed); Opening: 9:30
|
|
Organisation(s)
WPI |
Organiser(s)
Agata Ciabattoni (WPI c/o TU Wien) |
|
|
|
|
Location: Freihaus building of TU Wien Wiedner Hauptstraße 8-10 1040 Wien, Austria
|
|
Time: 23. Sep 2019 (Mon) - 26. Sep 2019 (Thu); Opening: 9:00
|
|
Organisation(s)
TU Wien
WPI |
Organiser(s)
Robert Ganian (TU Wien)
Stefan Szeider (WPI c/o TU Wien) |
|
|
|
|
Location: OMP 1, Sky Lounge (12th floor)
|
|
Time: 1. Jul 2019 (Mon) - 5. Jul 2019 (Fri); Opening: 9:00
|
|
Organisation(s)
WPI
Gödel Center U. Wien |
Organiser(s)
Vera Fischer (WPI c/o U.Wien)
Boban Velickovic (U.Paris 7) |
|
Visitors
| Ahn, Jungho |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Aschieri, Federico |
|
Local
|
11. Nov 2019-13. Nov 2019 |
|
| Baaz, Matthias |
|
Local
|
11. Nov 2019-13. Nov 2019 |
|
| Baumann, Ringo |
|
|
27. Nov 2019-29. Nov 2019 |
|
| Bhore, Sujoy |
|
Local
|
23. Sep 2019-26. Sep 2019 |
|
| Brandstaedt, Andreas |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Cao, Yixin |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Chaplick, Steven |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Corneil, Derek |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Corneil, Barbara |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Dalmonte, Tiziano |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Dzamonja, Mirna |
|
|
1. Jul 2019-6. Jul 2019 |
|
| Galmiche , Didier |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Governatori, Guido |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Grohe, Martin |
|
|
22. Sep 2019-25. Sep 2019 |
|
| Gulisano , Francesca |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Hamm, Thekla |
|
Local
|
23. Sep 2019-26. Sep 2019 |
|
| Komander, Dominique |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Kral, Dan |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Kuznets, Roman |
|
Local
|
11. Nov 2019-13. Nov 2019 |
|
| Lang , Timo |
|
Local
|
11. Nov 2019-13. Nov 2019 |
|
| Larchey-Wendling, Dominique |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Lee, Duksang |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Lellmann , Björn |
|
Local
|
11. Nov 2019-13. Nov 2019 |
|
| Li, Guangping |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Liu, Chun-Hung |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Lyon , Tim |
|
Local
|
11. Nov 2019-13. Nov 2019 |
|
| Malliaris, Maryanthe |
|
|
4. Jul 2019-6. Jul 2019 |
|
| Mery, Daniel |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Mitsou, Valia |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Mouatadid, Lalla |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Negri, Sara |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Nöllenburg, Martin |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Olivetti , Nicola |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Ordyniak, Sebastian |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Oum, Sang-il |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Parfullkumar, Tale |
|
|
9. Nov 2019-16. Nov 2019 |
|
| Pequignot, Yann |
|
|
1. Jul 2019-8. Jul 2019 |
|
| Ramanayake, Revantha |
|
Local
|
11. Nov 2019-13. Nov 2019 |
|
| Santocanale , Luigi |
|
100% Co-Funding
|
11. Nov 2019-13. Nov 2019 |
|
| Schaub, Thorsten |
|
|
12. Dec 2019-15. Dec 2019 |
|
| Sinapova, Dima |
|
|
30. Jun 2019-6. Jul 2019 |
|
| Uno, Yushi |
|
|
23. Sep 2019-26. Sep 2019 |
|
| Van Berkel, Kees |
|
Local
|
11. Nov 2019-13. Nov 2019 |
|
| Zehavi, Meirav |
|
|
23. Sep 2019-26. Sep 2019 |
|
PreDocs