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 |