The Quantum and Computational Linguistics groups
of the Oxford University
Computing Laboratory,
in cooperation with
the
Institute for Logic, Language and Computation at the
University of Amsterdam, the
University of Utrecht, and the
Radboud University Nijmegen,
will host a three-day workshop on the interplay between algebra and
coalgebra that can be thought of as information flow,
and its
applications to quantum physics and linguistics,
funded by
the British Council
and Platform Bèta Techniek.
The aim of the workshop is to bring people together from the fields of quantum groups, categorical quantum mechanics, logic, and linguistics, to exchange talks and ideas of a (co)algebraic nature, about the interaction between algebras (monoids) and coalgebras (comonoids) that can be thought of as "information flow". Many such structure have been found useful across these fields, such as Frobenius algebras and bialgebras such as Hopf algebras. They have also showed up in grammatical and vector space models of natural language to for example encode meaning of verbs and logical connectives. Pictorial and diagrammatic methods play a major role in each of these fields to depict the flow of information and simplify the computations thereof.
Thus, topics include:
There will be tutorials on graphical categorical methods in quantum protocols, quantum logic, and vector space models of meaning.
Below is the (tentative) schedule; abstracts can be found on a separate page.
19.00 - 23.00: welcome drinks in the Royal Oak.
9.30 - 10.00: registration
10.00 - 10.45: Stephen
Clark (Cambridge), Compositional and distributional models of
meaning for natural language
10.45 - 11.15: Daoud
Clarke (Hertfordshire), Language as an algebra
11.15 - 11.45: tea
11.45 - 12.30: Michael
Moortgat (Utrecht), Beyond
the context-free boundary: generalizing Lambek calculus
12.30 - 13.00: Arno Bastenhof (Utrecht), Phase semantics and focused proof search for
the Lambek-Grishin calculus
13.00 - 14.30: lunch
14.30 - 15.30: Shahn
Majid (London), Braided algebra
15.30 - 16.00: Bertfried
Fauser (Birmingham), Some graphical aspects of Frobenius algebras
16.00 - 16.30: tea
16.30 - 17.30: Michael Müger
(Nijmegen), Modular categories: a survey
17.30 - 18.00: Joost
Vercruysse (Brussels), Kleisli Hopf algebras
10.00 - 10.45: Bob
Coecke (Oxford), Lambek vs Lambek - type grammars and resulting
information-flows for compositional distributional meaning
10.45 - 11.15: Lucas Dixon
(Edinburgh), Plans, actions and dialogue using linear
logic
11.15 - 11.45: tea
11.45 - 12.15: Ross Duncan (Brussels), Finding the true flow in
measurement-based quantum computation
12.15 - 13.00: Samson
Abramsky (Oxford), Non-unital Frobenius algebras:
first steps in infinite-dimensional categorical quantum mechanics
13.00 - 14.30: lunch
14.30 - 15.10: Mai Gehrke
(Nijmegen), Relational semantics in the
not-necessarily-distributive setting
15.10 - 15.30: Sam van
Gool (Nijmegen), Discrete duality for downset lattices and their
residuated operations
15.30 - 15.50: Alessandra
Palmigiano (Amsterdam), Groupoid quantales beyond the etale
setting
15.50 - 16.20: tea
16.20 - 17.00: Bart Jacobs
(Nijmegen), Coalgebraic walks, in quantum and Turing computation
17.00 - 17.20: Dirk
Pattinson (London), Knowledge representation,
coalgebraically
17.20 - 17.40: Helle Hansen
(Eindhoven), Specifying pointwise operations on final coalgebras
17.40 - 18.00: Raul
Leal Rodriguez (Amsterdam), Modalities in the Stone age
19.00: Halloween workshop dinner at Chutneys
10.00 - 10.45: Anne Preller (Montpellier), Three compact closed categories for natural
language processing
10.45 - 11.15: Peter
Hines (York), Types and forgetfulness in categorical linguistics
and quantum mechanics
11.15 - 11.45: tea
11.45 - 12.10: Edward
Grefenstette (Oxford), Concrete sentence spaces
12.10 - 12.30: Sven
Aerts (Brussels), Multiplication and elimination of meaning in
compound concepts: products and dimensional issues in semantic space
12.30 - 13.00: Stephen
Pulman (Oxford), panel discission
Registration is free, but for logistic purposes, please inform one of the organizers Chris Heunen or Mehrnoosh Sadrzadeh if you plan to attend.
The talks will be held in Lecture Theatre B of the Computing Laboratory, which is number 16 on this map.
Getting to the venue should not be hard; here are excellent directions.
See this page for places to stay.
Organizers:
Chris Heunen
Mehrnoosh
Sadrzadeh