"** new foundations must give new math**"

from

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

Program

**Wednesday, 8 October 2008
Sala dell'Archivio Antico, Palazzo del Bo**

- 15.00 Registration
- 15.30 Opening address of University Chancellor

and of Department Head - 15.40
**Martin-Löf**, Logical consequence: the notion itself and Tarski's metamathematical reconstruction of it - 16.30
**Hancock**, Command-response and stream interfaces. - slides - 17.15 break
- 17.45
**Valentini**, Relative Formal Topology: ten years later - slides - 18.30
**Benini**, Formal Connected Basic Pairs - slides

**Thursday, 9 October 2008
Aula Emiciclo - Orto Botanico, Padova**

- 09.15
**Coquand**, Formal Topology and Prufer Domain - slides - 10.00
**Lombardi**, Universal objects as constructive substitute to "ideal" objects in classical algebra - slides - 10.45 break
- 11.15
**Bauer**, Efficient Computation with Dedekind Reals - 12.00
**Taylor**, Equideductive logic - slides - lunch break
- 15.00
**Spitters**, A topos for algebraic quantum theory - slides - 15.45
**Spreen**, An Intrinsic Characterisation of Effective Topologies - 16.30
**Battilotti**, A basic pair for quantum mechanics - slides - 16.50 break
- 17.20
**Sacerdoti-Coen**, A constructive proof of Lebesgue's Dominated Convergence Theorem for Ordered Uniformities - 18.05
**Ciraulo**, The overlap algebra of regular opens - slides - 18.50
**Toto**, Many-valued overlap algebras

**Friday, 10 October 2008
Aula Emiciclo - Orto Botanico, Padova**

- 09.15
**Schwichtenberg**, Logic of inductive definitions with formal neighborhoods - slides - 10.00
**Ishihara**, On a set generation scheme - 10.45 break
- 11.15
**Vickers**, On the trail of the Formal Topos - slides - 12.00
**Curi**, A cocomplete extension of the category of formal topologies - lunch break
- 15.00
**Dosen**, Modal Logic and Frobenius Algebras - slides - 15.45
**Negri**, A systematic approach to completeness and decidability for modal logic - slides - 16.30 break
- 17.00
**Guidi**, The Formal System lambda-delta - Slides - 17.20
**Macedonio**, Sambin's Principle of Reflection and Relational Semantics - slides - 20.30 Social dinner at
**Ristorante Alle Piazze Da Giorgio**

**Saturday, 11 October 2008
Sala dell'Archivio Antico, Palazzo del Bo**

- 09.15
**Aczel**, Core Extensional Mathematics and Local Constructive Set Theory - slides - 10.00
**Rosolini**, Structuring models of quotients - slides - 10.45 break
- 11.15
**Schröder-Heister**, Definitional reflection - 12.00 Address of
**Toffalori**, President of AILA - 12.10
**Sambin**