prima pagina > attività > eventi patrocinati
english version

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
Last modified: March 16, 2016 8:22:46 AM CET.