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/2019/newsitem/10621/8-
 --12-April-2019-6th-Workshop-on-Formal-Topology-6W
 FTop-Birmingham-England
DTSTAMP:20190228T174910
SUMMARY:6th Workshop on Formal Topology (6WFTop), 
 Birmingham, England
DTSTART;VALUE=DATE:20190408
DTEND;VALUE=DATE:20190412
LOCATION:Birmingham, England
DESCRIPTION:These workshops date back to 1997, and
  cover point-free topology, broadly interpreted, a
 nd its logical foundations. There is always a live
 ly and fruitful interaction between different comm
 unities from mathematics, logic and computer scien
 ce, and the meetings have proved fertile ground fo
 r developing commonalities between different found
 ational approaches such as predicative type theory
 , toposes and constructive set theory.  The main p
 arts of the programme are:  - A tutorial day on th
 e Monday around the theme "What is a space?". Matt
 hieu Anel and Benedikt Ahrens will introduce the i
 deas of toposes and univalent type theory.  - Talk
 s from invited speakers: Ingo Blechschmidt, Olivia
  Caramello, Maria Manuel Clementino, Tatsuji Kawai
 , Peter Johnstone and Giovanni Sambin.  - Contribu
 ted talks from other participants - if you wish to
  offer one, please submit an abstract.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>These workshop
 s date back to 1997, and cover point-free topology
 , broadly interpreted, and its logical foundations
 . There is always a lively and fruitful interactio
 n between different communities from mathematics, 
 logic and computer science, and the meetings have 
 proved fertile ground for developing commonalities
  between different foundational approaches such as
  predicative type theory, toposes and constructive
  set theory.</p>\n\n  <p>The main parts of the pro
 gramme are:<br>\n  - A tutorial day on the Monday 
 around the theme &quot;What is a space?&quot;. Mat
 thieu Anel and Benedikt Ahrens will introduce the 
 ideas of toposes and univalent type theory.<br>\n 
  - Talks from invited speakers: Ingo Blechschmidt,
  Olivia Caramello, Maria Manuel Clementino, Tatsuj
 i Kawai, Peter Johnstone and Giovanni Sambin.<br>\
 n  - Contributed talks from other participants - i
 f you wish to offer one, please submit an abstract
 .</p>\n
URL:http://www.cs.bham.ac.uk/~sjv/6WFTop/
END:VEVENT
END:VCALENDAR