Wolfgang Pauli Institute (WPI) Vienna

Home WPI in a nutshell Practical Information Events People WPI Projects
Login Thematic Programs Pauli Fellows Talks Research Groups

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)

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

Visitors

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

PreDocs

Di Cosmo, Francesco 1. Mar 2017-31. May 2017 local address 
Longo, Davide Mario 1. Mar 2017-30. Jun 2017 local address 
Rietdijk, Marielle 1. Mar 2017-30. Jun 2017 local address 
Impressum webmaster [Printable version]