News
Springer Publications
Springer releases the postproceedings of CLIMA X, edited by Jürgen Dix, Michael Fisher and Peter Novak:
http://www.springeronline.com/978-3-642-16866-6
Also Springer releases the postproceedings of CLIMA XI, edited by Jürgen Dix, Joao Leite, Guido Governatori, and Wojtek Jamroga:
http://www.springeronline.com/978-3-642-14976-4
And finally, springer releases the postproceedings of MATES 2010 edited by Jürgen Dix and Cees Witteveen:
http://www.springeronline.com/978-3-642-16177-3