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

Abstracts

**Peter Aczel**

Manchester**Giulia Battilotti**

Firenze

**A basic pair for quantum mechanics**

(joint with**Francesco ValfrÃ©**)**Andrej Bauer**

Ljubljana

Is formal topology a model of Abstract Stone Duality?**Marco Benini**

Varese

Formal Connected Basic Pairs**Francesco Ciraulo**

Palermo

The overlap algebra of regular opens

(j.w.w.**Giovanni Sambin**)**Thierry Coquand**

Göteborg

Formal Topology and Prufer Domain**Giovanni Curi**

Verona

A cocomplete extension of the category of formal topologies**Kosta Dosen**

Belgrade

Modal Logic and Frobenius Algebras**Ferruccio Guidi**

Bologna

The Formal System lambda-delta**Peter Hancock**

Nottingham

Command-response and stream interfaces**Hajime Ishihara**

JAIST, Japan

On a set generation scheme**Henri Lombardi**

Besançon

Universal objects as constructive substitute to "ideal" objects in classical algebra**Damiano Macedonio**

Venezia

Sambin's Principle of Reflection and Relational Semantics**Per Martin-Löf**

Stockholm

Logical consequence: the notion itself and Tarski's metamathematical reconstruction of it**Sara Negri**

Helsinki

SA systematic approach to completeness and decidability for modal logic**Erik Palmgren**

Uppsala

Localic completions of metric spaces and their sublocales**Giuseppe Rosolini**

Genova

Structuring models of quotients

(joint with**Maria Emilia Maietti**)**Claudio Sacerdoti Coen**

Bologna

A constructive proof of Lebesgue's Dominated Convergence Theorem for Ordered Uniformities**Peter Schröder-Heister**

Tübingen

Definitional reflection**Helmut Schwichtenberg**

München

Logic of inductive definitions with formal neighborhoods

**Bas Spitters**

Nijmegen

A topos for algebraic quantum theory

(jww**Chris Heunen**and**Klaas Landsman**)**Dieter Spreen**

Siegen

An Intrinsic Characterisation of Effective Topologies**Paul Taylor**

London

Efficient Computation with Dedekind Reals**Paola Toto**

Lecce

Many-valued overlap algebras

(j.w.w.**Maria Emilia Maietti**and**Giovanni Sambin**)**Silvio Valentini**

Padova

Relative Formal Topology: ten years later**Steve Vickers**

Birmingham

On the trail of the Formal Topos