Registration: 31st October 2009
Titles of talks: 14th November 2009
Finding accommodation in Louvain-la-Neuve is very difficult, for the moment, since the only existing hotel is Hotel Mercure. For this reason it is necessary to book a room by the 31st of October. These are the special rates for PSSL participants:85 euro for a single room andbreakfast included. In order to benefit from this special offer you can either book your room yourself by sending a completed Fiche de Réservation to the address H2200-SB1@accor.com, or you can contact the organisers, in which case we shall be happy to book the room for you.
98 euro for a double room,
The conference will take place in Hotel Mercure, Boulevard de Lauzelle 61, Louvain-la-Neuve.
View Larger Map
The town Louvain-la-Neuve, located in the Belgian province Brabant Wallon, is the main site of the Université catholique de Louvain. It is easily reachable by car (via the E411) or by train from Brussels Airport (via Brussel/Ottignies/Louvain-la-Neuve Université).
Enrico Vitale (Louvain-la-Neuve)
Marino Gran (Louvain-la-Neuve)
Tim Van der Linden (Coimbra)
Tomas Everaert (Brussel)
Click here for the pdf.
All talks are 25 minutes + 5 minutes questions. On Sunday afternoon, from 14:30 onwards, we propose two additional activities: a visit of the Musée Hergé or a walk in the Bois de Lauzelle.
Saturday 12th December Sunday 13th December 9:00 Bénabou 9:00 Johnstone 9:30 Rosický 9:30 Cheng 10:00 Hofmann 10:00 Bowler 10:30 Coffee 10:30 Coffee 11:00 Chikladze 11:00 Caramello 11:30 Seal 11:30 Martins-Ferreira 12:00 Xarez 12:00 Kieboom 12:30 Ehresmann 12:30 Adámek 13:00 Lunch 13:00 Lunch 14:30 Akhvlediani 15:00 Matzaris 15:30 Koslowski 16:00 Coffee 16:30 Protsonis 17:00 Montoli 17:30 Janelidze 19:30 Dinner
Name Affiliation Talk Jirí Adámek Technical University Braunschweig "Sifted colimits" Andrei Akhvlediani Oxford University Computing Lab. "Interacting Observables as composite PROPs" Jean Bénabou Université Paris 13 "Foliated Categories and Cartesian Functors" Francis Borceux Université catholique de Louvain - Dominique Bourn Université du Littoral-Côte d'Opale, Calais - Nathan Bowler University of Cambridge "Composition in categories of games" Olivia Caramello Centro di Ricerca Matematica Ennio De Giorgi, Pisa "A characterization theorem for geometric logic" Eugenia Cheng University of Sheffield "Iterated distributive laws via the Gray tensor product" Dimitri Chikhladze Macquarie University, Sydney "Tannaka representation theorem for a category with a frobenius fiber functor" Alan Stefano Cigoli Università degli Studi di Milano - Maria Manuel Clementino Universidade de Coimbra - Dion Coumans Radboud Universiteit Nijmegen - Bao Dang Van Université catholique de Louvain - Mathieu Duckerts Université catholique de Louvain - Mathieu Dupont - - Andrée Charles Ehresmann Université de Picardie, Amiens "Roots and local colimits" Tomas Everaert Vrije Universiteit Brussel - Henrik Forssell Masaryk University, Brno - Julia Goedecke University of Cambridge - Björn Gohla Universidade do Porto - Marino Gran Université catholique de Louvain - Dirk Hofmann Universidade de Aveiro "More on Completely Distributive Spaces" Zurab Janelidze Stellenbosch University "D. Bourn's homological lemmas in normal categories" Peter Johnstone University of Cambridge "Remarks on Punctual Local Connectedness" Panagis Karazeris University of Patras - Rudger Kieboom Vrije Universiteit Brussel "More results on the categories of loops, of neardomains, and of nearfields" Jürgen Koslowski Technical University Braunschweig "Putting diagrams back into enriched category theory" Raul Leal Vrije Universiteit Amsterdam - Tom Leinster University of Glasgow - Guilherme Frederico Lima de Carvalho e Silva University of Cambridge - Ignacio Lopez Universidade de Coimbra - Rory Lucyshyn-Wright York University, Toronto Sandra Mantovani Università degli Studi di Milano - Nelson Martins-Ferreira Instituto Politécnico de Leiria "Remarks on two commutators" Apostolos Matzaris University of Patras "Cofree Coalgebras in Accessible Categories" Paul-André Melliès Université Paris 7 - Denis Diderot - Giuseppe Metere Università degli Studi di Milano - Andrea Montoli Università degli Studi di Milano "Semidirect products of internal groupoids" Olivette Ngaha Université catholique de Louvain - Grigoris Protsonis University of Patras "Left Kan extensions preserving finite products" Jean-Roger Roisin Université catholique de Louvain - Jirí Rosický Masaryk University, Brno "Definable orthogonality classes are Small" Gavin Seal Ecole Polytechnique Fédérale de Lausanne "Kock-Zöberlein monads from order-adjoint monads on SET" Lurdes Sousa Escola Superior de Tecnologia de Viseu - Thomas Streicher Technische Universität Darmstadt - Isar Stubbe Université du Littoral-Côte d'Opale, Calais - Walter Tholen York University, Toronto - Tim Van der Linden Universidade de Coimbra - Joost Vercruysse Vrije Universiteit Brussel - Enrico Vitale Université catholique de Louvain - João Xarez Universidade de Aveiro "Well-behaved epireflections in universal algebra"
Dear Colleagues,
due to the great number of registered participants who intend to give a talk at the PSSL89 in Louvain (12-13 December), we shall be able to schedule only talks from participants who registered before October 31st.
We thank you for your understanding.
The programme of the conference will be available, in a couple of weeks, on the PSSL89 website
http://homepages.vub.ac.be/~tvdlinde/pssl89.html
With our best regards,
Enrico Vitale, Marino Gran, Tim Van der Linden and Tomas Everaert
Dear Colleagues,
The registration for attending the 89th Peripatetic Seminar on Sheaves and Logic, which will be held on the weekend of 12th-13th December 2009 in Louvain-la-Neuve, Belgium, is now open.
The website of the conference can be found at the address
http://homepages.vub.ac.be/~tvdlinde/pssl89.html
In order to register you should complete the Registration Form here below, and e-mail it to any of the organisers before October 31st. Saturday's lunch and dinner, as well as Sunday's lunch will be offered to those PSSL participants who register by then.
You can book your room directly: in order to benefit from the special prices for the PSSL participants, you should complete the "Fiche de Réservation" which may be downloaded from the PSSL website, and send this document to the address H2200-SB1@accor.com.
Alternatively, you can ask any of the organisers to book the room for you.
We are looking forward to seeing you in Louvain!
Best regards,
The organisers
Enrico Vitale, Marino Gran, Tim Van der Linden, Tomas Everaert
REGISTRATION FORM (please delete as appropriate)
I, __________________________________________, would like to attend the 89th PSSL.
My affiliation is _____________________________________ (University etc.).
I intend to give a talk / I do not intend to give a talk.
I would like to ask the organisers to book a single/double room at the Hotel Mercure for the nights of _____________ December.
I would like to attend the dinner on Saturday / I would like to bring a guest / I will not be attending the dinner on Saturday.
I have the following special dietary requirements: _________________________________________________________
Dear Colleagues,
We are pleased to inform you that the 89th Peripatetic Seminar on Sheaves and Logic will be held on the weekend of 12th-13th December 2009 in Louvain-la-Neuve, Belgium.
A second announcement with some practical information will follow in September.
We are looking forward to seeing you in Louvain!
Best regards,
The organisers
Enrico Vitale, Marino Gran, Tim Van der Linden, Tomas Everaert