AILA 2014

AILA 2014

XXV Incontro dell’Associazione Italiana di Logica e sue Applicazioni

Aula Dini - Palazzo del CastellettoScuola Normale SuperiorePiazza del Castelletto - Pisa

Relazioni su invitoAlex Wilkie (School of Mathematics, University of Manchester)Martin Hyland (Department of Pure Mathematics and Mathematical Statistics, University of Cambridge)Jon Williamson (Centre for Reasoning, University of Kent)Agata Ciabattoni (Technische Universität Wien)

Sessione speciale “Le direzioni della ricerca logica in Italia” (17 aprile)Alessandro Andretta (Dipartimento di Matematica, Università di Torino)Alessandro Berarducci (Dipartimento di Matematica, Università di Pisa)Felice Cardone (Dipartimento Informatica di Università di Torino)Marcello D’Agostino (Dipartimento di Economia, Università di Ferrara)Gianni Gerla (Dipartimento di Matematica, Università di Salerno)Massimo Mugnai (Scuola Normale Superiore)Franco Montagna (Dipartimento di Matematica, Università di Siena)Giovanni Sambin (Dipartimento di Matematica, Università di Padova)Giovanni Sartor (European University Institute, Fiesole)

Comitato scientificoAntonio Di Nola (Dipartimento di Matematica, Università di Salerno)Hykel Hosni (London School of Economics)Sonia L’Innocente (Università di Camerino)Gabriele Lolli (Scuola Normale Superiore)Massimo Mugnai (Scuola Normale Superiore)Giuseppe Rosolini (Università di Genova)Luca Roversi (Università di Torino)Carlo Toffalori (Università di Camerino)

Programma

Monday 14th April

8:45 – 9:15 Registration (Aula Dini)9:15 – 9:40 Opening (Aula Dini)9:40 - 10:30 (Aula Dini) Alex Wilkie (University of Manchester)The method of o-minimality10.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 Lunch14.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

9:00 – 9:50 (Aula Dini) Agata Ciabattoni (Technische Universität Wien)Tools for the investigation of substructural and paraconsistent logics

Sessione 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

Sessione 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

Sessione 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

Sessione 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

Sessione 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

Sessione 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 Break17.00 -  17.50 (Aula Dini)  Vincenzo Mantova.  Zilber fields and complex exponentiation (PREMIO AILA)

Wednesday 16th April

09:00 - 09:50 Martin Hyland (University of Cambridge)Models for Type TheorySessione 1 (Aula Dini) 10.00 - 10.30 Alberto Marcone. From WQOs to Noetherian spaces: some reverse mathematics results10.30 - 11.00  Filippo Calderoni. Forcing e gruppi liberabili

Sessione 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

Sessione 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

Sessione 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

Sessione 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

Sessione 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 Break17.00 - 18.00 Assemblea dei soci (Aula Dini)

Giovedì 17 aprile

Sessione speciale Le direzioni della ricerca logica in ItaliaSala Azzurra, Palazzo della Carovana 

09:00 – 09:15   Apertura09:15 - 10:00  Alessandro Andretta (Dipartimento di Matematica, Università di Torino) Teoria degli insiemi 10:00 - 10:45  Alessandro Berarducci (Dipartimento di Matematica, Università di Pisa), Teoria dei modelli 10:45 - 11:15  pausa caffè11:15 - 12:00 Felice Cardone (Dipartimento Informatica di Università di Torino), Logica e informatica 12:00 - 12:45  Marcello D’Agostino (Dipartimento di Economia, Università di Ferrara), La logica nelle scienze sociali 12:45 - 14:30 pausa pranzo14:30 - 15:15  Giangiacomo Gerla (Dipartimento di Matematica, Università di Salerno), Logica e didattica 15:15  - 16:00 Franco Montagna (Dipartimento di Matematica, Università di Siena) Logiche polivalenti 16:00  - 16:15 pausa caffè16:15 - 17:00  Giovanni Sambin (Dipartimento di Matematica, Università di Padova) Matematica costruttiva17:00 - 17:45  Giovanni Sartor (Istituto Europeo, Fiesole) Logica e giurisprudenza17:45 - 18:00  Chiusura

//-->



//-->



//-->



Locandina