Eventi patrocinati dall’ AILA

Category Theory 2020->21
30 agosto – 4 settembre 2021

CCA 2020 (Computability and Complexity in Analysis)
9–11 settembre 2020  Università di Bologna, Italy

“ULTRAMATH 2020”
31 maggio – 6 giugno 2020, Università di Pisa, 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