18-22 December 2006
Nijmegen, the Netherlands

The workshop was held on 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 workshop is also partially funded by the NWO.

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.

Keywords:

• Terms and binders
• Type inference, type constraints and unification
• Reduction, evaluation and compilation
• Proof refinement/Proof engine
• State handling, library, modules, saving format
• Coercions
• Termination checking

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.

Keywords:

• Declarative versus procedural proof styles (structured proofs, XML)
• Web based interfaces (including cooperative environments)
• Libraries and information retrieval (including search engines)
• Proof documentation (literate proving)
• Protocols for UI-interaction

Registration

Registration is now closed. The organizers wish to thank the participants for coming.

Program

The program of the workshop is now available.

Here are the corresponding abstracts and slides.

Organisers

Herman Geuvers Nicole Messink Pierre Corbineau Cezary Kaliszyk Bas Spitters
If you want to contact us please do so at typeschitchat@cs.ru.nl

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.

Hotels

We have good experiences with:

Slightly more expensive is:

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.