TYPES 2004 conference
December 15-18, 2004

Campus Thalès
67, rue Charles de Gaulle - 78350 Jouy-en-Josas - FRANCE

Introduction

How to get to Campus Thalès
Social event

Invited speakers
Programme
List of participants

Call for papers

Proceedings

Organising committee

Related events
History

Proceedings

The Post-Proceedings of the TYPES 2004 Workshop (types2004.lri.fr) are now published as the volume 3839 of the Lecture Notes in Computer Science (LNCS) series. Previous TYPES post-workshop proceedings include LNCS volumes 3085, 2646, 2277, 1657, 1512, 1158, 996 and 806.

More information about this volume can be found online at http://www.springeronline.com/3-540-31428-8.

See also the online version at SpringerLink.

The editors (Jean-Christophe Filliatre, Christine Paulin, and Benjamin Werner).


Send your questions and comments to types2004@inria.fr