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

[PVS] Deadline extension: FORMATS 2010 (The 8th InternationalConference on Formal Modelling and Analysis of Timed Systems)



Dear colleagues,
 
Please note that the FORMATS 2010 deadlines have been extended by a week. The new submission deadlines are:
 
      * Abstract submission: April 18, 2010 
        
      * Paper submission: April 25, 2010
 
Best regards,
 
Dejan Nickovic