Section: Overall Objectives

Highlights of the Year

This year we have produced three major scientific results. Concerning the foundations of programming, we have extending the Calculus of Construction, the type theory underlying the Coq theorem prover by new logical principles that haven't been tractable before [22] , see Sec.  6.1 . We have also extended the A Calculus, the currently most comprehensive foundational calculus for AspectJ-like and history-based aspect models, by a non-deterministic semantics and have provided a type soundness proof that is close to standard mathematical reasoning and automated using Coq [12] , see Sec.  6.2 . In the domain of efficient Cloud infrastructures, we have proposed DVMS, a fully-distributed and autonomous system for VM scheduling, that includes one of the currently most highly-scalable scheduling algorithm [13] , see Sec.  6.3 .

ASCOLA is part of the new EU FP7 IP project A4Cloud on Accountability for the Cloud, a project with 13 industrial and academic partners, see Sec.  8.2 .

Finally, ASCOLA members have organized the Grid'5000 international winter school at École de Mines de Nantes, which brought together seventy, mostly European, PhD students and senior researchers, see Sec.  9.1 .