| IST-2001-33234 |
PEPITO |
|||
Deliverables
| Work package | june 2002 | dec 2002 | june 2003 | dec 2003 | june 2004 | dec 2004 | April 2005 | June 2005 |
|
WP1 Formal Models P. Sewell UCAM |
- | D1.7 UCAM |
D1.1 UCAM
D1.3 EPFL |
D1.8 UCAM | - | -- |
D1.2 UCAM
D1.4 UCAM D1.9 UCAM |
|
|
WP2 Dist. Alg. & Serv. Seif Haridi KTH Luc Onana-Alima SICS |
- | D2.7 KTH | D2.4 EPFL | D2.8 KTH | - | D2.3 KTH |
D2.1 UCL
D2.2 KTH D2.5 EPFL D2.9 KTH |
|
|
WP3 Prog. Lang.
S. Micheloud EPFL |
- | D3.3 INRIA |
D3.5 UCL
D3.8 EPFL |
D3.1 KTH
D3.10 EPFL |
D3.6 UCL |
D3.2 KTH
D3.7 UCL D3.11 EPFL |
D3.4 INRIA
D3.9 EPFL D3.12 UCAM |
|
|
WP4 Dist. Subsyst. P. Brand SICS |
- |
D4.1 SICS
D4.2 SICS |
- |
D4.3 KTH
D4.4 KTH D4.9 SICS |
D4.5 SICS
D4.6 SICS |
D4.10 SICS | D4.8 INRIA | |
|
WP5 Demo. Appl. P. VanRoy UCL |
- | - | - | - | - |
D5.1 INRIA+UCL
D5.2 SICS D5.3 SICS |
- | |
|
WP6 Proj. Mgmt. S. Haridi KTH P. VanRoy UCL T. Sjöland SICS |
D6.1 WS1 INRIA
D6.4 DUP SICS D6.6 Assess all mgmr 1 |
D6.2 WS2 SICS
D6.7 PPR1 |
mgmr 2
(Annex 1+) |
ex. summ.
Short review report 2003 D6.8 PPR2 |
mgmr 3 |
D6.9 PPR3 |
D6.3 WS3 (March 21st)
Final review, Edinburgh, (April 5) D6.5 TIP (draft version) Short review report 2004-05 D6.9x PPR4 (draft version) SICS Final report (draft version) SICS |
D6.5 TIP (final version) All
D6.9x PPR4 - Periodic Progress Report 4 (final version) SICS Final report (final version) All Vision report All |
Web page maintained by:
Thomas Sjöland (thomas.sjoland@sics.se)