|
Saturday
30th September |
| Saturday 30th September
Sala Ovale |
|
| 17.00
|
Registration |
| 17.30
|
Welcome Coffee |
| 18.00
|
Pierangelo's friends informal meeting (in Italian) |
| 20.30 |
Chess Event Simultaneous exhibition with the International Chess Master Bruno Belotti. Open to all participants, please register for the event to the registration desk. |
| Sunday 1th
October
Teatro Bibiena |
|
| 9.00
|
Openinig Session |
| 10.00
|
Coffee Break |
| Invited Talks | |
| 10.15
|
Grigori
Mints Epsilon calculus |
| 11.00
|
Mauro
Ferrari Semantical and proof-theoretical tools to study constructive and semi-constructive T-systems |
| Contributed Papers | |
| 11.45 |
Franco
Parlamento Tarski's semantics and Glivenko's theorem |
| 12.00 |
Nobu-Yuki
Suzuki Halldén-completeness in SuperIntuitionistic Predicate Logics |
| 12.15 |
Piero
Pagliani Constructivism and Classical Logic in P. Miglioli's scientific researches: some remarks and a "side" application |
| 12.30 |
Mauro Ferrari, Camillo
Fiorentini Goal oriented methods for information extraction |
| 12.45 |
Marco Benini The Collection Method in a Second Order Perspective |
| 13.00
|
Lunch |
| Invited Talks | |
| 14.30
|
Albert
Visser Intuitionistic Provability Logic |
| 15.15
|
Heinrich
Wansing Formulas-as-types for temporal logic |
| 16.00
|
Coffee Break |
| 16.30
|
Helmut Schwichtenberg
Feasible programs from proofs |
| Contributed Papers | |
| 17.15 |
Uwe Egly, Hans
Tompits On Different Proof-Search Procedures for Orthologic |
| 17.30 |
Jan von Plato Two cut-free sequent calculi for the weak law of excluded middle |
| 17.45 |
Guido Fiorino A deterministic and space-efficient tableau calculus for Gödel-Dummett Logic |
| 18.00 |
Gabriele
Usberti A-forms semantics and constructible falsity |
| 18.15 |
Nicola
Olivetti Tableaux for Lukasiewicz infinite-valued logic |
| Monday 2th
October
Teatro Bibiena |
|
| Invited Talks | |
| 9.00
|
Valentin Shehtman
Interval semantics of intuitionistic logic |
| 9.45
|
Michael
Zakharyaschev Predicate modal logics and the classical decision problem |
| 10.30 |
Coffee Break |
| 10.45
|
Frank
Pfenning Towards Modal Type Theory |
| Contributed Papers | |
| 11.30 |
Giulia Battilotti, Giovanni
Sambin Pretopologies and uniform presentation of sub-lattices, quantales and frames |
| 11.45 |
Albert
Visser Towards a Foundation for Dynamic Semantics |
| 12.00 |
Maria Emilia Maietti, Paola
Maneggia, Valeria de Paiva, Eike Ritter Linear Type Theories and Their Models |
| 12.15 |
Peter
M. Schuster Countable Choice as a Questionable Uniformity Principle |
| 12.30 |
Sara Negri A uniform calculus for linear logic |
| 13.00
|
Lunch |
| Invited Talks | |
| 14.30
|
Michael Mendler
Intensional Completeness in Constructive Logics and the Meaning of Proofs: A Case Study |
| 15.15
|
Matthias
Baaz Proof theory of first-order Gödel logics |
| 16.00 |
Coffee Break |
| Contributed Papers | |
| 16.15 |
Eugenia Reznik A New Multi-Conclusion System of Natural Deduction for Many-Valued Logics |
| 16.30 |
Carlos Pelta On Reverse Necessity |
| Invited Talk | |
| 16.45
|
Hiroakira
Ono Quantifiers vs infinitary operations |