BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/9493/18-
 --22-June-2018-Conference-From-the-Fundamental-Lem
 ma-to-Discrete-Geometry-to-Formal-Verification-60t
 h-birthday-of-Thomas-Hales-Pittsburgh-PA-U-S-A-
DTSTAMP:20171120T142000
SUMMARY:Conference "From the Fundamental Lemma to 
 Discrete Geometry, to Formal  Verification" (60th 
 birthday of Thomas Hales), Pittsburgh PA, U.S.A.
DTSTART;VALUE=DATE:20180618
DTEND;VALUE=DATE:20180622
LOCATION:Pittsburgh PA, U.S.A.
DESCRIPTION:The conference, held in honor of Thoma
 s C. Hales on the occasion of his 60th birthday, w
 ill feature talks on representation theory, discre
 te geometry, and formal verification, with 1.5 day
 s dedicated to each of these topics and with broad
 ly accessible public lectures at the interfaces.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The conference
 , held in honor of Thomas C. Hales on the occasion
  of his 60th birthday, will feature talks on repre
 sentation theory, discrete geometry, and formal ve
 rification, with 1.5 days dedicated to each of the
 se topics and with broadly accessible public lectu
 res at the interfaces.</p>\n
URL:http://www.mathematics.pitt.edu/hales60/
CONTACT:hales60conference at gmail.com
END:VEVENT
END:VCALENDAR