[Prev][Next][Index][Thread]
TYPES 2002 Workshop, Berg en Dal (NL)Call for Presentations
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+
+ TYPES 2002
+
+ April 24 -- April 28
+ Berg en Dal, Netherlands,
+ http://www.cs.kun.nl/fnds/TYPES2002/
+
+ Call for Presentations
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
The 2002 Workshop of the EC TYPES Network of Excellence will be held
in Berg en Dal (near Nijmegen), Netherlands, from April 24 until April
28. The meeting is organised by the Foundations group of the NIII,
Faculty of Science, Mathematics and Informatics, University of
Nijmegen. At the meeting we will also celebrate the 60th birthday of
Per Martin-L"of.
Invited speakers for this special occasion are
- Dana Scott
- Jean-Yves Girard
Participation and submission of talks or demos is open (i.e. not
restricted to members of the TYPES network http://www.durham.ac.uk/TYPES/).
For more information see the homepage of the workshop:
http://www.cs.kun.nl/fnds/TYPES2002/
This home page will be updated regularly with registration and programme
info.
Best Regards
--
Herman Geuvers
Dept. of Computer Science, KUN
url: http://www.cs.kun.nl/~herman