The detailed project proposal (in Italian only) is made of
a project description and a
description of participants.
We copy here only the most relevant informations.
The project is organized around five work packages
to be developed by three development groups. Each work package
has a few planned deliverables, that can be either reports or
prototypes. The exact number, type and subject of the deliverables
could vary during the project. The two major milestones of the
project are the learning environment (deliverable D3.3)
and a fully formalized proof of Lebesgue's dominated convergence
theorem (deliverable D2.4 and/or D2.5).
The following table shows the composition of each development
group. Each group is mostly made by young researchers (identified
by an asterisk), but has also a senior researcher to provide
guidance and expertise.
||Young researchers involved
Claudio Sacerdoti Coen*
|Requirements and validation
||Ugo dal Lago*
Each work package is under the responsability of the development group
identified in the following table by an asterisk. The table also show
the effort in man monthes required to each group.
||Requirement and validation
|0: Project Management
The following diagram shows the preliminary planning of the
project. The tentative deadline for a deliverables is shown
in the upper right corner of the deliverable node.
The diagram can be enlarged by clicking on it.