Events
Paulus Venetus
Very Informal Exclusive Workshop number 1 (1WFTop 1997)
Patavii, die 15 et 16 aprilis, a.d. 1998
Organized by
the PVIFRG
Program
- Wednesday, 15 april 1998
- 09:30
Giovanni Sambin: The Paulus Venetus Program
- 10:00
Kosta Dosen: Logical Constants and Adjunction
- 11:00
Ferruccio Guidi: The Third Gödel-Kreisel Theorem
- 12:00
Maria Emilia Maietti: Quotiens in Type Theory
- 15:30
Silvia Gebellato: The Essence of Continuity
- 16:30
Silvio Valentini: The generalized cover: motivations,
first risults and open problems
- 17:30
Giovanni Curi: Formal spaces with weight and distance:
a framework for constructive analysis within intuitionistic type
theory
- Thursday, 16 april 1998
- 09:30
Kosta Dosen: Cut-elimination in adjunction
- 10:30
Giulia Battilotti: Traduzioni in Basic Logic
- 11:30
Claudia Faggian: Basic Logic: aunifying approach to normalization
- 12:30
Nicola Granà: Proof search in Basic Logic. From Basic
Logic to its extensions by selection
- 15:30
Sara Sadocco: Una deduzione naturale per l'Intersection
Type Inference
- 16:30
Michele Bugliesi: Extensible Objects are Recursive Records
of Polymorphic Functions
- 17:30
Damiano Macedonio: A semantics for BS (Structured Basic
Logic)
- 18:30 Discussion
