***** REGISTRATION AND PROGRAMME ***** FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop) June 15-19 2012 and HIGHER DIMENSIONAL ALGEBRA, CATEGORIES AND TYPES (HDACT) June 20 2012 Ljubljana (Slovenia) http://4wft.fmf.uni-lj.si/ PARTICIPATION AND REGISTRATION ============================== The 4WFTop and HDACT registration is now open at http://4wft.fmf.uni-lj.si/registration/ Please help us plan the event and register today if you are planning to come. You can change your registration details later. PROGRAMME ========= A preliminary programme is available at http://4wft.fmf.uni-lj.si/programme/ ABOUT THE WORKSHOP ON FORMAL TOPOLOGY ===================================== The workshop on formal topology is an international meeting dedicated to formal topology and related topics, including constructive and computable topology, point-free topology, and other generalizations of topology. This is the fourth of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first three have been held in Padua (1997), Venice (2002), and Padua (2007). KEYNOTE SPEAKERS * Per Martin-Löf (Stockholm University) * Ieke Moerdijk (Radboud University Nijmegen) * Vladimir Voevodsky (Institute of Advanced Studies) INVITED SPEAKERS * Olivia Caramello (University of Cambridge) * Francesco Ciraulo (University of Padua) * Hajime Ishihara (Japan Advanced Institute of Science and Technology) * Davorin Lešnik (TU Darmstadt) * Claudio Sacerdoti Coen (University of Bologna) * Alex Simpson (University of Edinburgh) * Bas Spitters (Radboud University Nijmegen) * Paul Taylor (United Kingdom) TUTORIAL DAY June 15th 2012 will be dedicated to tutorials on topics in and around formal topology, suitable for researchers and graduate students without in-depth knowledge of the area. They will be given by: * Thierry Coquand (Chalmers University) * Erik Palmgren (Stockholm University) * Giovanni Sambin (University of Padua) * Steven Vickers (University of Birmingham) PROGRAM COMMITTEE * Andrej Bauer (chair, University of Ljubljana) * Thierry Coquand (Chalmers University) * Maria Emilia Maietti (University of Padua) * Giovanni Sambin (University of Padua) * Peter Schuster (co-chair, University of Leeds) The workshop is supported by: * Faculty of Mathematics and Physics, University of Ljubljana * Institute of mathematics, physics and mechanics, Ljubljana * Department of Mathematics, University of Padua, Italy ABOUT THE WORKSHOP ON HIGHER DIMENSIONAL ALGEBRA, CATEGORIES AND TYPES ====================================================================== The importance of higher dimensional structure for mathematics and computer science has been recognized for a long time. However, recent connections between homotopy theory and type theory have spurred new activity that is connecting previously unrelated topics. The workshop will be a place for meeting and dissemination of ideas between researchers from different areas who all use higher dimensional structures. INVITED SPEAKERS * Thorsten Altenkirch * Steve Awodey * Emily Riehl PROGRAM COMMITTEE * Nicola Gambino * Neil Ghani * Zhaohui Luo * Erik Palmgren * Randy Pollack * Urs Schreiber * Bas Spitters * Thomas Streicher [For admin and other information see: http://www.mta.ca/~cat-dist/ ]