[TYPES/announce] Cfp: Software Verification and Testing at ACM SAC 2011

Antipolis, France Laura Brandan-Briones, Universidad Nacional de Córdoba, Argentina Jan Cederquist (track chair), Instituto Superior Técnico, Portugal Amy Felty, University of Ottawa, Canada Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Dilian Gurov, Royal Institute of Technology, Sweden

[TYPES/announce] Software Verification and Testing at ACM SAC 2011: Deadline extended

, Argentina Jan Cederquist (track chair), Instituto Superior Técnico, Portugal Amy Felty, University of Ottawa, Canada Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Dilian Gurov, Royal Institute of Technology, Sweden Joshua Guttman, Worcester Polytechnic Institute and The MITRE Corporation, USA