MONDAY 25 | ||
---|---|---|
9.00 – 9.20 | registration | |
AULA EMICICLO | ||
9.20 – 9.30 | opening | |
9.30 – 10.20 | Giovanni Sambin (Padova), Mathematics as a dynamic process: effects on the working mathematician | |
10.20 – 10.50 | coffee break | |
10.50 – 11.40 | Martino Lupini (Pasedena), Premio Montagna 2017, The complexity of the classification problem in ergodic theory | |
AULA EMICICLO | AULA ARAUCARIA | |
11.45 – 12.10 | Guido GHERARDI and Alberto MARCONE, Computational complexity of projection operators | Sara NEGRI, A proof-theoretic approach to formal epistemology |
12.10 – 12.35 | Luca SAN MAURO, Measuring the complexity of reductions betweeen equivalence relations | Jacopo EMMENEGGER and Erik PALMGREN, Categorical quotient completions, local cartesian closure and choice principles |
12.35 – 13.00 | Lorenzo CARLUCCI, Weak yet strong restrictions of Hindman’s finite sums theorem | Olivia CARAMELLO, Theories of presheaf type as a basic setting for topos-theoretic model theory |
AULA EMICICLO | ||
15.00 – 15.50 | Joan Bagaria i Pigrau (Barcelona), Large Cardinals beyond Choice |
|
15.50 – 16.20 | coffee break | |
AULA EMICICLO | AULA ARAUCARIA | |
16.20 – 16.45 | Matteo VIALE, Useful axioms | Miriam FRANCHELLA, L. E. J. Brouwer and A. Heyting on foundational labels. their creation and use |
16.45 – 17.10 | Vincenzo DIMONTE, Left distributive algebras beyond I0 | Enrico MORICONI, On K. Popper’s decomposition of logical notions |
17.10 – 17.35 | Raphäel CARROY, Topological embeddability between functions | Iosif PETRAKIS, Typoids in Martin-Loef's intensional type theory |
17.45 – 18.10 | Silvia STEILA, Playing with equivalent forms of CH | Giulio GUERRIERI, Generalized connectives of linear logic |
18.10 – 18.35 | Filippo CAVALLARI, Descriptive set theory and automata | Jules CHOUQUET, Giulio GUERRIERI, Luc PELLISSIER, Lorenzo TORTORA DE FALCO and Lionel VAUX, Normalization by evaluation in linear logic |
TUESDAY 26 | ||
---|---|---|
AULA EMICICLO | ||
9.30 – 10.20 | Michael Rathjen (Leeds), On relating type theories to (intuitionistic) set theories | |
10.20 – 10.50 | coffee break | |
10.50 – 11.40 | Antongiulio Fornasiero (Jerusalem), Premio Gentilini 2016, Entropy of actions of amenable groups |
|
AULA EMICICLO | AULA ARAUCARIA | |
11.45 – 12.10 | Riccardo CAMERLO, Wadge hierarchies versus generalised Wadge hierarchies | Marco PEDICINI and Mario PIAZZA, Stream abstract machines. parallel and non-deterministic execution |
12.10 – 12.35 | Gianluca PAOLINI, Polish topologies for graph products of groups | Riccardo TREGLIA, We Need LOv abstract machine for call-by-need calculus, and its complexity |
12.35 – 13.00 | Francesco MANGRAVITI, | Matteo PASCUCCI, Temporal irreflexivity in terms of a propositional constant |
AULA EMICICLO | ||
15.00 – 15.50 | Philip Scott (Ottawa), Recent Studies on coordinatizing MV algebras |
|
15.50 – 16.20 | coffee break | |
AULA EMICICLO | AULA ARAUCARIA | |
16.20 – 16.45 | Alessandro BERARDUCCI, Surreal differential calculus and transeries | Giacomo LENZI, Antonio DI NOLA, Luca SPADA and Vincenzo MARRA, A generalized Chang completeness theorem |
16.45 – 17.10 | Sonia L’INNOCENTE and Vincenzo MANTOVA, Factorisation theorems for generalized power series | Tommaso FLAMINIO and Hykel HOSNI, On coherence, strict coherence and logic |
17.10 – 17.35 | Giuseppina TERZO, Generic solutions of exponential polynomial over the complex field | Luca SPADA, Denominator respecting maps |
17.45 – 18.10 | Paola D’AQUINO, Ultraproducts and Spec(Ẑ) | Serafina LAPENTA, Ioana LEUSTEAN and Antonio DI NOLA, Infinitary logic and compact Hausdorff spaces |
18.10 – 18.35 | Lorna GREGORY and Gena PUNINSKI, Ziegler spectra of serial rings | Sara UGOLINI, On some varieties generated by generalized rotations of residuated lattices |
18.35 – 19.00 | Carlo TOFFALORI, Decidability of the theory of modules of Bézout domains with infinite residue fields | Stefano BONZIO, Tommaso MORASCHINI and Michele PRA BALDI, The regularization of a logic |
WEDNESDAY 27 | ||
---|---|---|
AULA EMICICLO | ||
9.30 – 10.20 | Salma Kulhmann (Konstanz), k-bounded exponential groups and exponential-logarithmic power series fields without log-atomic elements | |
10.20 – 10.50 | coffee break | |
10.50 – 11.40 | Luca Motto Ros (Turin), Premio Gentilini 2017, Borel reducibility and its relatives | |
AULA EMICICLO | AULA ARAUCARIA | |
11.45 – 12.10 | Gianluca BASSO, Projective Fraïssé limits of partial orders | Davide RINALDI, Peter SCHUSTER and Daniel WESSEL, Extension by conservation. from transfinite to finite proof methods in abstract methods |
12.10 – 12.35 | Andrea VACCARO, Trace spaces of counterexamples to Naimark’s Problem | Alberto FIORI and Claudio SACERDOTI COEN, Towards an implementation in LambdaProlog of the two level Minimalist Foundation |
12.35 – 13.00 | Filippo CALDERONI, The bi-embeddability relation for countable abelian groups | Giorgio SBARDOLINI, The paradox of no properties in ramified logic |
15.00 – 15.25 | Giorgio LAGUZZI, Social welfare relations and descriptive set theory | Stefano BARATELLA, A predicate extension of real valued logic |
15.25 – 15.50 | Lorenzo LUPERI BAGLINI, Non standard methods in combinatorial number theory | Giulia BATTILOTTI, Milos BOROZAN and Rosapia LAURO GROTTO, From basic logic to a quantum logical approach to Matte Blanco’s bi-logic |
15.50 – 16.15 | Emanuele BOTTAZZI, Describing limits of bounded sequences of measurable functions via nonstandard analysis | |
16.15 – 16.45 | coffe break | |
16.45 – 19.00 | AILA general meeting (aula emiciclo) | |
social dinner (40€ per person to be paid on arrival; menu) |
THURSDAY 28 | ||
---|---|---|
Special session. Direzioni della Ricerca Logica in Italia | ||
AULA EMICICLO | ||
9.30 – 10.15 | Giuseppe Rosolini (Genova), Teoria delle categorie e logica categoriale |
|
10.15 – 11.00 | Andrea Sorbi (Siena), Teoria della computabilità | |
11.00 – 11.30 | coffee break | |
11.30 – 12.15 | Alberto Marcone (Udine), Reverse Mathematics e Analisi Computazionale | |
12.15 – 13.00 | Maria Paola Bonacina (Verona), Deduzione automatica | |
15.00 – 15.45 | Andrea Asperti (Bologna), Verifica automatica | |
15.45 – 16.30 | Marco Forti e Mauro Di Nasso (Pisa), Metodi non standard | |
16.30 – 17.00 | coffee break | |
17.00 – 17.45 | Silvio Ranise (FBK Trento), Logica per model checking | |
17.45 – 18.30 | Michele Abrusci (Roma Tre), Logica Lineare | |
closing |
Download the printable version.
Abstracts of invited talks here.
Booklet with all abstracts (both invited and contributed talks).