85th Peripatetic Seminar on Sheaves and Logic

24-25 March 2007
Nice, France

The conference will be held at the Université de Nice Sophia-Antipolis.

The recommended hotel is the Hotel Mirabeau, 15 av. Malausséna, tel : (+33) (0) 493883367.
The university rate is 45.70 Euros per night; there are plenty of other options in Nice if you want something more expensive!

Contact
Any queries may be addressed to the organiser: Eugenia Cheng (eugenia {at} math.unice.fr)
For urgent contact during your trip to the France, you can call Eugenia's mobile on: 06.12.01.26.85 (from overseas replace 0 with +33)

On this website you can find the following information:
Programme
Participants
Schedule
Information about facilities
Information about reimbursement

And also:

Programme

Note that the clocks go forward one hour for summer time during the night in the middle of the PSSL.
This means that if you forget, you will miss the first talks on Sunday morning...

Local maps with all relevant places marked will be available at the Hotel Mirabeau when you check in.

Friday 23rd March

7pm: suggested meeting place for anyone who's arrived by then - Taverna Masséna, 25 rue Masséna

* Note that it's a bit hard to make large group bookings in Nice so this
is an informal meeting suggestion. 7pm is quite early for dinner here, so it
shouldn't be a problem, though we may end up at several smaller tables
rather than one large one. I will tell them we are a group of mathematicians,
in case you need to ask where we are! (We might be upstairs.) If you can't
arrive until later, do come and look for us.

Saturday 24th March

9.00-9.15: registration - please bring 20 Euros in cash for dinner payment, if relevant (not 25 as previously announced)

9.15-12.15: talks

12.15: lunch served in Laboratoire J.A. Dieudonné

14.45-17.45: talks

20.00: dinner at Le Balico, 22 av St Jean Baptiste

to be updated regularly

Name	Affiliation	Talk	Nights
Pierre Abbrugiati	Université de Nice Sophia-Antipolis		-
Michael Batanin	Macquarie University	Opetopes and polynomial monads	23,24
Clemens Berger	Université de Nice Sophia-Antipolis	Small CW models for Eilenberg-Mac Lane spaces	-
Marie Bjerrum	University of Cambridge		23,24
Dominique Bourn	Université du Littoral (Calais)	On the classification of "non pointed additive" categories	23,24,25
Olivia Caramello	University of Cambridge		23,24
Eugenia Cheng	Université de Nice Sophia-Antipolis		-
Denis-Charles Cisinski	Université de Paris 13	Model categories	23,24
Jeff Egger	none/Dalhousie	On the definition of C*-algebra	23,24,25
(Emmanuel Galatoulas)	(University of Athens)	(Towards a bicategorical quantum calculus)	(23,24,25)
Richard Garner	University of Uppsala	When pseudo comes for free	23-30
Julia Goedecke	University of Cambridge		23,24
Miles Gould	University of Glasgow	Presentation-independence of categorified operadic theories	23,24
Marino Gran	Université du Littoral		23,24
Marco Grandis	Università di Genova	Weak cubical categories	23,24
André Hirschowitz	Université de Nice Sophia-Antipolis		-
Michel Hirschowitz	CEA		-
Tom Hirschowitz	ENS Lyon		-
Robin Houston	University of Manchester		23,24,25
Martin Hyland	University of Cambridge		23,24
Anders Kock	University of Aarhus
Joachim Kock	Universitat Autònoma de Barcelona	Polynomial functors and trees
Peter Johnstone	University of Cambridge	Artin glueing for quasitoposes	23,24
François Lamarche	LORIA	Beating the Joyal paradox: things that are to categories what Boolean algebras are to posets	23,24
Tom Leinster	University of Glasgow	Jonsson-Tarski toposes	-
Micah McCurdy	University of Cambridge		23,24
Beppe Metere	University of Milan	(The ziggurat of) exact sequences of n-groupoids	23,24
Luigi Santocanale	LIF, Université de Provence	Derived Semidistributive Lattices	23,24
Carlos Simpson	Université de Nice Sophia-Antipolis		-
Graham White	Queen Mary, University of London	2-categories and the philosophy of action
(Panagiotis Xiros)	(National Technical University of Athens)		(23,24,25)
Julianna Zsido	Université de Nice Sophia-Antipolis		-

Saturday 24th March
9.15 - 9.40	Peter Johnstone	Artin glueing for quasitoposes
9.45 - 10.10	Dominique Bourn	On the classification of "non pointed additive" categories
10.15 - 10.40	Beppe Metere	(The ziggurat of) exact sequences of n-groupoids
C O F F E E B R E A K
11.20 - 11.45	Richard Garner	When pseudo comes for free
11.50 - 12.15	Miles Gould	Presentation-independence of categorified operadic theories
L U N C H
14.45 - 15.10	Marco Grandis	Weak cubical categories
15.15 - 15.40	Graham White	2-categories and the philosophy of action
15.45 - 16.10	Tom Leinster	Jonsson-Tarski toposes
C O F F E E B R E A K
16.50 - 17.15	François Lamarche	Beating the Joyal paradox: things that are to categories what Boolean algebras are to posets
17.20 - 17.45	Luigi Santocanale	Derived Semidistributive Lattices
D I N N E R 8pm

Sunday 25th March Note clocks go forward by one hour!
9.45 - 10.10	Joachim Kock	Polynomial functors and trees
10.15 - 10.40	Michael Batanin	Opetopes and polynomial monads
C O F F E E B R E A K
11.20 - 11.45	Denis-Charles Cisinski	Model categories
11.50 - 12.15	Jeff Egger	On the definition of C*-algebra
12.20 - 12.45	Clemens Berger	Small CW models for Eilenberg-Mac Lane spaces