8-12 Apr 2019
Birmingham, England
6th Workshop in Formal Topology (6WFTop) School of Computer Science, University of Birmingham Mon-Fri 8-12 April 2019 These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction 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. The main parts of the programme are: * A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory. * Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin. * Contributed talks from other participants - if you wish to offer one, please submit an abstract. Further details are on the workshop web site at http://www.cs.bham.ac.uk/~sjv/6WFTop/ The workshop is benefiting greatly from generous funding by the London Mathematical Society and the British Logic Colloquium. Local organizers: Steve Vickers, Martin Escardo -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam