BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:On modal definability of first-order formulas with many free varia
 bles and its application to conjunctive query answering in description log
 ics - Stanislav Kikot\, University of London Birkbeck College
DTSTART:20120309T140000Z
DTEND:20120309T150000Z
UID:TALK36657@talks.cam.ac.uk
CONTACT:Bjarki Holm
DESCRIPTION:Abstract not available
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR