Details

Category: In Brief

Published: 01 October 2015

Hits: 4434

PaaSage, a large scale European research project for developing an open and integrated platform to support model based lifecycle management of Cloud applications for software and service providers is proud to announce the official public release of the first version of the PaaSage product.

The PaaSage product and the source code will be available through the OW2 AppHub European Open Source Market Place on 30 September.

As of today, Cloud solutions are still insufficient and in particular require from developers, operators and providers a high level of expertise to properly exploit the capabilities offered by Cloud technologies. Cloud infrastructures are not standardised and porting an existing application to a Cloud platform is still a very challenging task, leading to strong dependencies between the client application and the Cloud platform. Developing once and deploying on many Cloud Platforms is what the PaaSage development environment enables.

PaaSage is an integrated open source development environment to support both design and deployment of Cloud applications, together with an accompanying methodology that allows model-based development, configuration, optimisation and deployment of existing and new applications independently of the existing underlying Cloud infrastructures.

Launched in October 2012, PaaSage is a research project carried out by 19 European partners, and led by ERCIM. The PaaSage technology will also be showcased at the upcoming Paris Open Source Summit 18-19 November 2015).

More information:
Passage software at OW2: http://www.ow2.org/bin/view/ActivitiesDashboard/PaaSage
http://www.paasage.eu/
Paris Open Source Summit: http://www.opensourcesummit.paris/

Details

Category: In Brief

Published: 27 September 2015

Hits: 5557

Xavier Leroy from Inria has been awarded the Royal Society Milner Award 2016 in recognition of his research on the OCaml functional programming language and on the formal verification of compilers. This prize, created in homage to Professor Robin Milner, rewards a European researcher for his or her exceptional contribution to computer science. “The fact that it bears Milner’s name is particularly close to my heart”, says Xavier Leroy. “Robin Milner was a pioneer in fundamental computer science who founded whole areas of research on programming languages, machine-assisted proofs, and process computing. My work on the OCaml functional programming language and on the formal verification of compilers, as well as that of our Inria colleagues on the Coq proof assistant, are part of this legacy. It is very moving to see how far we have come, from Milner’s great ideas of the 1970s to tools as powerful and as widely used as OCaml and Coq.”

Photo G. Scagnelli/© Inria
https://royalsociety.org/grants-schemes-awards/awards/milner-award/

Details

Category: In Brief

Published: 27 September 2015

Hits: 6009

Researcher Lex Schrijver (CWI) has been awarded the EURO Gold Medal 2015. This prize is considered the highest European distinction in Operational Research (OR) and is awarded by the Association of European Operational Research Societies (EURO). Schrijver received the prize in July at the 27th European Conference on Operational Research in Glasgow. Schrijver is CWI Fellow in the Networks & Optimization group at CWI and professor at the University of Amsterdam. He is a world-renowned authority in the field of discrete mathematics and optimization. He is best known to the general public for his work on the optimization of the Dutch railway timetable. Schrijver has received numerous awards and honours, including the NWO Spinoza Prize, Fulkerson Prize (twice), Dantzig Prize, Frederick W. Lanchester Prize (twice), John von Neumann Theory Prize, and the Franz Edelman Award. He is Fellow of the American Mathematical Society and a SIAM Fellow, has honorary doctorates from the University of Waterloo and the Loránd Eötvös University and is a Knight in the Order of the Netherlands Lion.
Photo: Source CWI