The paper submission deadline for VMCAI'04
( Fifth International Conference on Verification, Model Checking,
and Abstract Interpretation )
has been extended to Saturday, 30 AUGUST.
Submit at: http://sttt.cs.uni-dortmund.de/vmcai2004/servlet/Conference
Conference URL: http://www.dsi.unive.it/~vmcai04/
|