Deadline Extension: VMCAI'04

• To: types@cis.upenn.edu
• Subject: Deadline Extension: VMCAI'04
• From: Dave Schmidt <schmidt@cis.ksu.edu>
• Date: Thu, 21 Aug 2003 17:06:08 -0500 (CDT)

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/

• Prev: CFP JLAP: Processes and Security"
• Next: Type theory vs floating-point arithmetic
• Index(es):
  • Main
  • Thread