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


Sunday 25th March


9.15-12.45: talks




Participants 

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
-





Schedule
revised as of March 23

 

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


Information about facilities

Lecture room
Talks will take place in the main lecture room of the Laboratoire.  There is a vast amount of blackboard space, but the blackboards are a bit curious: they slide sideways.  There will also be an overhead projector and a data projector.

Internet access
Unfortunately the department is very short of computers at the moment so there are no computer rooms. Furthermore, the campus is not wirelessed. There are a couple of internet cafes on Rue Pertinax.




Information about reimbursement

If you are being reimbursed, please bring with you the following information to satisfy the bureacratic requirements.  You should make sure to present these on Saturday to Isabelle de Angelis, who will be taking care of registration and administrative matters all day.

- your home address
- your university address
- your plane ticket (electronic is fine) and boarding passes
- your hotel bill (thus you'll need to get this up front, rather than when you check out - or post it to us later)
- an "attestation" from your university that they're not paying you for this trip
(this can be an email from your department secretary to Isabelle De Angelis <Isabelle.DE_ANGELIS {at} unice.fr>)

and a lot of bank details:
- name and postal address
- account number
- swift/BIC code
- IBAN number
 



This site is maintained by Eugenia Cheng.  

Last updated 27th March 2007 at 11:07