Salta al contenuto
Eventi Patrocinati
- 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: 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