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 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.

\n\n The main parts of the pro
gramme are:

\n - A tutorial day on the Monday
around the theme "What is a space?". Mat
thieu Anel and Benedikt Ahrens will introduce the
ideas of toposes and univalent type theory.

\n
- Talks from invited speakers: Ingo Blechschmidt,
Olivia Caramello, Maria Manuel Clementino, Tatsuj
i Kawai, Peter Johnstone and Giovanni Sambin.

\
n - Contributed talks from other participants - i
f you wish to offer one, please submit an abstract
.

URL:http://www.cs.bham.ac.uk/~sjv/6WFTop/
END:VEVENT
END:VCALENDAR