Trends in Proof-Theory of Linear Logic,
Università degli Studi “Roma 3”
18-19 dicembre 2025 .
“Synthetic mathematics, logic-affine computation and efficient proof systems / Mathématiques synthétiques, calcul logique affine et systèmes de preuve efficients”
Centre International de Rencontres Mathématiques (CIRM), Luminy (Marseille, France)
8-12 settembre 2025
Logic, Algebras and Truth Degrees 2025
Università di Siena, Complesso Didattico San Niccolò
21-25 luglio 2025.
Model theory of tame expansions of topological fields,
Università Federico II, Napoli
19 maggio-18 luglio
PACM∧N 2025,
Università degli Studi “Roma 3”
12-17 maggio 2025.
Seminar series “History of Logic”
https://sites.google.com/view/holnaples
5th ITACA Workshop
Dipartimento di Matematica, Università degli Studi di Padova
19-20 dicembre 2024
Effectiveness and Continuity in Categorical Logic
A workshop dedicated to Pino Rosolini on the occasion of his 70th birthday
Dipartimento di Matematica, Università di Genova
12 – 13 settembre 2024
Ramsey Theory in Logic, Combinatorics and Complexity
Dipartimento di Matematica, Università di Pisa
11 – 14 giugno 2024
Proof, Argumentation, Computation, Modalities And Negation
Dipartimento di Informatica, Università degli Studi di Verona
20 – 22 marzo 2024
108th Peripatetic Seminar on Sheaves and Logic and workshop on Logic and Algebra
Palazzo d’Aumale, Terrasini (Palermo)
15 – 17 settembre 2023
The PTS-Network:
https://sites.google.com/view/ptsnetwork
Algebra Week 2023
Dipartimento di Ingegneria dell’Informazione e Scienze Matematiche, Università di Siena
4 – 7 luglio 2023
Logical Methods in Ramsey Theory and Related Topics
Aula Magna, Dipartimento di Matematica, Università di Pisa
10 – 11 luglio 2023
Type Theory, Constructive Mathematics and Geometric Logic
Luminy (Marseille), France
1 – 5 maggio 2023
Actions and norms in deontic logic
Dipartimento di Filosofia dell’Università Cattolica di Milano
20 settembre 2023
WORKSHOP on DOCTRINES and FIBRATIONS
Department of Mathematics, University of Padova, Italy
29 maggio – 1 giugno 2023
CCC 2022: Continuity, Computability, Constructivity – From Logic to Algorithms
Department of Mathematics “Tullio Levi-Civita” and ONLINE
19-23 settembre 2022, Padova, Italy.
Philosophy of mathematics: Foundations, Definitions, and Axioms. Fourth international conference of the Italian Network for the Philosophy of Mathematics – FilMat.
29 settembre – 1 ottobre 2022 – IUSS Pavia
PhDs in Logic XII
5 – 7 settembre 2022, Torino.
Logica Algebra and Truth Degrees + MOSAIC Kick off meeting
4 – 11 settembre 2022, Paestum (Salerno).
European Set Theory Conference 2022
29 agosto – 2 settembre 2022, Torino.
Model Theory and Applications 2022
20 – 25 giugno 2022, Università degli Studi della Campania.
Cross-Alps Logic Seminar
Università di Genova, Lausanne, Torino e Udine.
“ULTRAMATH 2022”
6-11 giugno 2022, Università di Pisa, Italy.
Category Theory 2020->21
30 agosto – 4 settembre 2021
CCA 2020 (Computability and Complexity in Analysis)
9–11 settembre 2020 Università di Bologna, Italy
“Algebra and Algorithms”
4–6 febbraio 2020, Djerba, Tunisia.
Eleatica Per Le Scuole
20 Settembre 2019, Ascea (Sa)
Bando “Il paradosso tra matematica, fisica e filosofia”
“Matematica e Filosofia per un nuovo percorso formativo
6–7 giugno 2019, Università di Salerno, Italy.
“Convegno nazionale Educare alla razionalità. L’insegnamento della matematica e della logica nella scuola secondaria
22-23 maggio 2019, Torino, Italy.
“Conference on Mathematical Logic” (satellite event of the ICM)
10-11 agosto 2018, Niterói, Brazil.
“Logic Colloquium 2018”
23-28 luglio 2018, Udine, Italy.
Toposes in Como
24-29 giugno 2018, Como, Italy.
AsubL (“Algebra & Substructural Logics”)
11-13 giugno 2018, Cagliari, Italy.
Matematica e Filosofia per un nuovo percorso formativo.
6-8 giugno 2018. Università di Salerno.
“Philosophy of mathematics: objects, structures, and logics”
Third international conference of the FilMat.
25-27 maggio 2018, Mussomeli (Caltanissetta), Italy.
“Workshop on Ramsey Theory of Equations and related topics”
16-17 febbraio 2018, Pisa, Italy.
Model Theory of Modules, Algebras and Categories (MOTMAC)
28 luglio-2 agosto 2017, Erice, Italy.
Educare alla razionalità. In ricordo di Paolo Gentilini
9-11 June 2016, Sestri Levante, Italy
In memoriam Franco Montagna
16-18 December 2015, Certosa di Pontignano, Siena, Italy
Announcement: Eng – Ita. Preliminary Programme
HaPoC 3: Third International Conference for the History and Philosophy of Computing,
8-11 october 2015, Pisa, Italy
Comfort 2015 Convegno in onore di Marco Forti, in occasione del suo pensionamento
22-23 maggio 2015, Dipartimento di Matematica, Pisa
Logica e didattica della Matematica, Convegno in onore di Giangiacomo Gerla per il suo 70mo compleanno
13-15 aprile 2015, Salerno
96th Peripatetic Seminar on Sheaves and Logic
11-12 October 2014, Palermo, Italy
Correctness by Construction CORCON 2014 Workshop
24-27 March 2014, Genoa, Italy
6th Young Set Theory Workshop
10-14 June 2013, Santuario di Oropa, Italy
Foundation of Mathematics for Computer-Aided Formalization
9-11 January 2013, Padova, Italy
Algebraic Semantics for Uncertainty and Vagueness
18th – 20th May 2011, Salerno, Italy
History and Philosophy of Computing
Gent, Belgium Novembre 7-10, 2011
Incontro di Logica in onore di Annalisa Marcja
Firenze 6-7 maggio 2010,
Informazioni dettagliate.
Quale logica per la didattica
Verona 23 – 25 ottobre 2009,
Programa dettagliato. Atti del convegno.
Advances in Constructive Topology and Logical Foundations
Workshop in Honour of the 60th Birthday of Giovanni Sambin.
Padova, 8-11 ottobre 2008
Giuseppe Peano and his School between Mathematics, Logic and Interlingua
Torino, 2-7 ottobre 2008
17th EACSL Annual Conference Computer Science Logic
Bertinoro, 15-19 settembre 2008
Logica matematica, costruzione dei concetti e processi socio-cognitivi
Salerno, 30 giugno – 3 luglio 2008
ManyVal’08 – Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic
Milano, 19 – 21 maggio 2008
Competenza Razionale, Logica, Curricoli
Genova 23 ottobre 2007
CiE 07 – Computation and Logic in the Real World
Siena, 18 – 23 giugno 2007