|Version 1 (modified by sacerdot, 7 years ago) (diff)|
The project lies at the intersection between complexity, formal checking and compilers, requiring a complex synergy between experts of the three fields, and providing an original forum for a radical interdisciplinary exploration of complexity issues from a computer assisted viewpoint. It is clear that having a geographically distributed team always poses additional problems with respect to a tightly integrated one. However, due to the dimension of the project and its visionary nature it is difficult to imagine a single agency to carry out the work. Even worse, in this case, due to the cost of the project, the results of the work would presumably be covered by copyright, and the software would hardly be open source, to the detriment of the diffusion of scientific knowledge of a foundational nature, and the industrial take up of innovative research results, that should be among the main goals of the European Union^8^?.