(Apologies for duplicates)
*** TAP 2012 offers extended submission deadlines due to ***
*** numerous requests received: ***
*** Abstract submission: January 11, 2012***
*** Pa
(It would be nice to see some papers on Haskell automated testing here)
John
AST 2012
7th IEEE/ACM International Workshop on Automation of Software Test
http://ast2012.org
At ICSE 2012 (http://www.ifi.uzh.ch/icse2012/)
Zurich, Switzerland, 2-3 June 2012
IMPORTANT DATES:
Submission deadline:
== CALL FOR PAPERS ==
24th International Conference on Computer Aided Verification (CAV
2012) July 7-13, 2012 Berkeley, California, USA
Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia
Website: http://cav12.cs.illinois.edu/
Aims and Scope
---
The conference o
