Abstract submission is now CLOSED.
Booklet with all abstracts (both invited and contributed talks).
Accepted contributed talks
- Stefano BARATELLA, A predicate extension of real valued logic
- Gianluca BASSO, Projective Fraïssé limits of partial orders
- Giulia BATTILOTTI, Milos BOROZAN and Rosapia LAURO GROTTO, From basic logic to a quantum logical approach to Matte Blanco’s bi-logic
- Alessandro BERARDUCCI, Surreal differential calculus and transeries
- Stefano BONZIO, Tommaso MORASCHINI and Michele PRA BALDI, The regularization of a logic
- Emanuele BOTTAZZI, Describing limits of bounded sequences of measurable functions via nonstandard analysis
- Filippo CALDERONI, The bi-embeddability relation for countable abelian groups
- Riccardo CAMERLO, Wadge hierarchies towards generalised Wadge hierarchies
- Olivia CARAMELLO, Theories of presheaf type as a basic setting for topos-theoretic model theory
- Lorenzo CARLUCCI, Weak yet strong restrictions of Hindman’s finite sums theorem
- Raphäel CARROY, Topological embeddability between functions
- Filippo CAVALLARI, Descriptive set theory and automata
- Jules CHOQUET, Giulio GUERRIERI, Luc PELLISSIER, Lorenzo TORTORA DE FALCO and Lionel VAUX, Normalization by evaluation in linear logic
- Marcello D’AGOSTINO, Informational semantics and depth-based natural deduction for classical logic
- Paola D’AQUINO, Ultraproducts and Spec(Ẑ)
- Vincenzo DIMONTE, Left distributive algebras beyond I0
- Jacopo EMMENEGGER and Erik PALMGREN, Categorical quotient completions, local cartesian closure and choice principles
- Alberto FIORI and Claudio SACERDOTI COEN, Towards an implementation in LambdaProlog of the two level Minimalist Foundation
- Tommaso FLAMINIO and Hykel HOSNI, On coherence, strict coherence and logic
- Miriam FRANCHELLA, L. E. J. Brouwer and A. Heyting on foundational labels. their creation and use
- Guido GHERARDI and Alberto MARCONE, Computational complexity of projection operators
- Lorna GREGORY and Gena PUNINSKI, Ziegler spectra of serial rings
- Sonia L’INNOCENTE and Vincenzo MANTOVA, Factorisation theorems for generalized power series
- Giorgio LAGUZZI, Social welfare relations and descriptive set theory
- Serafina LAPENTA, Ioana LEUSTEAN and Antonio DI NOLA, Infinitary logic and compact Hausdorff spaces
- Giacomo LENZI, Antonio DI NOLA, Luca SPADA and Vincenzo MARRA, A generalized Chang completeness theorem
- Paolo LIPPARINI, Problems about the Jónsson distributivity spectrum
- Lorenzo LUPERI BAGLINI, Non standard methods in combinatorial number theory
- Roberto MAIELI, Generalized connectives of linear logic
- Francesco MANGRAVITI, The isomorphism relation of classificable shallow theories
- Enrico MORICONI, On K. Popper’s decomposition of logical notions
- Sara NEGRI, A proof-theoretic approach to formal epistemology
- Gianluca PAOLINI, Polish topologies for graph products of groups
- Matteo PASCUCCI, Temporal irreflexivity in terms of a propositional constant
- Marco PEDICINI and Mario PIAZZA, Stream abstract machines. parallel and non-deterministic execution
- Iosif PETRAKIS, Typoids in Martin-Loef's intensional type theory
- Davide RINALDI, Peter SCHUSTER and Daniel WESSEL, Extension by conservation. from transfinite to finite proof methods in abstract methods
- Luca SAN MAURO, Measuring the complexity of reductions betweeen equivalence relations
- Giorgio SBARDOLINI, The paradox of no properties in ramified logic
- Luca SPADA, Denominator respecting maps
- Silvia STEILA, Playing with equivalent forms of CH
- Giuseppina TERZO, Generic solutions of exponential polynomial over the complex field
- Carlo TOFFALORI, Decidability of the theory of modules of Bézout domains with infinite residue fields
- Riccardo TREGLIA, We Need LOv abstract machine for call-by-need calculus, and its complexity
- Sara UGOLINI, On some varieties generated by generalized rotations of residuated lattices
- Andrea VACCARO, Trace spaces of counterexamples to Naimark’s Problem
- Matteo VIALE, Useful axioms
Booklet with all abstracts (both invited and contributed talks).