Day 1: Thursday 7 May 2015
|
Thursday 7 May |
|
|
9:00-9:20 |
Welcome and coffee |
|
9:25-9:30 |
Opening words by Sonja Smets |
|
9:30-10:15 |
Talk by John Harding : Products or Sums |
|
10:15-11:00 |
Talk by Samson Abramsky Contextuality: At the borders of paradox |
|
11:00-11:20 |
Coffee break |
|
11:20-12:05 |
|
|
12:05-12:50 |
Talk by Pierfrancesco La Mura Entangled Preferences |
|
12:55-14:00 |
Lunch |
|
14:00-14:45 |
Talk by Christian Schaffner: Non-Local Games and Their Parallel Repetition |
|
14:45-15:30 |
|
|
15:30-15:50 |
Coffee Break |
|
15:50-16:35 |
|
|
16:35-17:20 |
|
|
17:20-18:05 |
Talk by Alessandra Palmigiano SGF-Quantales and their groupoids |
|
19:00 |
Conference dinner |
Day 2: Friday 8 May 2015
|
Friday 8 May |
|
|
9:30-10:15 |
Talk by Roberto Giuntini : From Sharp to Unsharp Quantum Logic: A New Look at the Effects of a Hilbert Space |
|
10:15-11:00 |
Talk by Marisa Dalla Chiara : A first-order epistemic quantum computational semantics |
|
11:00-11:20 |
Coffee Break |
|
11:20-12:05 |
Talk by Bart Jacobs : Effectus Theory and Beyond |
|
12:05-12:50 |
Talk by Isar Stubbe : Topology on an enriched category; The curious case of parial metrics |
|
12:55-14:00 |
Lunch |
|
14:00-14:45 |
Talk by Prakash Panangaden : Quantum Alternation: Prospects and Problems |
|
14:45-15:30 |
Talk by Peter Selinger : Number-theoretic methods in quantum computing |
|
15:30-15:50 |
Coffee Break |
|
15:50-16:35 |
Talk by Shengyang Zhong : Non-Orthogonality in Quantum Theory |
|
16:35-17:20 |
Talk by Jort Bergfeld : Completeness for a quantum hybrid logic. |