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

Under the patronage of

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

Call for papers: Special issue on Apal

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


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 »

Scientific and social program

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 »