Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings

Data and applications security and privacy XXVI : 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13, 2012 : proceedings

Resource discovery : third international workshop, RED 2010 Paris, France, November 5, 2010 : revised selected papers

Foundations and practice of security: 4th Canada-France MITACS workshop, FPS 2011 Paris, France, May 12-13, 2011 : revised selected papers

Real algebraic geometry: proceedings of the conference held in Rennes, France, June 24-28, 1991