[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear All,

The next workshop on "Categories, Logic and Foundations of Physics" will 
take place at Oxford University, August 23-24.  Programs and videos of 
previous workshops are available:

* http://categorieslogicphysics.wikidot.com/

We have several confirmed speakers:

1. Steve Vickers (Birmingham, Computer Science)
    http://www.cs.bham.ac.uk/~sjv/
2. Louis Crane (Kansas State, mathematics)
    http://www.fqxi.org/large-grants/awardee/details/crane
3. Keith Hannabus (Oxford, Mathematics)
    http://users.ox.ac.uk/~kch/
4. John Barrett (Nothingham, Mathematics)
    http://www.maths.nottingham.ac.uk/personal/jwb/
5. Chris Fewster (York, Mathematics)
    http://www-users.york.ac.uk/~cjf3/
6. Simon Perdrix (Oxford, Computer Science)
    http://www.comlab.ox.ac.uk/people/Simon.Perdrix/
7. Mehrnoosh Sadrzadeh (Paris VII, PPS)
    http://www.pps.jussieu.fr/~mehrs/
8. Simon Willerton (Sheffield, Mathematics; YouTube Catsters)
    http://www.simonwillerton.staff.shef.ac.uk/
    http://youtube.com/user/TheCatsters

but are expected to have several more.  It was requested by the audience 
at the last workshop to provide tutorials, namely quantum theory for 
mathematicians and category theory for physicists.  At this workshop we 
will provide the first:

* Tutorials on quantum theory for mathematicians

On Saturday morning and early afternoon.  Travel and hotel information 
will be made available at the website very soon.  As before, for reasons 
of logistics, could you please let us know if you intend to attend.

Best wishes, Bob Coecke and Andreas Doering.

Reply via email to