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