Computational logic in multi-agent systems : 13th international workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings

FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings

Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings

Experimental algorithms : 11th international symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings

Static analysis : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings