BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20260708T122630EDT-1865i0g63W@132.216.98.100
DTSTAMP:20260708T162630Z
DESCRIPTION:The Decidability of Continuous Quantitative Equational Logic\n
 \nQuantitative Equational Logic\, or 'QEL' for short\, is a proof system w
 hich extends Birkhoff's equational logic. QEL is used to reason about quan
 titative algebras\, and was shown to be complete for the defined semantics
 . While classical equational logic is known to be undecidable\, I will giv
 e a sketch of the proof that all of the 'other' content of QEL is decidabl
 e.\n
DTSTART:20181113T193000Z
DTEND:20181113T203000Z
LOCATION:Room 920\, Burnside Hall\, CA\, QC\, Montreal\, H3A 0B9\, 805 rue 
 Sherbrooke Ouest
SUMMARY:Shael Brown\, ³ÉÈËVRÊÓƵ
URL:/mathstat/channels/event/shael-brown-mcgill-291488
END:VEVENT
END:VCALENDAR