"new foundations must give new math"

from "The Basic Picture. Structures for constructive topology"

by Giovanni Sambin, Oxford University Press, forthcoming

Registration

To register send an e-mail to maietti @ math.unipd.it

Registration fee: 40 euros
(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).

Speakers
  • Peter Aczel - Manchester
  • Andrej Bauer - Ljubljana
  • Marco Benini - Varese
  • Francesco Ciraulo - Palermo
  • Thierry Coquand - Göteborg
  • Giovanni Curi - Verona
  • Kosta Dosen - Belgrade
  • Peter Hancock - Nottingham
  • Hajime Ishihara - JAIST, Japan
  • Henri Lombardi - Besançon
  • Damiano Macedonio - Venezia
  • Per Martin-Löf - Stockholm
  • Sara Negri - Helsinki
  • Erik Palmgren - Uppsala
  • Giuseppe Rosolini - Genova
  • Claudio Sacerdoti Coen - Bologna
  • Peter Schröder-Heister - Tübingen
  • Helmut Schwichtenberg - München
  • Bas Spitters - Nijmegen
  • Dieter Spreen - Siegen
  • Paul Taylor - London
  • Silvio Valentini - Padova
  • Steve Vickers - Birmingham