[Haskell] Extended Deadline - ACM SAC'06: Software Verification

5. Program Committee . Franjo Ivancic, NEC Labs America, Inc, U.S.A. . Radu Grosu, SUNY-Stony Brook, U.S.A. . Francesco Logozzo, Ecole Polytechnique, France . Lunjin Lu(Co-Chair), Oakland University, U.S.A. . Madhusudan Parthasarathy, UIUC, U.S.A. . Robby, Kansas State University

[Haskell] ACM SAC 2006 CFP: Software Verification Track

Grosu, SUNY-Stony Brook, U.S.A.    . Francesco Logozzo, Ecole Polytechnique, France    . Lunjin Lu(Co-Chair), Oakland University, U.S.A.    . Madhusudan Parthasarathy, UIUC, U.S.A.    . Robby, Kansas State University, U.S.A.    . Abhik Roychoudhury, National Univ. Singapore    . Fausto Spoto