[Prev][Next][Index][Thread]

Deadline Extension: VMCAI'04




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/