Conferences and Workshops arranged by TYPES
Past workshops:
French Riviera, France
August 30 - September 10, 1999 .
Types Summer School.
Lökeberg -June 12-16, 1999.
The 1999 Workshop on Types for
Proofs and Programs.
Göteborg, 27 - 28 March 1999
Workshop on Dependent Types in Programming. Organised
together with
APPSEM.
http://www.md.chalmers.se/Cs/Research/Semantics/APPSEM/index.html
Eindhoven -July 13-15, 1998.
Calculemus and Types '98.
Kloster Irsee -27th March to 31th March, 1998 .
The 1998 Workshop on Types for
Proofs and Programs.
Padova -October 2-4th, 1997.
First Workshop On Formal Topology.
Durham -August 30th to September 1st , 1997.
Subtyping, Inheritance And Modular Development Of
Proofs.
With online proceedings.
Aussois -December 15th to 19th, 1996 .
The 1996 Workshop on Types for
Proofs and Programs.
Proceedings
of conferences held by TYPES BRA