BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20251026T123903EDT-6746FmUuuR@132.216.98.100
DTSTAMP:20251026T163903Z
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:/channels/fr/event/overcoming-performance-barriers
 -efficient-proof-search-logical-frameworks-4836
END:VEVENT
END:VCALENDAR