[TYPES/announce] 6th Workshop on Categories, Logic and Foundations of Physics, Oxford, 9th March 2010

Bob Coecke Bob.Coecke at comlab.ox.ac.uk
Mon Jan 25 09:39:29 EST 2010


Dear all,

The sixth workshop on:
"Categories, Logic and Foundations of Physics" (CLP 6),
http://categorieslogicphysics.wikidot.com/

will take place at:
Oxford University Computing Laboratory
Tuesday, 9th March 2010, 12:00 - 18:20.

REGISTRATION: For logistic reasons, it would be helpful if you send
us a quick email if you would like to take part. Many thanks!

Our workshop series is aimed at nourishing research in the fields
named in the title and at bringing together scientists from the different
fields involved.  The videos and slides of previous workshops plus a
number of talks from other events are available from:
http://categorieslogicphysics.wikidot.com/events
The site is constantly growing.

SPEAKERS AND SCHEDULE:

Room 478:
12.00-12.50 Martin Hyland (Cambridge)
http://www.dpmms.cam.ac.uk/~martin/

Lecture Theatre A:
14.00-14.50 Boris Zilber (Oxford)
http://people.maths.ox.ac.uk/zilber/
14:50-15.40 Pawel Blasiak (Krakow)
http://www.ifj.edu.pl/~blasiak/
15:40-16:10 Why n-categories?
Panel discussion with Tom Leinster, Urs Schreiber
and any other n-category cafe server who shows up:
http://golem.ph.utexas.edu/category/

16:40-17:30 Urs Schreiber (Hamburg)
http://www.math.uni-hamburg.de/home/schreiber/
17:30-18:20 Bertfried Fauser (Birmingham)
http://www.cs.bham.ac.uk/~fauserb/

Please bring the workshop to the attention of others who might be
interested.  We are maintaining a mailing list so please let us know
if you either wish to be removed from it or adjoined to it.

Best regards, Andreas Doering and Bob Coecke.

P.S.: Since both Andreas Doering, Jamie Vicary and newly recruited CLP'er
Chris Heunen have all joined the Oxford University Computing Laboratory:
http://web.comlab.ox.ac.uk/activities/quantum/
the entire CLP team is now located in one place. We hereby invite people
at other (relatively easy to reach) institutions to host future CLP 
events.






More information about the Types-announce mailing list