BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20120311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20111106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a221471560ea
DTSTART;TZID=America/Toronto:20121030T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20121030T153000
URL:https://uwaterloo.ca/pure-mathematics/events/logic-seminar-eleftheriou-
 oct-30-2012
LOCATION:MC - Mathematics & Computer Building 200 University Avenue West 51
 36B Waterloo ON N2L 3G1 Canada
SUMMARY:Logic seminar
CLASS:PUBLIC
DESCRIPTION:PANTELIS ELEFTHERIOU\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERS
 ITY OF\nWATERLOO\n\n“MODEL-THEORETIC CONSTRUCTIONS IN MANY-VALUED MODAL 
 LOGICS”\n\nWe study a family of Heyting-valued modal logics introduced b
 y Fitting\nin the early ’90s. For each logic in this family\, the semant
 ics is\ngiven via Kripke-frames whose edges are labelled with values from 
 an\nunderlying Heyting algebra H.
DTSTAMP:20260605T001233Z
END:VEVENT
END:VCALENDAR