BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20250804T025805EDT-81995CzZMg@132.216.98.100
DTSTAMP:20250804T065805Z
DESCRIPTION:First-order homotopical logic\n\nWe will present a simplified v
 ersion of the 'homotopical' semantics for predicate logic with equality\, 
 which has hitherto only been considered in connection with dependent type 
 theory\, and we will explain what would ever motivate anyone to consider s
 uch a thing.\n
DTSTART:20171121T193000Z
DTEND:20171121T203000Z
LOCATION:Room 920\, Burnside Hall\, CA\, QC\, Montreal\, H3A 0B9\, 805 rue 
 Sherbrooke Ouest
SUMMARY:Joseph Helfer\, Stanford
URL:/mathstat/channels/event/joseph-helfer-stanford-28
 2945
END:VEVENT
END:VCALENDAR