80th Peripatetic Seminar on Sheaves and Logic

3-4 April, 2004
Cambridge, UK



The conference will be based at Newnham College, Cambridge, with talks being held at the Centre for Mathematical Sciences (CMS).


Contacts

Any queries may be addressed to the organizers:

Eugenia Cheng (e.cheng@dpmms.cam.ac.uk)
Martin Hyland (martin@dpmms.cam.ac.uk)
Peter Johnstone (ptj@dpmms.cam.ac.uk)

Logistical questions should be addressed to Eugenia Cheng.



On this website you can find the following information:


And below:

Programme
Participants
Schedule



Programme

Friday 2nd April

12.00 onwards: check-in for residents at Newnham College

19.00 onwards: wine and cheese reception for all, at Sidgwick Hall, Newnham College


Saturday 3rd April

8.00-9.00: breakfast for residents at Newnham College

9.10-10.35: talks

10.35-11.10: coffee break

11.10-12.35: talks

12.45-13.45: lunch at Newnham College

15.00-16.25: talks

16.25-17.00: coffee break

17.00-18.25: talks

19.30: dinner at "The Bun Shop" Tapas Bar


Sunday 4th April


8.00-9.00: breakfast for residents at Newnham College

9.10-10.35: talks

10.35-11.10: coffee break

11.10-12.35: talks

12.45-13.45: lunch at Newnham College

15.00-16.25: talks

16.25-17.00: coffee to finish



Participants

to be updated regularly

Name
Affiliation
Talk
Nights
Pierre Ageron
Université de Caen
-
2,3
Bassam Baki
Université de Caen
-
2,3
Francis Borceux
Université de Louvain
-
2,3
Dominique Bourn
Université du Littoral, Calais
On the direct image of intersections in the exact homological categories
2,3,4
Ronnie Brown
University of Wales, Bangor
Nonabelian algebraic topology
2,3
Eugenia Cheng
University of Cambridge
   
-
Martin Escardo
University of Birmingham
Synthetic topology
2,3,4
Tomas Everaert
Vrije Universiteit Brussel
-
2,3
Marcelo Fiore
University of Cambridge
-
-
Christopher Fox
Manchester University
-
-
Jonathan Funk
University of Regina, Saskatchewan
Definable completeness
2,3,4
Nicola Gambino
University of Cambridge

-
Richard Garner
University of Cambridge

-
Keith Hardie
University of Capetown
A twisted triple category of 2-track-commutative cubes
2,3,4
Robin Houston
Manchester University
-
3
Martin Hyland
University of Cambridge

-
Peter Johnstone
University of Cambridge

-
Klaus Heiner Kamps
FernUniversität, Hagen
A van Kampen theorem for the homotopy double groupoid of a Hausdorff space
2,3
Toby Kenney
University of Cambridge
-
-
Rudger Kieboom
Vrije Universiteit Brussel
-
2,3,4
Jürgen Koslowski
TU Braunschweig
Categorical transition systems and the comprehension scheme
2,3
Claire Kouwenhoven-Gentil
Utrecht University
Algebraic set theory in the effective topos
2,3
Aaron Lauda
University of Cambridge

-
Tom Leinster
University of Glasgow
Self-similarity
-
Gábor Lukács
Universität Bremen
Progress report: on lifted closure operators
2,3,4,5
Don MacInnes
Manchester University
A different look at structure-preserving free completions
2,3,4
Kirill Mackenzie
University of Sheffield
-
-
Grant Malcolm
University of Liverpool
-
2,3
Ieke Moerdijk
Utrecht University
-
-
Rasmus Møgelberg
IT University of Copenhagen
Categorical models of parametric polymorphisms
2,3,4,5
Bernhard Reus
University of Sussex
-
2,3
Jiri Rosicky
Masaryk University, Brno
Accessible quotients and homotopy
2,3
David Rydeheard
Manchester University
-
-
Vincent Schmitt
Leicester University
Parametrised accessibility
2,3
Harold Simmons
Manchester University
-
2,3,4
Sam Staton
University of Cambridge
-
-
Richard Steiner
University of Glasgow
Omega-categories and chain complexes
-
Thomas Streicher
TU Darmstadt
-
2,3,4
Paul Taylor
Manchester University
tba
2,3
Christopher Townsend
Open University
Effective descent via natural transformations
2,3
Giorgio Trentinaglia
University of Padova
-
2,3,4
Benno van den Berg
Utrecht University Inductive types and exact completion
2,3
Tim Van der Linden
Vrije Universiteit Brussel
-
2,3
Jiri Velebil
Czech TU, Prague
Connected morphisms of monads
2,3
Steve Vickers
University of Birmingham
The double powerlocale and its relationship to lots of things
2,3
Graham White
Queen Mary, University of London
-
-
Olov Wilander
Uppsala University
-
-
Krzysztof Worytkiewicz
none
A model structure à la Thomason on 2-Cat
2,3





Schedule




Saturday 3rd April

  9.10 -   9.35
Jiri Rosicky
Accessible quotients and homotopy
  9.40 - 10.05
Jürgen Koslowski
Categorical transition systems and the comprehension scheme
10.10 - 10.35
Benno van den Berg
Inductive types and exact completion

C O F F E E   B R E A K

11.10 - 11.35
Paul Taylor
tba
11.40 - 12.05
Claire Kouwenhoven-Gentil
Algebraic set theory in the effective topos
12.10 - 12.35
Jiri Velebil
Connected morphisms of monads

L U N C H

15.00 - 15.25
Dominique Bourn
On the direct image of intersections in the exact homological categories
15.30 - 15.55
Gábor Lukács
Progress report: on lifted closure operators
16.00 - 16.25
Rasmus Møgelberg
Categorical models of parametric polymorphisms

C O F F E E   B R E A K

17.00 - 17.25
Keith Hardie
A twisted triple category of 2-track-commutative cubes
17.30 - 17.55
Klaus Heiner Kamps
A van Kampen theorem for the homotopy double groupoid of a Hausdorff space
18.00 - 18.25
Ronnie Brown
Nonabelian topology

D I N N E R
19.30





 
Sunday 4th April


  9.10 -   9.35
Tom Leinster
Self similarity
  9.40 - 10.05
Richard Steiner
Omega-categories and chain complexes
10.10 - 10.35
Krzysztof Worytkiewicz
A model structure à la Thomason on 2-Cat

C O F F E E   B R E A K

11.10 - 11.35
Steve Vickers
The double powerlocale and its relationship to lots of things
11.40 - 12.05
Martin Escardo
Synthetic topology
12.10 - 12.35
Don MacInnes
A different look at structure-preserving free completions

L U N C H

15.00 - 15.25
Vincent Schmitt
Parametrised accessibility
15.30 - 15.55
Jonathan Funk
Definable completeness
16.00 - 16.25
Christopher Townsend
Effective descent via natural transformationsolymorphisms

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@dpmms.cam.ac.uk

Last updated 2nd April 2004