[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