User loginNavigation |
TYPES Summer School 2005
The summer school, Proofs of Programs and Formalisation of Mathematics, is in Goteborg, Sweden, August 15-26.
You might still apply for a grant, but time is short! Only a tentative program is currently available, but I suppose the topics mentioned in it will remain in the final program, and many of them are interesting, and often discussed here on LtU. |
Browse archivesActive forum topics |
Recent comments
7 weeks 1 day ago
7 weeks 3 days ago
7 weeks 4 days ago
14 weeks 4 days ago
20 weeks 2 days ago
20 weeks 3 days ago
21 weeks 2 days ago
24 weeks 17 hours ago
25 weeks 3 days ago
25 weeks 4 days ago