List of accepted contributions (in order of submission) 

1. Lawrence Peter Belluce, Antonio Di Nola and Giacomo Lenzi. Diophantine Algebraic Geometry for MV-Algebras.
   
2. Nicola Galesi and Ilario Bonacina. Space Complexity in Algebraic proof Systems
   
3. Luca Bellotti. Von Neumann's consistency proof
   
4. Umberto Grandi, Davide Grossi and Paolo Turrini. Pre-Vote Negotiations and Binary Voting with Constraints
   
5. Eugenio Moggi. Categories for Collection Types
   
6. Maria Emilia Maietti, Samuele Maschio and Takako Nemoto. A Kleene realizability model for the Minimalist Foundation
   
7. Matteo Viale. Category forcings and generic absoluteness: steps towards a “complete" axiom system for set theory
   
8. Emanuele Frittaion. Reverse mathematics and well-scattered partial orders
   
9. Mauro Di Nasso. Applications of nonstandard analysis in combinatorics of numbers
   
10. Jan von Plato. Choice sequences in proof theory
    
11. Miriam Franchella. Logic according to Brouwer; logic according to Nietzsche
    
12. Vincenzo Dimonte. Very Large Cardinals and Combinatorics
    
13. Alberto Marcone. From WQOs to Noetherian spaces: some reverse mathematics results
    
14. Lorenzo Luperi Baglini. Nonstandard Techniques in Combinatorial Number Theory
    
15. Antongiulio Fornasiero. Homotopy theory in definably complete structures
    
16. Francesca Poggiolesi. An alternative proof-theoretical approach to standard conditional logics
    
17. Paola D'Aquino, Angus Macintyre and Giuseppina Terzo. Zero sets of exponential polynomials
    
18. Vincenzo Marra, Daniel McNeill and Andrea Pedrini. The space of directions of a polyhedron
    
19. Vincenzo Marra, Daniel Mcneill and Andrea Pedrini. Interpreting Lukasiewicz logic into Intuitionistic logic
    
20. Nathanaël Mariaule. p-adic numbers, exponential ring and decidability
    
21. Sonia L'Innocente. Rings of definable scalars of some $sl_3(\mathbb{C})$-modules
    
22. Luca Motto Ros. The Hurewicz dichotomy for generalized Baire spaces
    
23. Enrico Moriconi. Early Structural Reasoning. Gentzen 1932.
    
24. Olivia Caramello and Anna Carla Russo. The Morita-equivalence between MV-algebras and abelian l-groups with strong unit
    
25. Luca Spada. Dualities and geometry
    
26. Claudia Casadio and Michele V. Abrusci. A geometrical representation of the basic laws of Categorial Grammar
    
27. Roberto Maieli. Construction of Transitory Nets
    
28. Tommaso Flaminio, Lluis Godo and Hykel Hosni. La struttura logica della nozione di evento secondo de Finetti
    
29. Hector Freytes. Physical properties as modal operators in the intuitionistic approach to quantum mechanics
    
30. Tamara Servi. Quantifier Elimination for generalised quasianalytic classes
    
31. Riccardo Bruni and Giacomo Sillari. Logic and strategic rationality: a revision–theoretic perspective
    
32. Giorgio Audrito. Absoluteness via resurrection
    
33. Sara Negri. On proofs and countermodels
    
34. Andrea Strollo. Non standard truths. Toward a model-theoretic taxonomy of (conservative) axiomatic theories of truth
    
35. Matteo Pascucci. Defining necessity from contingency: a case study in tense logic
    
36. Giulia Battilotti. Simmetry in sequent calculus from quantum computation
    
37. Paolo Lipparini. Weak and local versions of measurability
    
38. Serafina Lapenta. An extention to the notion of MV-algebras: f MV-algebras
    
39. Paolo Pistone. Rules, types and the transcendence of second order logic
    
40. Riccardo Camerlo. Epimorphisms between linear orders
    
41. Angelo Montanari, Marco Pazzaglia and Pietro Sala. Interval Temporal Logics and Equivalence Relations
    
42. Antonino Drago. Which foundation for intuitionistic logic?
    
43. Peter Schuster. Controesempi minimali e logica minimale
    
44. Vincenzo Mantova. Raising to powers on the unit circle
    
45. Giulio Guerrieri and Lorenzo Tortora De Falco. Injectivity of relational semantics with respect to MELL
    proof-nets and the Taylor expansion
    
46. Luca San Mauro. "Chi beve molto ha una bella pelle": sul ruolo della logica nei concorsi pubblici
    
47. Francesco Ciraulo. Closed subspaces in pointfree Topology
    
48. Domenico Cantone, Marianna Nicolosi Asmundo and Ewa Orlowska. A relational dual tableau procedure to decide some fragments of logic of relations
    
49. Filippo Calderoni. Forcing e gruppi liberabili
    
50. Gemma Carotenuto. On the complexity of $\mathcal{T}-$regular sets
    
51. Eugenio Orlandelli. Proof Theory of Quantified Modal Logics
    
52. Daisuke Ikegami. Large cardinals, forcing axioms, and the theory of subsets of omega_1.
    
53. Laura Crosilla. Epistemological Constructivism
    
54. Giulio Pellitta and Ugo Dal Lago. Complexity Analysis in Presence of Control Operators and Higher-Order Functions
    
55. Giorgio Laguzzi. Regularity properties and tree forcings