Eventi patrocinati dall’ AILA

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

Logica Algebra and Truth Degrees + MOSAIC Kick off meeting
4 – 11 settembre 2022, Paestum (Salerno).

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: EngIta.    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