Small TYPES workshop

Curry-Howard Implementation Techniques
Connecting Humans and Type-checkers

Photo of the science building

18-22 December 2006
Nijmegen, the Netherlands

The workshop will be held at the campus of the Radboud University Nijmegen (formerly known as University of Nijmegen or Catholic University of Nijmegen).
This workshop is part of the TYPES project, from which we get financial support.

The CHIT Workshop aims at gathering implementers of Curry-Howard based Theorem provers/Programming environments to discuss implementation issues. Its aim is to share isolated experience of development teams of those systems. We especially welcome implementers from new systems to participate.


The CHAT workshop will be held on the 21st and 22nd December, it will focus on interaction between users and proof environments, graphical interfaces, and on network-based interaction.



To register click here. Accomodation should be found by the participants themselves (see here).

The workshop will be free of charge.

The lunches and the tuesday dinner have to be paid by the participants themselves. They will be organised by the organisation committee.


The program of the workshop is now available.

Here are the corresponding abstracts.


Herman Geuvers Nicole Messink Pierre Corbineau Cezary Kaliszyk Bas Spitters
If you want to contact us please do so at

Getting to Nijmegen

Most of you will be arriving at Amsterdam Schiphol airport. The easiest way to get to Nijmegen from there is by train. The train station is under the airport (follow the train signs). Take a train to Utrecht Centraal (so not to Amsterdam Central Station) and change trains there. From Utrecht there are direct trains to Nijmegen (via Arnhem).

The train trip is 1 hour and 30 - 45 minutes.

There is a train planner on the web.


We have good experiences with:

Hotel Crand Cafe Atlanta
Grote Markt 38/40
6511 KB Nijmegen
Tel: +31 (0)24 360 3000
Fax: +31 (0)24 360 3210

Slightly more expensive is:

Hotel Courage
Waalkade 108-112
6511 XR Nijmegen
Tel.: +31 (0)24 - 360 49 70
Fax: +31 (0)24 - 360 71 77

There also is a web page with alternative accomodation.

Getting to the Workshop

The workshop will be held at the campus of the Radboud University.

It is located on the ground floor in the new Huygens building that hosts the Science Faculty.

There will be sign guiding you to the workshop location from the main entrance of the science building.

In case you enjoy walking the campus is 30 minutes walk from the city center.

There are also bus lines going to the campus. The buses that run through the Heyendaalseweg are lines 1 (direction Molenhoek) and 11 (direction Brakkenstein). From the Station, the line 10 (Heydendaal-Shuttle) takes you to the campus directly.

Here is a map of the campus.

page maintained by Pierre