[FOM] Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012

[Andrej Bauer]

                     ***** CALL FOR ABSTRACTS *****

             FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop)

                           June 15-19 2012

                         Ljubljana (Slovenia)

                      http://4wft.fmf.uni-lj.si/


SUBMISSION OF EXTENDED ABSTRACTS
================================

Short abstracts should be submitted via

                 http://4wft.fmf.uni-lj.si/submissions/

The deadline for submissions is May 2nd.

We may be able to accept late submissions, but please note that are only
able to hold free hotel rooms until May 5th. If you are planning to
attend, make a hotel reservation early, as described on the workshop web
site. You can cancel it without incurring any costs, as long as you do
it well before the reservation date.

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

The workshop is colocated with the Workshop on Higher Dimensional
Algebra, Categories and Types which will take place on June 20, 20012.
See the workshop website for details.

IMPORTANT DATES

May 2      - deadline for abstract submissions
May 4      - notification of accepted contributions
May 5      - deadline for guaranteed hotel availability
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
* Department of Mathematics, University of Padua, Italy