Reachability problems : 6th international workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedingsds.)

Analytical and stochastic modeling techniques and applications : 19th international conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings

Rules on the web : research and applications : 6th international symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings

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

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