DAG WESTERSTAHL (Univ. of Uppsala)
Quantificatori generalizzati
aprile/maggio 1994 [4 lezioni]

PAOLO PAGLI (Univ. di Siena)
Insiemi produttivi, immuni e loro rapporto col teorema di Goedel
5 aprile 1995

YURI GUREVICH (Univ. Ann Arbour)
Logic, computer science and philosophy, or the holy cows of logicians
30 gennaio 1996

MAX CRESSWELL (Victoria Univ. Wellington)
Semantics of natural language
marzo 1996 [8 lezioni]

ROB GOLDBLATT (Victoria Univ. Wellington)
Modal logics of programs
ott-nov 1996 [7 lezioni]

martedì 29 ottobre
Modal languages and logics

mercoledì 30 ottobre
Propositional dynamic logic

giovedì 31 ottobre
Temporal logic of concurrency

lunedì 4 novembre
Hennessy-Milner logic of processes

lunedì 18 novembre
Modal mu-calculus

martedì 19 novembre
Canonical models and filtrations

mercoledì 20 novembre
Completeness of linear temporal logic

SOLOMON FEFERMAN (Stanford Univ.)
Does mathematics need new axioms ?
13 ottobre 1998

ANITA BURDMAN FEFERMAN
The saga of Alfred Tarski
13 ottobre 1998

MIRIAM FRANCHELLA (Univ. di Milano)
Origini e filosofia dell'Intuizionismo
19 novembre 1998

HENRIK LAGERLUND (Univ. of Uppsala)
Does Necessity imply Actuality? Ockham and Buridan on a Fundamental Issue in Modal Logic.
giovedì 3 maggio 2001

STEN LINDSTROM (Univ. of Umeo)
Two paradoxes in intensional logic: Russell-Myhill versus Kaplan
martedì 8 maggio 2001

SERGIO BERNINI (Univ. di Firenze)
La fondazione logicista dell'aritmetica
mercoledì 23 maggio 2001

Ricerche in corso
giovedì 14 giugno 2001

Lorenzo Sacchetti (Bologna)
Isabel D'Hanis (Ghent)
Tor Sandqvist (Uppsala)

DIDERIK BATENS (Univ. of Ghent)
Dynamic proofs
mercoledì 17 aprile 02

DIDERIK BATENS (Univ. of Ghent)
Who said there is no logic of induction!
giovedì 18 aprile 02

KRISTER SEGERBERG (Uppsala Univ.)
Can a modal logician understand action?
martedì 18 marzo 03

SIMONE MARTINI (Univ. di Bologna)
Sistemi 'impliciti' per la definizione di funzioni calcolabili in tempi
polinomiali mercoledì 28 gennaio 04

DAG WESTERSTAHL (Gothenburg University)
Putting compositionality in its place
giovedì 1 aprile 04

MAURO NASTI
La logica stoica come logica della rilevanza
mercoledì 27 ottobre 2004

WORKSHOP: COMPUTABILITA', VISIONE, LOGICA
giovedì 17 marzo 2005

Roy Dyckhoff (Univ. di St Andrews e ISA, Bologna)
Invertible Sequent Calculi

M.L.Dalla Chiara e R.Giuntini (Univ. di Firenze e Univ. di Cagliari)
Computazione quantistica

Alessandro Sarti (Univ. di Bologna)
Sull'architettura sub-Riemanniana della corteccia visiva

Ugo Dal Lago (Univ. di Bologna)
Due strutture unificanti per la complessità computazionale implicita

Andrea Asperti e Stefano Zacchiroli (Univ. di Bologna)
Gestione di basi di conoscenza matematica

Introducono Giorgio Sandri e Roberto Scazzieri

HANS HACKER (Goethe Univ. Frankfurt am M.)
La mente e le neuroscienze
Colloquio con un neuroradiologo
martedì 31 maggio 2005