\n

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

\nThis 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

\n \n \nF or more information, see\n http://www. math.su.se/5wftop or write to 5wftop at math.su.se\ n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/614
7/8-10-June-2015,-5th-Workshop-on-Formal-Topology-
Spreads-and-Choice-Sequences,-Djursholm,-Sweden
END:VEVENT
END:VCALENDAR
Submissions of short abstracts are accepted through easychair .org. Deadline for abstract submissions: March 16. \n

\n