Manca poco ad AILA 2014, di seguito il programma completo con tutti gli abstract. Per gli ultimi aggiornamenti seguici sul nostro profilo twitter @ailapisa2014.
Gli interventi degli invitati saranno in diretta streaming.
Monday 14th April
08:45 – 09:15 Registration (Aula Dini)
09:15 – 09:40 Opening (Aula Dini)
09:40 – 10:30 (Aula Dini) Alex Wilkie (University of Manchester) The method of o-minimality
10.30 – 11.00 Coffee Break (Puteano)
Session 1 (Aula Dini)
11.00 – 11.30 Paola D’Aquino, Angus Macintyre and Giuseppina Terzo. Zero sets of exponential polynomials
11.30 – 12.00 Antongiulio Fornasiero. Homotopy theory in definably complete structures
12.00 – 12.30 Sonia L’Innocente. Rings of definable scalars of some $sl_3(\mathbb{C})$-modules
12.30 – 13.00 Tamara Servi. Quantifier Elimination for generalised quasianalytic classes
Session 2 (Puteano)
11.00 – 11.30 Enrico Moriconi. Early Structural Reasoning. Gentzen 1932.
11.30 – 12.00 Miriam Franchella. Logic according to Brouwer; logic according to Nietzsche
12.00 – 12.30 Antonino Drago. Which foundation for intuitionistic logic?
12.30 – 13.00 Luca Bellotti. Von Neumann’s consistency proof
13.00 – 14:30 Lunch
14.30 – 15.20 (Aula Dini) Jon Williamson (University of Kent)
Inductive Logic for Automated Decision Making
Session 1 (Aula Dini)
15.30 – 16.00 Matteo Viale. Category forcings and generic absoluteness: steps towards a “complete” axiom system for set theory
16.00 – 16.30 Riccardo Camerlo. Epimorphisms between linear orders
Session 2 (Puteano)
15.30 – 16.00 Laura Crosilla. Epistemological Constructivism
16.00 – 16.30 Claudia Casadio and Michele V. Abrusci. A geometrical representation of the basic laws of Categorial Grammar
16.30 – 17.00 Coffee Break (Puteano)
Session 1 (Aula Dini)
17.00 – 17.30 Luca Motto Ros. The Hurewicz dichotomy for generalized Baire spaces
17.30 – 18.00 Giorgio Laguzzi. Regularity properties and tree forcings
18.00 – 18.30 Nathanaël Mariaule. p-adic numbers, exponential ring and decidability
Session 2 (Puteano)
17.00 – 17.30 Andrea Strollo. Non standard truths. Toward a model-theoretic taxonomy of (conservative) axiomatic theories of truth
17.30 – 18.00 Luca San Mauro. “Chi beve molto ha una bella pelle”: sul ruolo della logica nei concorsi pubblici
18.00 – 18.30 Umberto Grandi, Davide Grossi and Paolo Turrini. Pre-Vote Negotiations and Binary Voting with Constraints
19.00 – 19.30 Riunione organizzativa/Presentazione SeLP SeAllora
Tuesday 15th April
09:00 – 09:50 (Aula Dini) Agata Ciabattoni (Technische Universität Wien)
Tools for the investigation of substructural and paraconsistent logics
Session 1 (Aula Dini)
10.00 – 10.30 Eugenio Moggi. Categories for Collection Types
10.30 – 11.00 Angelo Montanari, Marco Pazzaglia and Pietro Sala. Interval Temporal Logics and Equivalence Relations
Session 2 (Puteano)
10.00 – 10.30 Lawrence Peter Belluce, Antonio Di Nola and Giacomo Lenzi.Diophantine Algebraic Geometry for MV-Algebras.
10.30 – 11.00 Serafina Lapenta. An extention to the notion of MV-algebras: f MV-algebras
11.00 – 11.30 Coffee Break
Session 1 (Aula Dini)
11.30 – 12.00 Nicola Galesi and Ilario Bonacina. Space Complexity in Algebraic proof Systems
12.00 – 12.30 Matteo Pascucci. Defining necessity from contingency: a case study in tense logic
12.30 – 13.00 Giulio Pellitta and Ugo Dal Lago. Complexity Analysis in Presence of Control Operators and Higher-Order Functions
Session 2 (Puteano)
11.30 – 12.00 Olivia Caramello and Anna Carla Russo. The Morita-equivalence between MV-algebras and abelian l-groups with strong unit
12.00 – 12.30 Hector Freytes. Physical properties as modal operators in the intuitionistic approach to quantum mechanics
12.30 – 13.00 Tommaso Flaminio, Lluis Godo and Hykel Hosni. La struttura logica della nozione di evento secondo de Finetti
13.00 – 14:30 Lunch
Session 1 (Aula Dini)
14.30 – 15.00 Giulio Guerrieri and Lorenzo Tortora De Falco. Iniettività della semantica relazionale per le reti di MELL e espansione di Taylor
15.00 – 15.30 Paolo Pistone. Rules, types and the transcendence of second order logic
15.30 – 16.00 Roberto Maieli. Construction of Transitory Nets
16.00 – 16.30 Eugenio Orlandelli. Proof Theory of Quantified Modal Logics
Session 2 (Puteano)
14.30 – 15.00 Paolo Lipparini. Weak and local versions of measurability
15.00 – 15.30 Vincenzo Dimonte. Very Large Cardinals and Combinatorics
15.30 – 16.00 Gemma Carotenuto. On the complexity of $\mathcal{T}-$regular sets
16.00 – 16.30 Giorgio Audrito. Absoluteness via resurrection
16.30 – 17.00 Coffee Break
17.00 – 17.50 (Aula Dini) Vincenzo Mantova. Zilber fields and complex exponentiation (PREMIO AILA)
Wednesday 16th April
09:00 – 09:50 (Aula Dini) Martin Hyland (University of Cambridge) Models for Type Theory
Session 1 (Aula Dini)
10.00 – 10.30 Alberto Marcone. From WQOs to Noetherian spaces: some reverse mathematics results
10.30 – 11.00 Filippo Calderoni. Forcing e gruppi liberabili
Session 2 (Puteano)
10.00 – 10.30 Sara Negri. On proofs and countermodels
10.30 – 11.00 Jan von Plato. Choice sequences in proof theory
11.00 – 11.30 Coffee Break
Session 1 (Aula Dini)
11.30 – 12.00 Vincenzo Marra, Daniel McNeill and Andrea Pedrini. The space of directions of a polyhedron
12.00 – 12.30 Vincenzo Marra, Daniel Mcneill and Andrea Pedrini. Interpreting Lukasiewicz logic into Intuitionistic logic
12.30 – 13.00 Luca Spada. Dualities and geometry
Session 2 (Puteano)
11.30 – 12.00 Peter Schuster. Controesempi minimali e logica minimale
12.00 – 12.30 Francesco Ciraulo. Closed subspaces in pointfree Topology
12.30 – 13.00 Riccardo Bruni and Giacomo Sillari. Logic and strategic rationality: a revision–theoretic perspective
13.00 – 14:30 Lunch
Session 1 (Aula Dini)
14.30 – 15.00 Mauro Di Nasso. Applications of nonstandard analysis in combinatorics of numbers
15.00 – 15.30 Lorenzo Luperi Baglini. Nonstandard Techniques in Combinatorial Number Theory
15.30 – 16.00 Daisuke Ikegami. Large cardinals, forcing axioms, and the theory of subsets of omega_1.
16.00 – 16.30 Emanuele Frittaion. Reverse mathematics and well-scattered partial orders
Session 2 (Puteano)
14.30 – 15.00 Domenico Cantone, Marianna Nicolosi Asmundo and Ewa Orlowska. A relational dual tableau procedure to decide some fragments of logic of relations
15.00 – 15.30 Maria Emilia Maietti, Samuele Maschio and Takako Nemoto. A Kleene realizability model for the Minimalist Foundation
15.30 – 16.00 Giulia Battilotti. Simmetry in sequent calculus from quantum computation
16.00 – 16.30 Francesca Poggiolesi. An alternative proof-theoretical approach to standard conditional logics
16.30 – 17.00 Coffee Break
17.00 – 18.00 Assemblea dei soci (Aula Dini)
Sessione speciale Le direzioni della ricerca logica in Italia
09.00 – 09:15 Apertura
09:15 – 10:00 A. Andretta, Teoria degli insiemi
10:00 – 10:45 A. Berarducci, Teoria dei modelli
10:45 – 11:15 Pausa
11:15 – 12:00 F. Cardone, Logica e informatica
12:00 – 12:45 M. D’Agostino, La logica nelle scienze sociali
12:45 – 14:30 pranzo
14:30 – 15:15 G. Gerla, Logica e didattica
15:15 – 16:00 F. Montagna, Logiche polivalenti
16:00 – 16:15 Pausa
16.15 – 17.00 G. Sambin, Matematica costruttiva
17:00 – 17.45 G. Sartor, Logica e giurisprudenza
17:45 – 18:00 Chiusura
SeAllora 