Embedded Files
Links to the slides and websites of the speakers can be found below!
Mon, September 15
Mon, September 15
12:00 - 14:00
Lunch (on campus)
Lunch (on campus)
Tue, September 16
Tue, September 16
11:00 - 12:00
SHACL Satisfiability: What Can We Learn from DLs?
SHACL Satisfiability: What Can We Learn from DLs?
Anouk Oudshoorn (TU Vienna)
12:00 - 14:00
Lunch (on campus)
Lunch (on campus)
16:00 - 17:00
Computational Aspects of Bisimulations for a Logic of Knowing How
Computational Aspects of Bisimulations for a Logic of Knowing How
Antonio Mondejar (UNC) 🇦🇷
Page updated
Report abuse