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

Workshop on "TICAMORE - Translating and Discovering Calculi for Modal and Related Logics" (external website )
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)

GROW 2019 - Workshop on Graph Classes, Optimization, and Width Parameters (external website )
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)

The 7th European Set Theory Conference (external website )
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)

Talks in the framework of this thematic program... (by date) , (by name)

Visitors

Ahn, Jungho			23. Sep 2019-26. Sep 2019	local address
Aschieri, Federico		Local	11. Nov 2019-13. Nov 2019	local address
Baaz, Matthias		Local	11. Nov 2019-13. Nov 2019	local address
Baumann, Ringo			27. Nov 2019-29. Nov 2019	local address
Bhore, Sujoy		Local	23. Sep 2019-26. Sep 2019	local address
Brandstaedt, Andreas			23. Sep 2019-26. Sep 2019	local address
Cao, Yixin			23. Sep 2019-26. Sep 2019	local address
Chaplick, Steven			23. Sep 2019-26. Sep 2019	local address
Corneil, Derek			23. Sep 2019-26. Sep 2019	local address
Corneil, Barbara			23. Sep 2019-26. Sep 2019	local address
Dalmonte, Tiziano		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Dzamonja, Mirna			1. Jul 2019-6. Jul 2019	local address
Galmiche , Didier		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Governatori, Guido		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Grohe, Martin			22. Sep 2019-25. Sep 2019	local address
Gulisano , Francesca		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Hamm, Thekla		Local	23. Sep 2019-26. Sep 2019	local address
Komander, Dominique			23. Sep 2019-26. Sep 2019	local address
Kral, Dan			23. Sep 2019-26. Sep 2019	local address
Kuznets, Roman		Local	11. Nov 2019-13. Nov 2019	local address
Lang , Timo		Local	11. Nov 2019-13. Nov 2019	local address
Larchey-Wendling, Dominique		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Lee, Duksang			23. Sep 2019-26. Sep 2019	local address
Lellmann , Björn		Local	11. Nov 2019-13. Nov 2019	local address
Li, Guangping			23. Sep 2019-26. Sep 2019	local address
Liu, Chun-Hung			23. Sep 2019-26. Sep 2019	local address
Lyon , Tim		Local	11. Nov 2019-13. Nov 2019	local address
Malliaris, Maryanthe			4. Jul 2019-6. Jul 2019	local address
Mery, Daniel		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Mitsou, Valia			23. Sep 2019-26. Sep 2019	local address
Mouatadid, Lalla			23. Sep 2019-26. Sep 2019	local address
Negri, Sara		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Nöllenburg, Martin			23. Sep 2019-26. Sep 2019	local address
Olivetti , Nicola		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Ordyniak, Sebastian			23. Sep 2019-26. Sep 2019	local address
Oum, Sang-il			23. Sep 2019-26. Sep 2019	local address
Parfullkumar, Tale			9. Nov 2019-16. Nov 2019	local address
Pequignot, Yann			1. Jul 2019-8. Jul 2019	local address
Ramanayake, Revantha		Local	11. Nov 2019-13. Nov 2019	local address
Santocanale , Luigi		100% Co-Funding	11. Nov 2019-13. Nov 2019	local address
Schaub, Thorsten			12. Dec 2019-15. Dec 2019	local address
Sinapova, Dima			30. Jun 2019-6. Jul 2019	local address
Uno, Yushi			23. Sep 2019-26. Sep 2019	local address
Van Berkel, Kees		Local	11. Nov 2019-13. Nov 2019	local address
Zehavi, Meirav			23. Sep 2019-26. Sep 2019	local address

PreDocs

Carranza Cisneros, Angeles			1. Oct 2019-31. Oct 2019	local address
Korchemna, Viktoriia			1. Oct 2019-30. Jun 2020	local address