Efficient Solution Methods for Hard Problems (2016/2017)

Organizers: Agata Ciabattoni (WPI c/o TU Wien), Thomas Eiter (WPI c/o TU Wien), Georg Gottlob (WPI c/o TU Wien), Laura Kovacs (WPI c/o TU Wien), Reinhard Pichler (WPI c/o TU Wien), Stefan Szeider (WPI c/o TU Wien), Stefan Woltran (WPI c/o TU Wien)

Events

Kick-off Meeting for Project TICAMORE (external website )
Location: WPI, OMP 1, Seminar Room 08.135 Time: 14. Mar 2017 (Tue) - 16. Mar 2017 (Thu)
Topics: Translating and Discovering Calculi for Modal and Related Logics
Organiser(s) Agata Ciabattoni (WPI c/o TU Wien)

Visitors

Aschieri , Federico		LOCAL	14. Mar 2017-16. Mar 2017
Baldi, Paolo		LOCAL	14. Mar 2017-16. Mar 2017
Brotherston , James		100 % Co-Funding	14. Mar 2017-16. Mar 2017
Buszkowski , Wojciech		100% Co-Funding	14. Mar 2017-16. Mar 2017
Fermüller, Christian		LOCAL	14. Mar 2017-16. Mar 2017
Galmiche , Didier		100% Co-Funding	14. Mar 2017-16. Mar 2017
Genco , Francesco		LOCAL	14. Mar 2017-16. Mar 2017
Girlando , Marianna		100% Co-Funding	14. Mar 2017-16. Mar 2017
Gulisano , Francesca		100% Co-Funding	14. Mar 2017-16. Mar 2017
Kuznets, Roman		LOCAL	14. Mar 2017-16. Mar 2017
Lang , Timo		LOCAL	14. Mar 2017-16. Mar 2017
Larchey-Wendling , Dominique		100% Co-Funding	14. Mar 2017-16. Mar 2017
Lellmann , Björn		LOCAL	14. Mar 2017-16. Mar 2017
Lyon , Tim		LOCAL	14. Mar 2017-16. Mar 2017
Méry , Daniel		100% Co-Funding	14. Mar 2017-16. Mar 2017
Olivetti , Nicola		100% Co-funding	14. Mar 2017-16. Mar 2017
Ramanayake, Revantha		LOCAL	14. Mar 2017-16. Mar 2017
Risch , Vincent		100% Co-Funding	14. Mar 2017-16. Mar 2017
Santocanale , Luigi		100% Co-Funding	14. Mar 2017-16. Mar 2017
Wyner, Adam			19. Jun 2017-25. Jun 2017

PreDocs

Di Cosmo, Francesco			1. Mar 2017-31. May 2017
Longo, Davide Mario			1. Mar 2017-30. Jun 2017
Rietdijk, Marielle			1. Mar 2017-30. Jun 2017