| D |
Title |
Source |
Web |
Appendices |
| D3 |
3rd annual general workshop |
PDF |
WWW |
|
| D6 |
Proceedings of 3rd annual general workshop |
PDF |
WWW |
Complete proceedings: ZIP |
| D7 |
Theme-specific workshops |
PDF |
|
|
| D8 |
Proc. theme-specific workshops |
PDF |
|
Online proceedings: TFP04,
TFP05,
TFP06,
CTCS 2004,
Merlin05,
KAZAM 2005,
COSMICAH 2005
|
| D9 |
Summer school year 3 |
PDF |
WWW |
|
| D10 |
Short courses |
PDF |
|
|
| D11 |
Lecture notes summer school year 3 |
PDF |
WWW |
Lecture Notes: Pitts,
Gardner (1, 2, 3), Pottier, Barthe (1, 2, 3), Hankin
|
| D12 |
Course notes short courses |
PDF |
|
Course notes: Sewell,
Uustalu (1,2,3), Ghelli, Danvy
|
| D13 |
Scientific publications |
PDF |
WWW |
|
| D14 |
Web site |
|
WWW |
|
| D17 |
Report on industrial challenges |
PDF |
|
|
| D20 |
Presentations of invited industrial talks |
PDF |
WWW |
Slides: John O'Leary,
Joe Stoy
|