[FOM] Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)

[Andrej Bauer]

 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/


FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop)
===========================================

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).

IMPORTANT DATES

May 2      - deadline for abstract submissions
May 16     - notification of accepted contributions
June 15    - 4WFTop tutorial day
June 16-19 - 4WFTop workshop
June 20    - HDACT workshop

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)

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)

SUBMISSIONS

Submissions of short abstracts are accepted through easychair.org, see
http://www.easychair.org/conferences/?conf=4wftop

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)

For further information on the workshop visit http://4wft.fmf.uni-lj.si/

The workshop is supported by:

* Faculty of Mathematics and Physics at the University of Ljubljana
* Institute of mathematics, physics and mechanics, Ljubljana


HIGHER DIMENSIONAL ALGEBRA, CATEGORIES AND TYPES
================================================

The Workshop on formal topology will be followed by a one-day workshop
on higher dimensional algebra, categories and types, organized by

* Nicola Gambino
* Niel Ghani
* Zhaohui Luo
* Randy Pollack
* Urs Schreiber
* Bas Spitters
* Thomas Streicher

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.

More information on participation and submission will follow.

For further information on the workshop visit http://4wft.fmf.uni-lj.si/