Bob Coecke

\*Home
\*Events
\*Papers
\*Links
\*QICS

Logic from Quantales

We will be having a one-day *Logic from Quantales* workshop at Oxford University Computing Laboratory on Friday the 21st of January 2005. It will take place in room 147 of the Computing Laboratory, which is at the corner of Parks road and Keble road. Everyone is welcome! For details contact Bob Coecke.

Participants so far include Alexandru Baltag (Oxford), Bob Coecke (Oxford), Ross Duncan (Oxford & Paris), Christopher J. Mulvey (Cambridge & Sussex), Hilary Priestley (Oxford), Pedro Resende (IST Lisbon, Portugal), Sonja Smets (VUBrussels, Belgium), Isar Stubbe (Louvain-La-Neuve, Belgium), Mehrnoosh Sadrzadeh (UQaMontreal, Canada & Oxford), Vincent Schmitt (Leicester), Steve Vickers (Birmingham), Joel Zamora (Sussex).

group picture 1 (no Baltag)

group picture 2 (no Sadrzadeh)

PROGRAM:

  • 10.00 - 11.00 arrival with tea, coffee and cookies

  • 11.00 - 11.45 Mulvey & Zamora: Quantal sets over an involutive quantale

  • 11.45 - 12.30 Sadrzadeh (joint work with Baltag and Coecke): Epistemic quantales download papers

  • 12.30 - 14.00 lunch

  • 14.00 - 14.45 Resende: Supported quantales: an interface between modal logic and geometry download slides

  • 14.45 - 15.30 Schmidt: Enrichements on quantaloids: what i know

  • 15.30 - 16.00 break with tea, coffee, cookies and workshop photo

  • 16.45 - 17.30 Baltag (joint work with Smets): Quantum dynamic algebra

  • 17.30 - ... Beer in pub