Recent Seminars

Logic Series

Multi-dimension Series

120th Presentation on Drupal Norbert Preining 2014/08/29
45th Substitutions and rules Rosalie Iemhoff 2012/11/13
44th Information distance Sebastiaan A. Terwijn 2012/11/09

Frontier Series

Computational Science Series

JAIST Advanced Lecture Series

8th Ontology-based Data Access Frank Wolter 2013/03/18
7th COMPUTATION AS AGENCY J. van Benthem 2012/10/02
6th Ontology-Based Data Access and Constraint Satisfaction Frank Wolter 2012/03/13