Workshop in Termination and Type Theory

Göteborg 14-15 November 2002

EC TYPES Working Group (IST-1999-290001-TYPES)

Call for Participation

The problem of enforcing termination of recursive functions has attracted a lot of interest in the Types community. We are going to have a two days workshop discussing this matter in Göteborg November 14-15. If you are interested in participating please send an email to Ana Bove before October 16th. This is a firm deadline if you want us to guarantee accommodation in the hotel.

Please let us know if you want a single or double room (if you want a double room you can also specify with whom you would like to share it) and whether you have any constrains concerning food.

If you want to give a talk, please tell us know a tentative title and if possible, also a short abstract.

Participants and Program

The list of participants is now available!

The final program is now available!
The program available. Talks spot will be of 30 minutes, including 5-10 minutes for questions and discussion.

The abstracts of the talks are also available.

Prices and Payment

The prices are 3600 SEK (Swedish Crown) for double room accommodation and 4200 SEK for single room accommodation. This includes all local costs from Wednesday 13th afternoon till Friday 15th afternoon, that is, full board, 2 nights hotel and conference room.

We want you to pay in advance to (preferable before November 6th)

Östra Hamngatan 16
405 09 Gothenburg, Sweden
IBAN SE26 3000 0000 0305 5771 1371
The account is for all of Chalmers, so T&TT must be mentioned!

An alternative payment way is with a credit card. If you are paying in this way, we kindly ask you to fax your credit card information to Birgitta Magnusson fax: +46 -31 -16 56 55. The information should include the card type and number, expiry date and card holder.

If you reside outside the European Union (EU), or if you reside inside the EU but outside Sweden and your employer is registered for VAT, you might not need to pay taxes (25%) which is included in the above amounts. For further information about this or for any other question concerning the payment, please contact Birgitta Magnusson.


The workshop will take place at Hjortviken Konferens, which is situated 35 km from Göteborg on the Swedish west coast. Hjortviken is easily accessible.

The hotel's telephone and fax are the following:
Telephone: +46 -301 -223 00
Fax: + 46 -301 -223 01

As a service, the hotel offers free transfer to and from Landvetter Airport (10 km away) and the local train station. Please contact the hotel with your arrival information if you want to make use of this facility.

Some Tips

If you are staying some days in Göteborg, you might want to book a hotel. Here is a link with some hotels in Göteborg.

One thing you should be aware of is that one cannot trust the weather in Göteborg! So, before packing you might like to check the weather forecast (not that one can trust weather forecasts but ... :-). Here is a link to Yahoo! Weather Forecast and here a link to CNN Weather Forecast.

Organising Committee

Ana Bove
Thierry Coquand
Peter Dybjer
Patrik Jansson
Bengt Nordström
David Wahlstedt

If you have any further questions, please mail

Page last modified on November 12, 2002 by Ana Bove.