[TYPES/announce] ACM SAC track on Software Verification, Seoul, Korea

Polytechnique, France Lunjin Lu (Track Co-Chair), Oakland Univ. ,USA Iman Poernomo, King's College of London, UK Eric Poll, Radboud Universiteit Nijmegen, The Netherlands Jan-Georg Smaus, Albert-Ludwigs-Universitaet Freiburg, Germany Fausto Spoto (Track Co-Chair), Universit¨¤ di V

[TYPES/announce] ACM SAC track on Software Verification -- deadline extension

papers will be published in the ACM SAC 2006 proceedings.   4. Program Committee   Chandrasekhar Boyapati, University of Michigan, USA Samir Genaim, Universidad Politecnica de Madrid, Spain Francesco Loggozzo, Ecole Polytechnique, France Lunjin Lu (Track Co-Chair), Oakland Univ. ,USA Iman