New LASER proceedings






Springer has just published in the tutorial sub-series of Lecture Notes in Computer Science a new proceedings volume for the LASER summer school [1]. The five chapters are notes from the 2008, 2009 and 2010 schools (a previous volume [2] covered earlier schools). The themes range over search-based software engineering (Mark Harman and colleagues), replication … Read more




ERC Advanced Investigator Grant: Concurrency Made Easy






We have just been awarded an ERC Advanced Investigator Grant project on concurrent programming (2.5 M EUR). This article is a brief introduction to the project and a first announcement of the positions (postdocs, phds, engineer) for which we will be advertising.







TOOLS 2012, “The Triumph of Objects”, Prague in May: Call for Workshops






The TOOLS federated conferences, held in Prague May 28 to June 1, will include five conferences (TOOLS EUROPE, ICMT, Software Composition, Tests And Proofs, Multicore Software Engineering) and a number of workshop. It is still possible to propose workshops; the instructions are given here.