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
