BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20260408T101137EDT-4069mC809I@132.216.98.100
DTSTAMP:20260408T141137Z
DESCRIPTION:Dr Brigitte Pientka\, Université Carnegie Mellon.\n
DTSTART:20030417T140000Z
DTEND;VALUE=DATE:20030417
LOCATION:Pavillon McConnell (génie)\, CA\, QC\, Montréal\, H3A 0E9\, 3480\,
  rue University
SUMMARY:Overcoming performance barriers: Efficient proof search in logical 
 frameworks
URL:https://www.mcgill.ca/channels/fr/event/overcoming-performance-barriers
 -efficient-proof-search-logical-frameworks-4836
END:VEVENT
END:VCALENDAR