Workshop Themes

Saturday, June 15

Logic and Quantum

- Formal models of epistemic states and attitudes

- Formal models of scientific investigations

- New developments in logic

Talks:

A. Ledda- F.Paoli (Cagliari), R. Leporini- G.Sergioli (Bergamo and Cagliari), P. Minari (Florence), D. Mundici (Florence), S. Smets (Amsterdam), A. Baltag (Amsterdam)

Concert

Sunday, June 16

Music and Quantum

- Applications of quantum principles to formal music analysis

- Semantics for music and natural languages

- Formal models of musical expectations

Talks:

R.Blutner (Amsterdam), M. Dalla Chiara- R.Giuntini- E.Negri (Florence and Cagliari), H.Honing (Amsterdam), A. Marsden (Lancaster), M. Pearce (London), N. Schönberg (Venice and Vienna), C. Vaquero (Amsterdam)

Concert

Social dinner

Monday, June 17

Quantum

- Formal models for quantum interactions and correlations

- Quantum information

Talks:

S. Abramsky (Oxford), J. Bergfeld- K. Kishida (Amsterdam), F.De Martini (Rome), M. Inguscio (Florence), J. Sack- S. Zhong (Amsterdam), P.Verrucchi (Florence), K.Svozil (Vienna)