Special PSSL 99
in honor of Jirka Adamek's retirement


Institut für Theoretische Informatik

Registration form

Dear Colleagues,

We cordially invite you to participate in a special PSSL (Peripatetic Seminar on Sheaves and Logic) on the occasion of Jirka Adamek's retirement, to be held on March 11-13, 2016, at the Technical University Braunschweig (TU-BS).

In view of Jirka's illustrious carrer and wide-ranging influence, this time the topic is not limited to category theory and its applications elsewhere.

As we have a number of invites speakers, there is only a limited number of slots available for further talks (see below). If necessary, we will consider using part of Sunday afternoon for talks as well. Even if you do not get an opportunity to speak, we are planning to have a Festschrift.


After consulting with other colleagues, it seems that better deals for hotel accommodation can be obtained on the internet than through the university. Here are some links to vaious booking portals:
Guest of Honor:

- Jirka Adamek, Technical University of Braunschweig

Prospective Participants (invited), others may still decide to attend:

- Lars Birkedal, Aarhus University
- Marcello Bonsangue, Universiteit Leiden (unfortunately had to cancel)
- Maria Manuel Clementino, Universidade de Coimbra
- Marino Gran, Université catholique de Louvain
- Barbara König, Universität Duisburg
- Bill Lawvere, Suny Buffalo (unfortunately had to cancel)
- Tom Leinster, University of Edinburgh
- Jiri Rosicky, Masaryk University, Brno
- Jan Rutten, CWI and Radboud University Nijmegen
- Lurdes Sousa, Escola Superior de Technologia de Viseu
- Manuela Sobral, Universidade de Coimbra
- Walter Tholen, York University
- Jiri Velebil, Czech Technical University, Prague (unfortunately had to cancel)

Further Participants:

- Tim van der Linden, Université catholique de Louvain
- Andrea Montoli, Universidade de Coimbra
- Tarmo Uustalu, Tallinn University of Technology
- Rory Lucyshyn-Wright, Mount Allison University
- Ingo Blechschmidt, Universtität Augsburg
- Tadeusz Litak, FAU Erlangen-Nürnberg
- Lutz Schröder, FAU Erlangen-Nürnberg
- Idriss Tchoffo Nguefeu, Université catholique de Louvain
- Giuseppe Metere, Universitá di Palermo - UCLouvain
- Daniel Schwencke, DLR Cologne
- Rolf-Dieter Brandt, BEB Hannover
- Thomas Streicher, TH Darmstadt
- Nelson Martins-Ferreira, Polytchnic Institute of Leira
- Andrew Brooks Taylor, University of Bristol
- Paul Blain Levy, University of Birmingham


- Jürgen Koslowski, TU Braunschweig
- Stefan Milius, Universität Erlangen
- Henning Urbat, TU Braunschweig
- Liang-Ting Chen, TU Braunschweig

Participants will receive an official letter confirming their participation in PSSL99 and the title of their talk, if applicable.


The department of Theoretical Computer Science is located within the Computer Science Center at Mühlenpfordstr. 23,
near the tram station "Mühlenpfordstr." (trams no. 2, 4, 6, 7).

Talks, however, will take place in the Senatssaal, in the university's main building (dating from 1877),
located at Pockelsstr. 4, less than 3 minutes from our department.

Here is a city map to aid your orientation.

Provisional Schedule:

Saturday morning

08:45 - 09:15 Registration

09:15 - 09:30 Prof. Dr. Thomas Sonar, Dean: Welcome -- Opening of the conference

09:30 - 10:00 Lars Birkedal: Guarded Recursion and Type Theory
10:00 - 10:30 Tom Leinster: In search of the spectrum
10:30 - 11:00 Maria Manuel Clementino: Lax orthogonal factorizations on Ord-enriched categories

11:00 Coffee Break and last chance of registering

11:30 - 12:00 Manuela Sobral: On some categorical-algebraic conditions in S-protomodular categories
12:00 - 12:30 Marino Gran: Beck-Chevalley condition and Goursat categories
12:30 - 13:00 Henning Urbat: Algebraic language theory = Monads + Duality

13:00 Lunch on the premises

Saturday afternoon

14:30 - 15:00 Tadeusz Litak: Guarded Conway theories and guarded traces
15:00 - 15:30 Lutz Schröder: Unguarded corecursion on coinductive resumptions
15:30 - 16:00 Tarmo Uustalu: Dynamic programming: coalgebras and comonads

16:00 Coffee Break

16:30 - 17:00 Jiri Rosicky: Accessible categories and inaccessible cardinals
17:00 - 17:30 Jiri Adamek: Terminal coalgebras of set-functors
17:30 - 18:00 Walter Tholen: Jiri Adamek -- A Biased Categorical Synopsis

19:00 Conference Dinner

Sunday morning

09:30 - 10:00 Giuseppe Metere: Comprehensive factorization and "internal" crossed profunctor composition
10:00 - 10:30 Lurdes Sousa: KZ-monadicity and its logic
10:30 - 11:00 Rory Lucyshyn-Wright: Commutants for enriched algebraic theories and monads

11:00 Coffee Break

11:30 - 12:00 Walter Tholen : Lax distributive laws for topology
12:00 - 12:30 Ingo Blechschmidt: Using the internal language of toposes in algebraic geometry
12:30 - 13:00 Paul Blain Levy Final coalgebras from corecursive algebras

13:00 Lunch on the premises

Social Activities/Food:

Friday, 2016-03-11:
- beginning 19:00: informal dinner. We have reseved a room at the Restaurant "Friedrich" specializing in hearty German cuisine, see this menu.
  (This is optional, as some participants may only arrive late on Friday evening.)

Saturday, 2016-03-12:
- about 13:00: lunch near the conference room;
- at 19:00: official conference dinner at the Italian restaurant "Il Sorriso"; there will be a special menu for the occasion

Sunday, 2016-03-12:
- about 13:00: lunch near the conference room;
  (You will also be able to pack something for your trip in case you have to leave right away.)


Unforunately, there is a conference fee of 20 Euros. Note that this includes lunch on Saturday and on Sunday (possible lunch packs). As we succeed in finding additional funding, this will be re-imbursed, at least partially, at or after the meeting.

Please transfer 20 Euros plus 50 Euros, if appropriate, to

  LMCS e.V.
  DKB Bank   IBAN DE83 1203 0000 1020 2427 96
  Subject: PSSL99

and add 50 Euros for every guest you indend to bring to the official dinner.


The nearest airport to Braunschweig is located in Hannover, about 60 km to the West. You will need to take a train to Hannover's main railway station (about Euro 3) and then board a train to Braunschweig (about Euro 11 one way, unless you want to ride an ICE train; these require a supplement of about 6 Euro). Of course, you can also rent a car in Hannover. Alternatively, Berlin is located about 200 km East of Braunschweig.
If you want to travel through Hannover, please note that unless you bought a train ticket at your travel agency, you need to purchase one at the ticket machines on the platform of the so-called "S-Bahn", located below ground near Terminal C. Do not rely on buying tickets on the train, it will cost more. Use the machines labeled "DB" or "Deutsche Bahn", there you can purchase a ticket to Braunschweig; other machines are for local connections within the Hannover region. The S-Bahn line "S5" continues beyond Hannover main station to Hamlin or Bad Pyrmont; dont let those designations confuse you: all trains will stop at Hannover main station (after some intermediate stops). Announcements on the train should be in German and in English.

E-mail contact: koslowj at iti dot cs dot tu-bs dot de

Last update: 2016-03-07, 13:00