"new foundations must give new math"
from "The Basic Picture. Structures for constructive
topology"
by Giovanni Sambin, Oxford University Press, forthcoming
To register send an e-mail to maietti @ math.unipd.it
Registration fee: 40 €
(to be paid at arrival).
Dipartimento di Matematica Pura ed Applicata, Università degli Studi di Padova, Italy
University of Padova, Italy
AILA (Italian Association of Logic and Applications), whose first president was Giovanni Sambin (from 1987 to 1994).
The proceedings of this workshop will be published as a special issue of
the Annals of Pure and Applied Logic with the following guest editors:
Maria Emilia Maietti, Erik Palmgren and Michael Rathjen.
These proceedings are open for high-level research papers about
constructive topology and related logical foundations.
We will appreciate very much if you let us know your intention of
submitting a paper by sending an email to
apalsambin60@math.unipd.it
before April 30, 2009
Deadline for submissions: June 30, 2009
Submissions by email to:apalsambin60@math.unipd.it
Abstracts have been provided by the
Conference Speakers and are now available to view.
Read more »
A provisional version of scientific and social program is now available.
The list of speakers includes outstanding scholars such as Per
Martin-Löf as well as former students
of Giovanni Sambin.
Read more »
The Workshop will be hosted by the Archivio Antico at the
Palazzo del Bo and by the Aula Emiciclo at the Padova's
famous Botanical Garden.
Read more »