Blogs
New series: Reading Notes 
It is natural for any researcher to want to talk about his and his colleagues’ work, and I have often used this blog to report about results, events and publications in which I am involved at ETH, ITMO, Eiffel Software, Informatics Europe, ACM etc. But it is also important to report about interesting stuff from remote quarters.
Specify less to prove more
Software verification is progressing slowly but surely. Much of that progress is incremental: making the fundamental results applicable to real programs as they are built every day by programmers working in standard circumstances. A key condition is to minimize the amount of annotations that they have to provide.
Ershov lecture
On April 11 I gave the “Ershov lecture” in Novosibirsk. I talked about concurrency; a video recording is available here.
Bringing C code to the modern world
The C2Eif translator developed by Marco Trudel takes C code and translates it into Eiffel; it produces not just a literal translation but a re-engineering version exhibiting object-oriented properties.
The origin of “software engineering”
Everyone and her sister continues to repeat the canard that the term
LASER summer school: Software for the Cloud and Big Data
The 2013 LASER summer school, organized by our chair at ETH, will take place September 8-14, once more in the idyllic setting of the Hotel del Golfo in Procchio, on the island of Elba in Italy. This is already the 10th conference; the roster of speakers so far reads like a who’s who of software engineering.