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