| 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. |
| Friday 3rd
April |
![]() 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 |
![]() 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 |
![]() 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
|
| 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 |
| 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
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 |
||
This site is maintained by Eugenia Cheng.
You can e-mail me at e.cheng {at} sheffield.ac.uk