PSSL 84, 2006-10-14/15
Institut für Theoretische Informatik
TU-Braunschweig

Registration form

Last update: 2006-10-16

Participants will be supplied with lunch menus on Saturday morning. They should write their name and choice of meal on the front. The menus will be collected during the coffe break starting at 10:20.

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

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

Hotel Lessing Hof ***, 57 Euro single, please reserve by September 29

CVJM Hotel am Wollmarkt **, 41 Euro single, please reserve by October 2


Special Feature:
Following the positive experience at PSSL83 in Glasgow earlier this year, Bob Coecke has agreed give a three talk overview of recent developments in the categorical approach to quantum informatics. Professor Reinhard Werner, mathematical physicist at the TU Braunschweig with special interest in quantum informatics, will be present as well.

Actual Participants:
- Grant Olney Passmore, Mathematical Research Institute
- Bob Coecke, Oxford University
- Reinhard Börger, Fern-Universität Hagen
- David Kruml, Masaryk University Brno
- Jan Paseka, Masaryk University Brno
- Anders Kock, University of Aarhus
- David Carchedi, Purdue University
- Rolf-Dieter Brandt, BEB Hannover
- Jiri Velebil, Czech Technical University, Prague
- Graham White, Queen Mary University of London
- Bodil Biering, University of Copenhagen
- Björn Gohla, Uni Bremen
- Lurdes Sousa, University Viseu, Portugal
- Chris Heunen, Radboud University Nimjegen
- Panagis Karazeris, University of Patras, Greece
- Manuela Sobral, University of Coimbra, Portugal
- Apostolos Matzaris, University of Patras, Greece
- Jeff Egger, Canada
- Ivar J. Tonisson, California
- Roland Rüdiger, FH Braunschweig/Wolfenbüttel

TU Braunschweig, Mathematical Physics:
- Reinhard Werner
- Andreas Ruschhaupt
- Dennis Kretschmann
- Holger Vogts
- Torsten Franz
- Annette Gattner
- Elisabeth Rieper

TU Braunschweig, Programming:
- Werner Struckmann

TU Braunschweig, Theoretical Computer Science:
- Jiri Adamek
- Jürgen Koslowski
- Stefan Milius
- Henning Urbat

Revised Schedule: (several authors, who used slides, have agreed to making them available)

Saturday morning
09:00 - 09:40 Bob Coecke: Categorical axiomatics of quantum entanglement
09:45 - 10:15 Reinhard Werner: A physicist's favourite category

10:20 Coffee Break, lunch menus will be collected

10:50 - 11:20 Jan Paseka: Projective quantales and related structures; a general view
11:25 - 11:55 David Kruml: Girard pairs of quantales
12:00 - 12:30 Graham White: Categorical Logic and the Philosophy of Action

12:35 Lunch Break

Saturday afternoon
14:30 - 15:10 Bob Coecke: Categorical axiomatics of quantum measurement
15:15 - 15:45 Stefan Milius: Elgot monads

15:50 Coffee Break

16:20 - 16:50 Jiri Velebil: Dense KZ-doctrines in 2-categories
16:55 - 17:25 Panagis Karazeris: Completeness of cocompletions in a relative setting
17:30 - 18:00 Reihard Börger: Integration by a universal property

19:30 Conference Dinner

Sunday morning
09:00 - 09:40 Bob Coecke: Classicality from categorical quantum axiomatics
09:45 - 10:15 Anders Kock: Connections and path connections in groupoids

10:20 Coffee Break

10:50 - 11:20 Lurdes Sousa: Revisiting the Orthogonal Subcategory and the Injective Subcategory Problems
11:25 - 11:55 Manuela Sobral: Logic of implications in algebra and coalgebra
12:00 - 12:20 Jürgen Koslowski: A new way of composing spans

Social Activities:
Friday, 2006-10-13, after 15:30:
Those of you arriving in Braunschweig early enough can drop by the department for some coffee and home-made cakes.

Friday, 2006-10-13, about 19:00:
We are planning to reseve tables in a Thai restaurant for dinner. This is optional, since some participants will only arrive late on Friday evening. The restaurant is called Sri-Thai and located at Wendenstraße 4, near Hagenmarkt.

Saturday, 2006-10-14, 19:30:
The conference dinner will be at an Italian restaurant.

Location:
Now the department of Theoretical Computer Science is located within the new 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 train station (about Euro 2.50) and then board a train to Braunschweig (about Euro 9 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.

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