30 MAGGIO 2016 (PALAZZO ALBANI, room Clemente XI)

09:30 Gino Tarozzi (Univ. of Urbino) and Giovanna Corsi (Univ. of Bologna) Opening Memorial lectures honoring Giorgio Sandri (Univ. of Bologna).

9:50 Vincenzo Fano (Univ. of Urbino)

10:20 Claudia Casadio (Univ. of Chieti-Pescara)

10:50 Dolores Sandri

11:10 COFFEE BREAK

11:30 Luke Burke (UCL, Univ. of London)
Gl-TAG: a non-classical proof-theoretic semantics for natural language quantification

12:10 Tommaso Bertolotti (Univ. of Pavia) Bridging the gap between niche construction, cognitive niche and cognitive niche construction

13:00 BUFFET

15:00 Carlo Nicolai (Munich Center for Mathematical Philosophy, LMU, Munich) Remarks on the role of truth-theoretic and non-semantic patterns of reasoning in non-classical systems of truth

15:40 Francesco Antonio Genco (TU Wien)
Hypersequents and Systems of Rules: An Embedding

16:20 COFFEE BREAK

16:40 Michele Pra Baldi (Univ. of Padua)
A n-sided Sequent Calculus for Paraconsistent Weak Kleene Logic

20:00 DINNER

31 MAGGIO 2016 (PALAZZO ALBANI, room Clemente XI)

09:30 Selene Arfini (Univ. of Chieti-Pescara)
Epistemological and Metacognitive Consequences of Cognitive Autoimmunity

10:10 Federica Malfatti (Leopold Franzens Univ. Innsbruck)
Understanding through models. The role of structure.

10:50 COFFEE BREAK

11:10 Emanuele Rossanese (Univ. of Roma Tre)
Structural Monism: The Case of Algebraic Quantum Field Theory

11:50 Lorenzo Rossi (Univ. of Oxford)
Irreflexive Validity

13:00 LUNCH

15:00 Davide Romano (Univ. of Lausanne)
Why Bohmian non-locality is not a problem for us (classical objects)

15:40 Francesco Bellucci (Tallinn Univ. of Technology)
Notational aspects of Begriffsschrift and Existential Graph

16:20 COFFEE BREAK

16:40 Bogdan Dicher (Univ. of Cagliari)
On quantum disjunction and a generality condition in proof-theoretic semantics

17:20 Luisa Peruzzi, Stefano Bonzio, José Gil-Férez, Francesco Paoli (Univ. of Cagliari)
On Paraconsistent Weak Kleene Logic and Involutive Bisemilattices

18:10 CONSIGLIO DIRETTIVO della SILFS

20:00 SOCIAL DINNER

1 GIUGNO 2016 (COLLEGIO INTERNAZIONALE, Conference Room, P.zza San Filippo, 2, Urbino)

09:30 Anna Maria Dieli (Univ. of Rome "Tor Vergata" – Univ. Paris 1 Panthéon-Sorbonne)
Inquiry on Cancer Cells Individuality

10:10 Daniele Chiffi (Univ. of Padua)
Knowledge and Belief in Placebo Effect

10:50 COFFEE BREAK

11:10 Stefano Bonzio, Ivan Chajda and Antonio Ledda (Univ. of Cagliari)
Representing Quantum structures as near semirings

11:50 Davide Fazio
Deterministic computations and critical pairs in Term Rewriting Systems

13:00 LUNCH

15:00 Mihail-Valentin Cernea ("Alexandru Ioan Cuza"Univ. of Iași)
Supraorganismal selection in Darwin’s "Origin of Species". An avenue for a better understanding

15:40 Federico Boem (Univ. of Milan)
Why genes are like lemons

16:20 Luca Rivelli (Univ. Paris 1 - IHPST, Univ. of Padova – FISPPA)
Functional and mechanistic explanations are reverse-engineered modular descriptions constrained by computational complexity

17:00 CLOSING