| FISLAB - Complex and Uncertain Systems Laboratory |  |
You are here: start » Il paradigma computazionale e i modelli della razionalità, III
Dipartimento di Informatica, Sistemistica e Comunicazione
Università degli Studi di Milano-Bicocca
IV piano Aula Seminari Edificio U7
Piazza dell'Ateneo Nuovo 1, Milano
23 Novembre 2006
| 9.00 | G. Cattaneo (Dipartimento di Informatica, Sistemistica e Comunicazione, Università di Milano-Bicocca) R. Leporini (Dipartimento di Matematica, Statistica, Informatica e Applicazioni, Università di Bergamo) Dal paradigma booleano verso la computazione quantistica: il ruolo della reversibilità |
|---|---|
| 10.00 | M.L. Dalla Chiara (Dipartimento di Filosofia, Università di Firenze) Reversibilità e irreversibilità nella computazione quantistica e nelle logiche quantistiche computazionali |
| 11.00 | Coffee break |
| 11.15 | Giacomo Mauro D'Ariano (Dipartimento di Fisica A. Volta, Università di Pavia) Assiomi operazionali per la meccanica quantistica |
| 14.00 | D. De Falco (Dipartimento di Scienze dell'Informazione, Università Statale di Milano) D. Tomascelli (Dipartimento di Matematica, Università Statale di Milano) Interacting Quantum Walks |
| 15.00 | F. Cardone (Dipartimento di Informatica, Sistemistica e Comunicazione, Università di Milano-Bicocca) Calcolabilità in pratica e prospettiva ultrafinitista |
| 16.00 | Coffee break |
| 16.15 | G. Cattaneo (Dipartimento di Sistemistica, Informatica e Comunicazione, Università di Milano-Bicocca) Operatori, operazioni e operazionalismo: paradigmi concettuali al confine tra fondamenti matematici e aspetti metateorici delle teorie quantistiche |
