AILA - Associazione Italiana di Logica e sue Applicazioni

Eventi Patrocinati

Educare alla razionalità. In ricordo di Franco Gentilin>

9-11 June 2016, Sestri Levante, Italy

In memoriam Franco Montagna

16-18 December 2015, Certosa di Pontignano, Siena, Italy

First Announcement - Primo Avviso

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 covegno

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