Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18 december 2003, Master of Logic defense, Loredana Afanasiev

Candidate: Loredana Afanasiev
Title: XML query evaluation via CTL model checking
Date: Thursday 18 december 2003
Time: 14:00
Location: Room 0.19 (<em>changed</em>), Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: M. Franceschet

For more information, please contact

Please note that this newsitem has been archived, and may contain outdated information or links.