Project

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.

Project organization

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).

Development groups

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.

Leader for	Members	Young researchers involved
Architecture	Andrea Asperti Claudio Sacerdoti Coen* Enrico Tassi*	66%
Requirements and validation	Lidia Maniccia* Marco Mughetti* Vania Sordoni	66%
Didactical interfaces	Ugo dal Lago* Matteo Magnani* Simone Martini Stefano Zacchiroli	75%

Work packages

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.

Work package	Architecture	Requirement and validation	Didactical interfaces	TOT.
0: Project Management	3*	0	0	3
1: Specification	2	9*	3	14
2: Formalization	3	25*	9	37
3: Didactics	14	9	25*	48
4: Matita	24*	2	12	38
TOT.	46	45	49	140

Project planning

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.

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Mon Apr 4 21:21:35 CEST 2005.