To Gianpiero Cattaneo for his 70th birthday
December, 14th 2012
Sala Seminari, DISCo, Ed. U14, Università degli Studi di Milano-Bicocca
Program
11.15 Welcome
11.30 A. Skowron “Risk management in interactive computational systems”
12.30 Lunch
14.00 M. L. Dalla Chiara “Epistemic quantum computational structures in a Hilbert-space environment”
15.00 E. Formenti “Acceptance conditions for ω-languages”
16.00 Conclusion
Registration: Please confirm your presence by December, 7th to: ciucci@disco.unimib.it, dennunzio@disco.unimib.it
Access to DISCo: http://www.disco.unimib.it/go/Home/English/Special-Pages/Secondary-menu/How-to-reach-us