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 marx at science.uva.nl
Please note that this newsitem has been archived, and may contain outdated information or links.