[FOM] Participation, registration, and programme: 4WFTop and HDACT, June 15-20 2012, Ljubljana

[Andrej Bauer]

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