¤ Invited Speakers

• Vieri Benci, Pisa (www2.ing.unipi.it/~d4200/)
• Claudio Bernardi, Roma (www.mat.uniroma1.it/people/bernardi/)
• Alex Simpson, LFCS, Edinburgh (homepages.inf.ed.ac.uk/als/)
• Kazushige Terui, NII, Tokyo, & CNRS, Paris (research.nii.ac.jp/~terui/)

¤ Special Day on the Teaching of Logic

On Saturday there will be a special session, organized with the help of Paolo Gentilini, dedicated to the Teaching of Logic at the high school and in the first year of undergraduate courses, with invited contributions and discussion.

¤ Contributed talks

• Giulia Battilotti, Parallel strategies in sequent calculus
• Luca Bellotti, On the role of the standard model for syntax
• Stefano Berardi, The maximum theorem
• Alessandro Berarducci, Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
• Bianca Boretti, Analisi della dimostrazione nella Logica del tempo
• Riccardo Bruni, Proof-theoretic aspects of quasi-inductive definitions
• Riccardo Camerlo, Projective Fraïssé limits and compact metric spaces
• Stefania Centrone, "La totalità delle operazioni aritmetiche pensabili" nella Filosofia dell'Aritmetica di E. Husserl
• Francesco Ciraulo, Satisfiability and consistency from a constructive point of view
• Laura Crosilla, What is constructive predicativity?
• Pietro Dello Stritto, Supersimple Moufang polygons of finite rank
• Mauro Di Nasso, Numerosities and fine densities for subsets of natural numbers
• Antonio Di Nola, Local MV-algebras and related topics: a survey
• Miriam Franchella, La fenomenologia come sostegno all'intuizionismo: una prima valutazione di realizzabilità, in riferimento alle opere di Brouwer e Heyting
• Hector Freytes, Product MV algebras and quantum computational logics
• Paolo Gentilini, A constructive semantics for paraconsistent logic
• Giangiacomo Gerla, Point-free geometry and fuzzy logic: some researches in Salerno
• Silvio Ghilardi, Temporalizing a first-order theory: a combination approach
• Stefano Guerrini, Models of interaction for non-deterministic and parallel computing
• Sonia L'Innocente, Model theory, Lie algebras and quantum groups
• Paolo Lipparini, Ultrafiltri decomponibili e teoria delle possibili cofinalità
• Roberto Maieli, Local Cut Elimination for Multiplicative-Additive Proof Nets of Linear Logic
• Maria Emilia Maietti, From intensionality to extensionality: a general notion of quotient completion
• Alberto Marcone, A new approach to the strength of Fraïssé's conjecture
• Vincenzo Marra, Algebraic aspects of many-valued and related logics: a short report
• Simone Martini, Implicit computational complexity: in-the-large and in-the-small
• Damiano Mazza, Proof nets and Computational Complexity
• Pierluigi Minari, Equational proof-systems admitting transitivity elimination
• Franco Montagna, Many-valued logics, substructural logics, ell-groups and residuated lattices
• Enrico Moriconi, Steps toward a proof-theoretic semantics
• Luca Motto Ros, Una congettura di dicotomia per le riduzioni Boreliane
• Massimo Mugnai, Illustrazione generale delle ricerche nel progetto "Mathesis Universalis"
• Michele Pagani, Strong Normalization property for second order Linear Logic
• Davide Penazzi, Indipendence property and externally definable sets
• Francesca Poggiolesi, Tree hypersequent calculi for modal logics
• Umberto Rivieccio, Neutrosophic Logics
• Simona Ronchi della Rocca, Concerto
• Giuseppe Rosolini, A theory of classes and sets
• Giovanni Sambin, La fondazione minimalista come base del pluralismo in matematica
• Giuseppina Terzo, Schanuel's Conjecture and free E-rings in o-minimal structures
• Carlo Toffalori, Untitled
• Lorenzo Tortora de Falco, Geometry of proofs and execution time
• Paolo Tranquilli, From Linear Logic to Differential Linear Logic
• Matteo Viale, La dicotomia dei P-ideali e l'aritmetica cardinale
• Kathryn Vozoris, The Complex Field with a Predicate