Dear Officer and Reviewers, you can find in attachment the deliverables and most of the software developed during the third period of CerCo. The remaining software that is not attached to the e-mail because of its size is: 1. the Debian packages for all CerCo's software 2. a Live CD to run the software without any need to install it They can be both downloaded from the CerCo's website: http://cerco.cs.unibo.it The Live CD alone is slightly larger than 1GB. The attached files are the following: - DoW.pdf: a copy of the Description of Work after the amendment that occurred during the third period - FollowUp.pdf: a letter that describes the follow up to the reviewer's reccommendations for the third period (also part of D1.3) - D1_3.tar.gz: it contains a draft of the progress report (D1.3) splitted in its four parts. NOTE: the draft only contains information on the scientific parts and project management. The financial details are still missing and will be sent to the Officer as soon as possible. A best effort draft will be submitted in any case before the review. - D1_4.tar.gz: a draft of the final report (in two parts). NOTE: the only part missing from the draft is the last page that should contain financial details. - D3_4.pdf, D4_4.pdf, D5_2.pdf, D5_3.pdf, D6_3.pdf, D6_4_D6_5.pdf, D6_6.pdf: the reports due for the third period, without the software - acc_0.2.orig.tar.gz: the source code for the latest version of the untrusted CerCo compiler, described in old reports - acc-trusted_0.2.orig.tar.gz: the source code for the latest version of the trusted CerCo compiler, described in D5_2.pdf - cost-plug-in_0.2.orig.tar.gz: the source code for the latest version of the cost annotating plugin, described in D5_3.pdf, D5_2.pdf and old reports - certification_20130430.tgz: a snapshot of the formalization at the end of the third period. The code automatically extracted from these files is part of acc-trusted_0.2.orig.tar.gz. To run the code, Matita version 0.99.2 is required (available as a Debian package or in the Live CD). All the software attached is also available (not in source form) on the Live CD. For any question or problem related to the submitted files, please contact me directly. Otherwise, see you all soon at the final review in Brussels. Sincerely, C.S.C.