logic in italy

La logica in Italia - Logic in Italy

Gruppi di ricerca e istituzioni - Research Groups and Institutions

Associazione Italiana di Logica e sue Applicazioni (AILA)
Dalla Home Page: "L'associazione ha come scopo la diffusione dello studio e della conoscenza della logica in tutte le sue forme, l'avanzamento della ricerca e la promozione delle sue appplicazioni. Essa si riconosce nelle finalità e negli obiettivi della Association for Symbolic Logic.". Curata da Pino Rosolini (presso il Dipartimento di Informatica e Scienze dell'Informazione dell'Università di Genova), comprende informazioni sull'AILA e sui seminari di logica matematica organizzati in varie università italiane, oltre ad alcuni links.

Complexity, Logic and Recursion Theory, Università di Torino
Pagina in costruzione. Per ora contiene solo i links alle persone che lavorano in tale campo presso il Dipartimento di Computer Science (Lavinia Egidi, Gabriele Lolli, Piergiorgio Odifreddi ).

Department of Pure and Applied Mathematics, University of Padoa
Ancora in costruzione, fornisce informazioni sui settori di ricerca, sullo staff e gli studenti. Vi si possono trovare alcuni lavori online.

Homepage SILFS
Tutto sulla Società Italiana di Logica e Filosofia della Scienza; informazioni su eventi, pubblicazioni, risorse di rete, etc.

Logics of Programs Group - Torino
Sito del Dipartimento di Computer Science di Torino, ancora in costruzione; contiene per il momento solo l'elenco delle persone che vi lavorano e i loro programmi.