PSSL 73, 2000-04-29/30
Institut für Theoretische Informatik, TU-Braunschweig
Last update: 2000-04-26
(We had network problems from Wednesday, April 12 until Tuesday, April
18. They seem to be fixed for now. We are very sorry for the
inconvenience this may have caused.)
The nearest airport to Braunschweig is located in Hannover, about 60
km to the West. You will need to take a bus to the Hannover
train station (about DM 10) and then board a train to Braunschweig
(about DM 17 one way, unless you want to ride an ICE train; these
require a supplement of DM 12). Of course, you can also rent a car in
Hannover.
The department of Theoretical Computer Science is located at
Fallersleber Tor Wall 22, near the tram station "Theaterwall" (trams
no. 3 and no. 8). Here is a city
map to aid your orientation.
Those participants, who did not make separate arrangements, have been
booked into the Hotel am Wollmarkt (CVJM), a quiet place not too far
from the department. From the train station you can take tram no. 1
to "Alte Waage". Turn right and walk about 250 m past the recently
restored "Alte Waage" and a church to the hotel. The single rooms are
DM 89 per night, the double rooms DM 149 per night, including
breakfast.
Walking distance to the department should be less than 15 minutes.
Unfortunately, there is no direct tram or bus connection. You can
take the tram no. 1 or no. 6 back to "Hagenmarkt" (1 stop) and
transfer to tram no. 3 or no. 8 going towards "Volkmarode" on the
other side of the tracks. Exit at the next stop "Theaterwall" and
turn left into "Fallersleber-Tor-Wall". Our department is the second
building on the right.
Even if you intend to walk to the department, you should count on
using 4 or 6 tram tickets. Reduced tram tickets are available in
strips of 4 or 10. If you arrive with somebody else, you may want to
consider getting a strip of 10 for 2 people.
On Friday evening, we have reserved some tables in the restaurant
"Lindenhof" at 19:00. If you arrive later that shouldn't be a
problem. The restaurant is located a bit East of the department (take
the tram 3 or 8 to the stop "Humboldtstrasse"), and despite its German
name features excellent Italian food.
With the number of talks announced so far, speakers can expect to have
about 35 minutes available. We intend to start at 09:30 on Saturday
and on Sunday and expect to finish around 12:30 on Sunday. There will
also be a party on Saturday around 20:00.
registration form
Confirmed Participants (in alphabetic order)
- Jirí J. Adámek (TU-BS):
Algebraically complete categories and essential localizations of
varieties
- Lars Birkedal (The University of Copenhagen):
- Rolf Dieter Brandt (BEB Hannover):
- Eugenia Cheng (Cambridge University):
Equivalence between approaches to the theory of opetopes
- Robin Cockett (University of Calgary):
Did we ever really understand products and coproducts?
- Pieter Hofstra (University of Utrecht):
- Mamuka Jibladze (UC Louvain La Neuve):
The continuing story of relative Booleaness
- Jürgen Koslowski (TU-BS):
Tricategories of modules
- Bill Lawvere (SUNY, Buffalo):
Galilean "monoids" and the algebra of time
- Tom Leinster (Cambridge University):
- Fred Linton (Wesleyan, Middletown):
Elementary Row Operations - Gauss meets Yoneda
- Celestin Nkuimi-Jugnia (UC Louvain la Neuve):
Amalgamation in the category of modules over a quantale
- Jaap van Oosten (University of Utrecht):
Relative and Modified Realizability
- Jan Paseka (UC Louvain la Neuve):
On Morita equivalence of involutive quantales
- Jirí Rosicky (Masaryk University, Brno):
Weak factorization systems
- Lutz Schröder (Uni Bremen):
Alternative descriptions of the Eilenberg-Moore category
- Werner Struckmann (TU-BS):
- Walter Tholen (York University, Toronto):
Exponentiability and injectivity
- Enrico Vitale (UC Louvain la Neuve):
In case of emergency, here are some phone numbers:
- Institut für Theoretische Informatik, secretary: (0531)
391-9522 (on vacation next week)
- Jürgen Koslowski, (0531) 391-9523 (work), (0531) 508230 (home)
If you want to contact me by e-mail, click here:
koslowj@iti.cs.tu-bs.de