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/2015/newsitem/6147/8-1
 0-June-2015-5th-Workshop-on-Formal-Topology-Spread
 s-and-Choice-Sequences-Djursholm-Sweden
DTSTAMP:20150102T000000
SUMMARY:5th Workshop on Formal Topology: Spreads a
 nd Choice Sequences, Djursholm, Sweden
DTSTART;VALUE=DATE:20150608
DTEND;VALUE=DATE:20150610
LOCATION:Djursholm, Sweden
DESCRIPTION:The study of the logical foundations o
 f topology is playing an important role in mathema
 tical logic and foundations of especially construc
 tive mathematics. Early works by Brouwer on the th
 eory of spreads and choice sequences were influenc
 ing much work in the area. A modernized form of hi
 s ideas is embodied in constructive point-free top
 ology or formal topology. The workshop will gather
  experts in this field and related areas, includin
 g computable aspects and non-classical aspects of 
 topology. A subtheme will be modern developments i
 n the theory of spreads and choice sequences, as w
 ell as its history.   This is the fifth of a serie
 s of successful meetings on the development of For
 mal Topology and its connections with related appr
 oaches. The workshop is part of the Institut Mitta
 g-Leffler short conferences program 2015. The numb
 er of participants is limited to 30 due to reasons
  of space.   For more information, see http://www.
 math.su.se/5wftop or write to 5wftop at math.su.se
   Submissions of short abstracts are accepted thro
 ugh easychair.org. Deadline for abstract submissio
 ns: March 16.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The s
 tudy of the logical foundations of topology is pla
 ying an important \n        role in mathematical l
 ogic and foundations of especially constructive \n
         mathematics. Early works by Brouwer on the
  theory of spreads and choice \n        sequences 
 were influencing much work in the area. A moderniz
 ed form of his \n        ideas is embodied in cons
 tructive point-free topology or formal topology. \
 n        The workshop will gather experts in this 
 field and related areas, \n        including compu
 table aspects and non-classical aspects of topolog
 y. A \n        subtheme will be modern development
 s in the theory of spreads and choice \n        se
 quences, as well as its history.\n      </p>\n    
   <p>This is the fifth of a series of successful m
 eetings on the development of \n        Formal Top
 ology and its connections with related approaches.
 \n        The workshop is part of the Institut Mit
 tag-Leffler short conferences program 2015. The nu
 mber of participants is limited to 30 due to reaso
 ns of space.\n      </p>\n    \n      \n      <p>F
 or more information, see\n        <a target="_blan
 k" href="http://www.math.su.se/5wftop">http://www.
 math.su.se/5wftop</a> or write to <a class="email"
 >5wftop <span class="at">at</span> math.su.se</a>\
 n      </p>\n    </div><div>\n      <p>Submissions
  of short abstracts are accepted through easychair
 .org. Deadline for abstract submissions: March 16.
 \n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/6147/8-1
 0-June-2015-5th-Workshop-on-Formal-Topology-Spread
 s-and-Choice-Sequences-Djursholm-Sweden
END:VEVENT
END:VCALENDAR