Contributions de Raffalli
Aller à la navigation
Aller à la recherche
18 novembre 2008
- 23:0118 novembre 2008 à 23:01 diff hist +638 ANR PML →Scientific justification of requested budget
- 22:5318 novembre 2008 à 22:53 diff hist +747 ANR PML →Qualification of the project coordinator and members
- 22:4518 novembre 2008 à 22:45 diff hist −1 037 ANR PML →Contribution and qualification of each project participant
- 22:4518 novembre 2008 à 22:45 diff hist −149 ANR PML →Qualification of the project coordinator
- 22:4418 novembre 2008 à 22:44 diff hist +134 ANR PML →Relevance and complementarity of the partners within the consortium
- 22:4018 novembre 2008 à 22:40 diff hist +89 ANR PML →Relevance and complementarity of the partners within the consortium
- 22:3218 novembre 2008 à 22:32 diff hist +167 ANR PML →Task 5 - validation
- 22:2918 novembre 2008 à 22:29 diff hist 0 ANR PML →Task 4 - equational reasonning
- 22:2818 novembre 2008 à 22:28 diff hist −748 ANR PML →Task 1 - theoretical work, design of the language
- 22:2618 novembre 2008 à 22:26 diff hist −1 ANR PML →Task 4 - equational reasonning
- 22:2618 novembre 2008 à 22:26 diff hist +527 ANR PML →Task 4 - equational reasonning
- 22:1618 novembre 2008 à 22:16 diff hist +585 ANR PML →Task 4 - equational reasonning
- 22:0618 novembre 2008 à 22:06 diff hist −27 ANR PML →Julien Forest (Cedric, ENSIIE, Evry)
- 21:0218 novembre 2008 à 21:02 diff hist +420 ANR PML →Task 4 - equational reasonning
- 20:5618 novembre 2008 à 20:56 diff hist +7 ANR PML →Task 4 - equational reasonning
- 20:5418 novembre 2008 à 20:54 diff hist +12 ANR PML →Task 2 - termination criterion
- 20:5418 novembre 2008 à 20:54 diff hist −28 ANR PML →Task 1 - theoretical work, design of the language
- 20:5318 novembre 2008 à 20:53 diff hist +35 ANR PML →Task 3 - compilation
- 20:5218 novembre 2008 à 20:52 diff hist +36 ANR PML →Task 1 - theoretical work, design of the language
- 20:5118 novembre 2008 à 20:51 diff hist +1 462 ANR PML →Task 3 - compilation
- 20:2018 novembre 2008 à 20:20 diff hist +83 ANR PML →Task 2 - termination criterion
- 20:1818 novembre 2008 à 20:18 diff hist +7 ANR PML →Task 2 - termination criterion
- 20:1718 novembre 2008 à 20:17 diff hist +1 314 ANR PML →Task 2 - termination criterion
- 19:5818 novembre 2008 à 19:58 diff hist +612 ANR PML →Task 1 - theoretical work, design of the language
- 19:3518 novembre 2008 à 19:35 diff hist +844 ANR PML →Task 1 - theoretical work, design of the language
- 19:2918 novembre 2008 à 19:29 diff hist +151 ANR PML →Project management
- 19:2818 novembre 2008 à 19:28 diff hist +238 ANR PML →Project management
- 19:2518 novembre 2008 à 19:25 diff hist +56 ANR PML →Specific aims of the proposal
- 19:2318 novembre 2008 à 19:23 diff hist −4 ANR PML →Rationale highlighting the originality and novelty of the proposal
- 19:2218 novembre 2008 à 19:22 diff hist +1 134 ANR PML →Rationale highlighting the originality and novelty of the proposal
- 19:0918 novembre 2008 à 19:09 diff hist +124 ANR PML →Proof assistant
- 19:0518 novembre 2008 à 19:05 diff hist +8 ANR PML →Programming language
- 19:0518 novembre 2008 à 19:05 diff hist +8 ANR PML →Programming language
- 19:0518 novembre 2008 à 19:05 diff hist +277 ANR PML →Programming language
- 18:5918 novembre 2008 à 18:59 diff hist +26 ANR PML →Programming language
- 18:5818 novembre 2008 à 18:58 diff hist +41 ANR PML →Context and positionning of the proposal
- 18:5718 novembre 2008 à 18:57 diff hist +439 ANR PML →Context and positionning of the proposal
- 18:5418 novembre 2008 à 18:54 diff hist −14 ANR PML →Context and positionning of the proposal
- 18:5318 novembre 2008 à 18:53 diff hist +40 ANR PML →Context and positionning of the proposal
- 18:5318 novembre 2008 à 18:53 diff hist +466 ANR PML →Context and positionning of the proposal
- 18:4818 novembre 2008 à 18:48 diff hist +126 ANR PML →Context and positionning of the proposal
17 novembre 2008
- 14:1817 novembre 2008 à 14:18 diff hist +164 ANR PML →Scientific justification of requested budget
- 14:0417 novembre 2008 à 14:04 diff hist −792 ANR PML →Scientific justification of requested budget
- 13:4217 novembre 2008 à 13:42 diff hist −2 ANR PML →Christophe Raffalli (project coordinator)
- 13:4217 novembre 2008 à 13:42 diff hist −45 ANR PML →Maria-Virginia Aponte (CNAM, Paris)
- 13:3917 novembre 2008 à 13:39 diff hist +191 ANR PML →Scientific justification of requested budget
- 13:1617 novembre 2008 à 13:16 diff hist +1 421 ANR PML →Task 3 - compilation
- 13:0317 novembre 2008 à 13:03 diff hist −60 ANR PML →Task 1 - theoretical work, design of the language
- 13:0217 novembre 2008 à 13:02 diff hist +529 ANR PML →Task 1 - theoretical work, design of the language
- 12:5317 novembre 2008 à 12:53 diff hist +134 ANR PML →Project management