88th Peripatetic Seminar on Sheaves and Logic



celebrating the 60th birthdays of

Martin Hyland and Peter Johnstone

4-5 April, 2009
Cambridge, UK
With generous support from the Morgan Phoa Family Fund
and the Department of Pure Mathematics and Mathematical Statistics, University of Cambridge.
 


Conference photos taken by Jürgen Koslowski are now available:
group photo
individual photos

A brief write-up of the weekend is here.
If you have any photos you'd like to add to the record of the weekend, please feel free to send them to Eugenia.

  Slides from talks are also now available





The conference will be based at Newnham College, Cambridge, with talks being held at the Centre for Mathematical Sciences (CMS).
The Celebration Dinner will take place on the evening of Friday 3rd April, at Gonville and Caius College.

Organisers
Eugenia Cheng (Sheffield)
Andy Pitts (Cambridge)

Contacts
Any queries may be addressed to: Eugenia Cheng (e.cheng {at} sheffield.ac.uk)

Registration
To register for the conference please read the Second Announcement and fill in the registration form at the bottom, to be returned via email to Eugenia Cheng.
(e.cheng {at} sheffield.ac.uk)

Deadlines
To propose a talk and/or apply for financial support: 31st January, 2009.
To book accommodation and/or dinner attendance: 28th February, 2009.
Please note that after this deadline, there may be accommodation/dinner availability problems, and/or extra charges.




On this website you will find the following information:
Programme
Participants
Schedule
Travel information
Logistical information


New!
Slides from talks
Description of the weekend as it happened

Also:
First announcement
Second announcement



Programme


Friday 3rd April
Newnham
Newnham College
12.00 onwards: check-in for residents at Newnham College
17.00-19.00:  registration, tea and coffee for all, at Sidgwick Hall, Newnham
19.30:  Celebration Dinner at Gonville and Caius College

Saturday 4th April
Caius
Gonville and Caius College
8.00-9.00: breakfast for residents at Newnham College (buttery)
9.30-10.25: talks at the Centre for Mathematical Sciences
10.25-11.00: coffee break
11.00-12.25: talks
12.45-13.45: lunch at Newnham College (buttery)
14.45-16.10: talks

cms
Centre for Mathematical Sciences

16.10-16.45: coffee break
16.45-17.40: talks
18.30 and 21.00: dinner at La Tasca.   (See note.)

Sunday 5th April
8.00-9.00: breakfast for residents at Newnham College

La Tasca
La Tasca
9.30-10.25: talks
10.25-11.00: coffee break
11.00-12.25: talks
12.45-13.45: lunch at Newnham College
15.00-16.25: talks
16.25-17.00: coffee to finish


Note: Since there are so many of us, there will be two sittings of dinner at La Tasca. There will be a sign-up sheet for these sittings at registration, to make sure only half of us turn up to each sitting!




Participants

to be updated regularly

NB The list of talks has now been decided, so talk titles now indicate talks that will actually be given.

Please let Eugenia know if you see any errors in your entry, especially if it concerns the nights you wish to stay at Newnham.
Also, please let Eugenia know if you have a home page that isn't linked.



Name
Affiliation
Talk
Nights at Newnham
Andrei Akhvlediani
University of Oxford
-
3,4
Peter Arndt
University of Göttingen
-
3,4,5
Steve Awodey
Carnegie Mellon University
-
3,4,5
Hugo Bacard
Université de Nice - Sophia Antipolis -
3,4,5
Igor Bakovic
Rudger Boskovic Institute
-
1,2,3,4,5
Bruce Bartlett
Stellenbosch University
-
3,4,5
Nick Benton
Microsoft Research
-
-
Davide Bernardini
Università di Roma -
-
Bodil Biering
IT University of Copenhagen
-
2,3,4
Marie Bjerrum
University of Cambridge
-
-
Ronnie Brown
Bangor University
-
3,4
Dominique Bourn 
Université du Littoral, Calais -
3,4,5
Jeremy Butterfield
University of Cambridge
-
-
Federico Cantero Morán
University of Barcelona
-
3,4
Olivia Caramello
University of Cambridge
Lattices of theories
-
Eugenia Cheng
University of Sheffield
-
-
Jonathan Chiche
Université de Paris 6 -
3,4,5
Maria Manuel Clementino
CMUC/University of Coimbra
-
3,4
Bob Coecke
University of Oxford
-
4
James Cranch
University of Leicester
-
-
Roy Crole
University of Leicester
-
-
Giovanni Curi
University of Verona
-
3,4
Pierre-Louis Curien
Université de Paris 7 The duality of computation under focus
-
Valeria de Paiva
Cuill, Inc. and University of Birmingham
-
-
Andreas Döring
Imperial College
-
3,4
Nicholas Duncan
University of Cambridge
Gros and Petit Toposes
2,3,4,5,6
Jeff Egger
University of Edinburgh
-
3,4,5,6
Adam Eppendahl
University of Malaya
-
2,3,4,5
Tomas Everaert
Vrije Universiteit Brussel
-
3,4
Marcelo Fiore
University of Cambridge
Algebraic type theory
-
Henrik Forssell
Masaryk University
-
3,4,5
Michael Fourman
University of Edinburgh
Classifying Quantales
3,4
Jonas Frey
Université de Paris 7
-
3,4
(Emmanuel Galatoulas)
University of Athens
-
3,4,5
Nicola Gambino
Universities of Palermo and Manchester
Monads in double categories
(joint work with Tom Fiore and Joachim Kock)
-
Richard Garner
University of Cambridge
Topological and simplicial models of type theory
-
Johan Glimming
University of Cambridge
-
-
Marino Gran
Université Catholique de Louvain
-
3,4
Julia Goedecke
University of Cambridge
Satellites in Semi-Abelian Categories
-
Hans Halvorson 
Princeton University
-
3,4
Michael Heather
Universities of Cambridge and Northumbria
-
3,4,5
David Holgate
University of Stellenbosch
-
3,4
Arthur Hughes
Trinity College, Dublin
-
4,5
Martin Hyland
University of Cambridge
-
-
Mauro Jaskelioff
University of Nottingham
-
3,4
Peter Johnstone
University of Cambridge
-
-
Chris Kapulkin
University of Warsaw
-
3,4,5
Panagis Karazeris
University of Patras
-
3,4,5
Magdalena Kędziorek
University of Warsaw
-
3,4,5
Toby Kenney
Univerzita Matej Bel
Free diads
-
Rudger Kieboom
Vrije Universiteit Brussel
-
3,4,5
Christian Kissig
University of Leicester
-
-
Joachim Kock
Universitat Autònoma de Barcelona
-
3,4
Anders Kock
University of Aarhus
-
3,4,5
Jürgen Koslowski
TU Braunschweig
-
2,3,4
Jerzy Krol
University of Silesia
-
2,3,4,5
Klaas Landsman
Radboud Universiteit Nijmegen
-
-
Aaron Lauda
Columbia University
Categorifying quantum groups
3,4,5
Finn Lawler
Trinity College, Dublin
-
3,4
Bill Lawvere
SUNY Buffalo
Open problems in Topos Theory
3,4,5
Tom Leinster 
University of Glasgow
Terminal coalgebras via modules
(joint with Apostolis Matzaris)

-
Fred Linton
Wesleyan University
-
-
Francisco Lobo
University of Manchester
-
3,4
John Longley
University of Edinburgh
-
3,4,5
Ignacio Lopez Franco
Université de Paris 7 -
-
Peter LeFanu Lumsdaine
Carnegie Mellon University
-
-
Maria Emilia Maietti
University of Padova
-
3,4
Apostolos Matzaris
University of Patras
Terminal coalgebras via modules
(joint with Tom Leinster)
3,4,5
Paul-André Melliès 
Université de Paris 7
An algebraic presentation of innocence
3,4,5
Matías Menni
Conicet & Lifia (Universidad Nacional de La Plata)
-
3,4
Samuel Mimram
Université de Paris 7 -
3,4
Ieke Moerdijk
Universities of Sheffield and Utrecht
On the notion of Reedy category
-
Rasmus Møgelberg 
IT University of Copenhagen
-
3,4
Eugenio Moggi
Università di Genova -
-
Christopher Mulvey
University of Sussex
-
3,4,5
Luke Ong
University of Oxford
-
-
Jaap van Oosten
University of Utrecht
-
3,4
Daniela Petrişan
University of Leicester
-
3,4,5
Wesley Phoa
The Capital Group Companies
-
-
Andy Pitts
University of Cambridge
-
-
John Power
University of Bath
Generalising Lawvere Theories to an Axiomatically Defined Base
-
Grigoris Protsonis
University of Patras
-
3,4,5
David Pym
HP Labs, Bristol and University of Bath
-
-
Pedro Resende
Instituto Superior Técnico
-
3,4,5
Bernhard Reus
University of Sussex
-
3,4

Emily Riehl
University of Chicago
-
-
Edmund Robinson
Queen Mary University of London
-
-
Andrei Rodin
École Normale Supérieure -
-
Jiří Rosický 
Masaryk University
- 3,4,5
Nick Rossiter
Northumbria University
-
3,4
Pino Rosolini
Università di Genova Groupoids in the effective topos
-
Andrea Schalk
University of Manchester
-
3,4,5
Dana Scott
Carnegie Mellon and Berkeley
Higher-Order Modal Modeling
2,3,4
Peter Sewell
University of Cambridge
-
-
Michael Shulman
University of Chicago
-
3,4,5
Lurdes Sousa
CMUC/Polytechnic Institute of Viseu
-
3,4
Sam Staton
University of Cambridge
-
-
Hugh Steele
University of Manchester
-
3,4
Richard Steiner
University of Glasgow
-
3,4,5
Thomas Streicher
TU Darmstadt
-
2,3,4,5
Stanislaw Szawiel
University of Warsaw
-
3,4,5
Christine Tasson
Université de Paris 7 -
3,4
Paul Taylor
-
-
-
Nicholas Teh
University of Cambridge
-
-
Walter Tholen
York University
-
3,4,5,
Christopher Townsend
none -
3,4
Benno van den Berg
TU Darmstadt
-
2,3,4,5
(Jiří Velebil)
Czech Technical University
-
3,4,5
Dominic Verity
CoACT, Macquarie University
On the Canonicity of Complicial Stratifications
-
Steve Vickers
University of Birmingham
-
3,4
Simon Willerton
University of Sheffield
-
3,4
Glynn Winskel
University of Cambridge
-
-
Michael Wright
The Archive for Mathematical Sciences and Philosopy
-
3,4,5
Sebastian Zajac
University of Silesia
-
2,3,4,5
Marek Zawadowski
University of Warsaw
-
3,4,5
Julianna Zsido
Université de Nice - Sophia Antipolis -
3,4,5





Total: 116





Schedule

Click on talk title for slides, where availalable.

All talks will take place in Meeting Room 2 in the Centre for Mathematical Sciences.



Saturday 4th April

  9.30 -   9.55
Dana Scott                       
Higher-order modal modeling
10.00 - 10.25
Richard Garner
Topological and simplicial models of type theory

C O F F E E   B R E A K

11.00 - 11.25
Marcelo Fiore
Algebraic type theory
11.30 - 11.55
Pierre-Louis Curien The duality of computation under focus
12.00 - 12.25
Olivia Caramello
Lattices of theories

L U N C H

14.45 - 14.10
Nicholas Duncan
Gros and petit toposes
15.15 - 15.40
Toby Kenney
Free diads
15.45 - 16.10
Pino Rosolini
Groupoids in the effective topos

C O F F E E   B R E A K

16.45 - 17.10
John Power
Generalising Lawvere theories to an axiomatically defined base
17.15 - 17.40
Bill Lawvere
Open problems in topos theory

D I N N E R
18.30/21.00





 
Sunday 5th April


  9.30 -   9.55            
Michael Fourman Classifying quantales                                                                                      
10.00 - 10.25
Ieke Moerdijk On the notion of Reedy category

C O F F E E   B R E A K

11.00 - 11.25
Nicola Gambino
Monads in double categories
11.30 - 11.55
Dominic Verity
On the canonicity of complicial stratifications                                                   
12.00 - 12.25
Aaron Lauda
Categorifying quantum groups

L U N C H

15.00 - 15.25
Tom Leinster and Apostolos Matzaris Terminal coalgebras via modules (Leinster's part, Matzaris's part)
15.30 - 15.55
Julia Goedecke
Satellites in semi-abelian categories
16.00 - 16.25
Paul-André Melliès
An algebraic presentation of innocence

C L O S I N G   C O F F E E







Logistical information

Registration
Celebration dinner (Friday)
Lunch
Saturda
y dinner (La Tasca)
Information for those staying at Newnham
Information for speakers
Contact information


Registration

There will be tea, coffee and registration on Friday April 3rd from 5pm to 7pm, in Sidgwick Hall, Newnham College.  Please leave plenty of time as we need to process payment for nearly 100 people.  We prefer cash (British pounds only) but credit card payment is also possible, though this will involve filling in a form.  At registration we will also be giving out tickets for Newnham lunches and Saturday dinner.  If you are not paying us any money it is not essential for you to come to registration on Friday as you can collect the other things on Saturday morning.

Celebration dinner (Friday)

This will begin with drinks at 7.30pm in the Combination Rooms at Caius.  We will depart on foot from Newnham after registration, so you don't need to worry about finding your way.  Jackets are suggested for dinner (or equivalent for ladies) but those travelling from afar should not feel any pressure to overburden their luggage with extra clothes. Dinner is at 8pm, and after dinner the College Bar will be open until midnight, accepting cash.

Please be aware that Gonville and Caius College is residential, so we should be sensitive to residents especially when we are leaving later in the evening.

Lunch

Lunch on Saturday and Sunday will take place in Newnham College Buttery.  This is a cafeteria system, and we have been asked not to queue all at once!  There is enough space for us to sit at tables while we wait, and if it isn't raining (!) the gardens are pleasant to sit  or walk in.  Please make sure you wear your lanyard (the thing that hangs round your neck) for lunch, otherwise you will be asked to pay cash.

Saturday dinner (La Tasca)

As our party has become so large there will be two sittings for dinner on Saturday at La Tasca, at 6.30pm and 9pm.  Even with two sittings the numbers are extremely tight, so there will be a sign-up sheet and tickets at registration, to make sure we get the right number of people at each sitting!  The restaurant asks those bringing children to go to the early sitting.

There are a couple of pubs next door to the restaurant in which late diners could have drinks before dinner, or early diners after dinner.

Information for those staying at Newnham

- You may check in at any time, but if there's a chance you will arrive after 9pm it would be helpful if you could let Eugenia know in advance.

- Parking is available from 5pm on the Friday.  To gain access, ask at the Porters' Lodge.  If you need parking earlier than that, please let me know as a few places are available.

- Continental breakfast is included for the duration of your stay, and you will be given a lanyard (thing that hangs round your neck) to show that it has been  paid for.  Please be aware that another residential conference will be taking a full English breakfast in the Buttery, but our residential rate does not include this!  Apologies if the sight of unattainable bacon and sausages makes your mouth water.  Lunch is only included on Saturday and Sunday.  If you wish to eat lunch in Newnham on other days, you can pay by cash at the Buttery.

- Wireless internet access is available in the Buttery area, which is open 24 hours a day.  However you are asked to avoid using it at mealtimes, as the Buttery will be very full at those times.  You will be provided with a password on arrival.

Information for speakers

We will be in Meeting Room 2, a large raked lecture room with plenty of blackboard space and screens, so using boards and projection simultaneously is certainly possible.  If you are using the data projector we would like to put your file on the computer in advance.  So please either send it by email or give it to Richard Garner during the break preceding your talk at the latest.

Contact information

If you have any further questions please do not hesitate to contact me (Eugenia) by email. 



This site is maintained by Eugenia Cheng.  You can e-mail me at e.cheng {at} sheffield.ac.uk

Last updated 16th July 2009, 13:11