BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20260810T203826EDT-3067k4V4Ef@132.216.98.100
DTSTAMP:20260811T003826Z
DESCRIPTION:Dr Brigitte Pientka\, Carnegie Mellon University\n
DTSTART:20030417T140000Z
DTEND;VALUE=DATE:20030417
LOCATION:McConnell Engineering Building\, CA\, QC\, Montreal\, H3A 0E9\, 34
 80 rue University
SUMMARY:Overcoming performance barriers: Efficient proof search in logical 
 frameworks
URL:/channels/event/overcoming-performance-barriers-ef
 ficient-proof-search-logical-frameworks-4836
END:VEVENT
END:VCALENDAR