Contributions de Blanqui
Aller à la navigation
Aller à la recherche
13 janvier 2011
- 09:0013 janvier 2011 à 09:00 diff hist −5 ANR PML →Task 2 - termination
- 04:3313 janvier 2011 à 04:33 diff hist +452 ANR PML →Task 2 - termination
- 04:2613 janvier 2011 à 04:26 diff hist +817 ANR PML →Task 2 - termination
- 04:0513 janvier 2011 à 04:05 diff hist −6 ANR PML →Task 2 - termination
- 03:5913 janvier 2011 à 03:59 diff hist +20 ANR PML →Task 4 - Automated reasoning
- 03:5913 janvier 2011 à 03:59 diff hist −445 ANR PML →Task 4 - Automated reasoning
12 janvier 2011
- 07:2812 janvier 2011 à 07:28 diff hist +44 ANR PML →Frederic Blanqui (INRIA, Rocquencourt)
- 07:2412 janvier 2011 à 07:24 diff hist −772 ANR PML →Frederic Blanqui (INRIA, Rocquencourt and LIAMA Beijing until 09/2012)
- 07:1112 janvier 2011 à 07:11 diff hist +10 ANR PML →Involvement of project participants to other grants, contracts, etc …
20 novembre 2008
- 01:3420 novembre 2008 à 01:34 diff hist +452 ANR PML →Pierre Weis (INRIA, Rocquencourt)
- 01:2920 novembre 2008 à 01:29 diff hist +30 ANR PML →Frederic Blanqui (INRIA, Rocquencourt and LIAMA Beijing until 09/2012)
19 novembre 2008
- 08:3719 novembre 2008 à 08:37 diff hist −81 ANR PML →Frederic Blanqui (INRIA, Rocquencourt and LIAMA Beijing in 2009-2010)
- 08:3419 novembre 2008 à 08:34 diff hist +2 ANR PML →Scientific justification of requested budget
- 08:3419 novembre 2008 à 08:34 diff hist −1 ANR PML →Scientific justification of requested budget
- 08:3219 novembre 2008 à 08:32 diff hist −3 ANR PML →Relevance of the partner for the project
- 08:2919 novembre 2008 à 08:29 diff hist +100 ANR PML →Task 4 - equational reasoning
- 08:1719 novembre 2008 à 08:17 diff hist +23 ANR PML →Task 2 - termination criterion
- 08:0919 novembre 2008 à 08:09 diff hist −21 ANR PML →Task 1 - theoretical work, design of the language
- 08:0419 novembre 2008 à 08:04 diff hist −7 ANR PML →Project management
- 08:0119 novembre 2008 à 08:01 diff hist +1 ANR PML →Specific aims of the proposal
- 08:0019 novembre 2008 à 08:00 diff hist +10 ANR PML →Rationale highlighting the originality and novelty of the proposal
- 07:5719 novembre 2008 à 07:57 diff hist +25 ANR PML →Proof assistant
- 07:5219 novembre 2008 à 07:52 diff hist −7 ANR PML →Programming language
- 07:4619 novembre 2008 à 07:46 diff hist +2 ANR PML →Context and positioning of the proposal
- 07:4219 novembre 2008 à 07:42 diff hist +4 ANR PML →Context and positioning of the proposal
- 07:4019 novembre 2008 à 07:40 diff hist +1 ANR PML →Context and positioning of the proposal
- 07:3619 novembre 2008 à 07:36 diff hist +2 ANR PML →Frederic Blanqui (INRIA, Rocquencourt et LIAMA Beijin en 2009-2010)
18 novembre 2008
- 02:1718 novembre 2008 à 02:17 diff hist +42 ANR PML →Frederic Blanqui (INRIA, Rocquencourt et LIAMA Beijin en 2009-2010)
- 02:1418 novembre 2008 à 02:14 diff hist −104 ANR PML →Scientific justification of requested budget
- 02:1118 novembre 2008 à 02:11 diff hist +92 ANR PML →Scientific justification of requested budget
- 02:0118 novembre 2008 à 02:01 diff hist +867 ANR PML →Task 4 - equational reasonning
- 01:2818 novembre 2008 à 01:28 diff hist +584 ANR PML →Task 1 - theoretical work, design of the language
- 01:2018 novembre 2008 à 01:20 diff hist +448 ANR PML →Task 1 - theoretical work, design of the language
17 novembre 2008
- 07:3317 novembre 2008 à 07:33 diff hist +923 ANR PML →Task 4 - equational reasonning
- 07:0117 novembre 2008 à 07:01 diff hist +605 ANR PML →Task 1 - theoretical work, design of the language
- 06:3317 novembre 2008 à 06:33 diff hist −32 ANR PML →Scientific justification of requested budget
13 novembre 2008
- 02:1413 novembre 2008 à 02:14 diff hist +22 ANR PML →CV, Resume
- 02:1113 novembre 2008 à 02:11 diff hist +12 ANR PML →CV, Resume
- 02:0613 novembre 2008 à 02:06 diff hist +142 ANR PML →Involvement of project participants to other grants, contracts, etc …
- 02:0513 novembre 2008 à 02:05 diff hist +704 ANR PML →Scientific justification of requested budget
12 novembre 2008
11 novembre 2008
- 05:4711 novembre 2008 à 05:47 diff hist +351 ANR PML →Scientific justification of requested budget
- 05:4211 novembre 2008 à 05:42 diff hist +22 ANR PML →CV, Resume
- 05:4111 novembre 2008 à 05:41 diff hist +60 ANR PML →CV, Resume
- 05:3911 novembre 2008 à 05:39 diff hist +3 719 ANR PML →CV, Resume
- 05:1811 novembre 2008 à 05:18 diff hist +37 ANR PML →Task 5 - equational reasonning
- 05:1111 novembre 2008 à 05:11 diff hist +580 ANR PML →Task 5 - equational reasonning
- 05:0011 novembre 2008 à 05:00 diff hist +1 ANR PML →Task 2 - termination criterion
- 05:0011 novembre 2008 à 05:00 diff hist −4 ANR PML →Task 2 - termination criterion
- 04:5911 novembre 2008 à 04:59 diff hist +7 ANR PML →Task 2 - termination criterion