Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory object of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorEric
    • CommentTimeSep 11th 2010

    Website

    The categorical flow of information in quantum physics and linguistics

    October 29—31, 2010 Oxford, United Kingdom

    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. Topic

    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:

    • dagger monoidal categories and graphical calculi
    • Frobenius algebras
    • Hopf algebras
    • categorical quantum logic
    • type-logical analysis of syntax of natural languages
    • vector space models of natural languages meaning
    • logic and geometry of information retrieval

    There will be tutorials on graphical categorical methods in quantum protocols, quantum logic, and vector space models of meaning.

    Programme

    The programme will follow. Speakers will include:

    • Samson Abramsky (Oxford)
    • Daoud Clark (Hertfordshire)
    • Stephen Clark (Cambridge)
    • Bob Coecke (Oxford)
    • Lucas Dixon (Edinburgh)
    • Bertfried Fauser (Birmingham)
    • Mai Gehrke (Nijmegen)
    • Helle Hansen (Eindhoven)
    • Peter Hines (York)
    • Bart Jacobs (Nijmegen)
    • Shahn Majid (London)
    • Michael Moortgat (Utrecht)
    • Michael Müger (Nijmegen)
    • Alessandra Palmigiano (Amsterdam)
    • Benjamin Piwowarski (Glasgow)
    • Anne Preller (Montpellier)
    • Stephen Pulman (Oxford)
    • Keith van Rijsbergen (Glasgow)

    Registration

    Registration is free, but for logistic purposes, please inform one of the organizers Chris Heunen or Mehrnoosh Sadrzadeh if you plan to attend.

    Venue

    The talks will be held in the Computing Laboratory, which is number 16 on this map. On Friday in room 147, and on Saturday and Sunday in rooms 478 and Lecture Theatre B.

    Travel and accomodation

    Getting to the venue should not be hard; here are excellent directions.

    See this page for places to stay.

    Organizers: Chris Heunen Mehrnoosh Sadrzadeh