{{menu|Events|KGRC Mini-Workshop}} On Wednesday, July 12 and 13, 2011, the KGRC hosts an informal workshop. ==Program== ===Tuesday, July 12===
Sandwiches at the KGRC (starting around 12:00) | ||
14:00 – 15:00 | '''Bob Coecke''' (Oxford U., UK) | The logic of quantum mechanics, Take II abstract |
15:00 – 16:00 | '''Cameron Freer''' (U. of Hawaii, USA) | Invariant measures on countable structures. abstract |
Break | ||
16:30 – 17:30 | '''Colin McLarty''' (Case Western U., USA) | Why is so much of category theory constructive? |
Dinner at Porzellan, starting at 18:30 |
10:00 – 11:00 | '''Philip Welch''' (U. of Bristol, UK) | Operators and Determinacy abstract |
11:00 – 12:00 | '''Sam Sanders''' (Ghent U., Belgium) | Nonstandard Analysis: the star of Reverse Mathematics |
Lunch at Flein, starting 12:30 |