PSSL 90, 2010-04-24/25
Institut für Theoretische Informatik
TU-Braunschweig

Registration form

Last update: 2010-04-21


Accommodation:
Nowadays it seems to be feasible that participants directly contact hotels that offer WEB-pages. Of course, we will be happy to assist you with your reservation, if necessary.

Here are three hotels we have used successfully on previous occasions for meetings. All three offer special University rates (including breakfast) and the first two are located less then 10 minutes away from the University (walking distance). Please mention "PSSL90" when making reservations to qualify for the special rates.

We have reserved a limited number of single rooms for now. (Due to a private function, double rooms at the Hotel an der Stadthalle are in short supply.) As the Industrial Fair in Hannover is ending on April 24, there may be shortages of rooms around April 23 or earlier, hence it is advisable to register and book early. If the number or participants exceeds our expectations, we will try to book further rooms, either here or with other hotels.

Hotel Lessing Hof ***, 59 Euro single, 74 Euro double, please reserve by April 1

CVJM Hotel am Wollmarkt **, 49 Euro single, 80 Euro double, please reserve by April 1

Hotel an der Stadthalle **, 56 Euro single, please reserve by April 1


Prospective Participants: (in order of registration)

- Eugenia Cheng, University of Sheffield
- Tom Leinster, University of Glasgow
- Thomas Cottrell, University of Sheffield
- Nick Gurski, University of Sheffield
- Reinhard Börger, Fern-Universität Hagen
- Marek Zawadowski, University of Warsaw
- Andrei Akhvlediani, Oxford University Computing Lab
- Julia Goedecke, Université Catholique de Louvain
- Stanislaw Szawiel, University of Warsaw
- Andreas Döring, Oxford University Computing Lab
- Anders Kock, University of Aarhus
- Raul Leal, Universiteit van Amsterdam
- Diana Rodelo, Universidade do Algarve
- Lurdes Sousa, IP Viseu (had to cancel due to planned arrival on Tuesday)
- Jiri Velebil, Technical University Prague
- Daniela Petrisan, University of Leicester
- Rolf-Dieter Brandt, Gasunie Deutschland
- Marta Bilkova, Charles University, Prague

TU Braunschweig, Programming:
- Werner Struckmann

TU Braunschweig, Theoretical Computer Science:
- Jiri Adamek
- Jürgen Koslowski
- Stefan Milius
- Daniel Schwencke
- Thorsten Palm

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

Talks:
Please schedule your talks to be about 25 to 27 minutes long, so we have time for questions inside a 30 minute time slot.

Provisional Schedule:

Saturday morning

09:00 - 09:30 Andreas Döring: First steps towards non-commutative Gelfand duality
09:30 - 10:00 Eugenia Cheng: The universal loop space operad and generalisations
10:00 - 10:30 Nick Gurski: Iterating the icon construction

10:30 Coffee Break, lunch menus will be collected

11:00 - 11:30 Marek Zawadowski: Combing trees as distributive laws
11:30 - 12:00 Stanislaw Szawiel: The Web Monoid and Opetopic Sets
12:00 - 12:30 Julia Goedecke: Relative Mal'tsev categories

13:00 Lunch at "Dialog"

Saturday afternoon

14:30 - 15:00 Anders Kock: Abstract projective lines as groupoids
15:00 - 15:30 Reinhard Börger: Generalized ultafilter functors
15:30 - 16:00 Marta Bilkova: Modalities that are adjoints

16:00 Coffee break

16:30 - 17:00 Jiri Velebil: Enriched Logical Connections
17:00 - 17:30 Daniela Petrisan: Algebraic Theories over Nominal Sets

20:00 Conference Dinner

Sunday morning

09:00 - 09:30 Jiri Adamek: Finitary functors
09:30 - 10:00 Diana Rodelo: Universal I-central extensions
10:00 - 10:30 Tom Leinster: Duality and the Pythagorean tensor

10:30 Coffee Break

11:00 - 11:30 Stefan Milius: Semantics of Higher-Order Recursion Schemes
11:30 - 12:00 Daniel Schwencke: CIA structures and the semantics of recursion

14:00 Leisure activities

Social Activities:

Friday, 2010-04-23, about 19:00:
We have reseved some tables at the Restaurant "Mephisto". This is optional, as some participants may only arrive late on Friday evening.

Saturday, 2010-04-24, 20:00:
The conference dinner will be at the Jordanian restaurant al Patra. Vegitarian dishes are available there.

Sunday, 2010-04-25, 14:00 - 17:00:
TBA

Location:
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). Here is a city map to aid your orientation.

Travel:
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