Master of Science in Informatics at Grenoble, Option Artificial Intelligence and the Web, year 2016/2017

I give a course on the foundations for processing tree-shaped data with an application to XML technologies in the Master of Science in Informatics at Grenoble at the University Grenoble Alpes. The course is named "The semantic web: from XML to OWL". The part entitled "Foundations for XML" covers languages, algorithms and tools for the correct and efficient processing of tree-shaped data, and for the analysis of queries and programs that manipulate trees. A brief course description presents the course contents and outline. Pointers to teaching material can be found below:

Course Introduction slides
Core XML: XML, DTD, XML Schema, XML Parsing slides
Excursion (streaming DTD validation with SAX) slides
XPath slides
XQuery and Static Type-Checking slides
Foundations of XML Types: An Introduction slides
Tree Grammars slides
Finite Tree Automata (inspired by W. Martens and T. Schwentick) slides
First-Order Logic and Monadic Second-Order Logic slides
Advanced Static Analysis for XML/XPath slides

A few sample questions and suggested answers of a course exam given at EPFL.

You may also want to have a look at some other recommended reading material prepared by colleagues.

Some Courses Given in the Past and at Other Universities

LinkedIn Profile