April 2014 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Apr 1 17:30:35 CEST 2014
Ending: Tue Apr 22 09:26:01 CEST 2014
Messages: 9

• [Om] 2nd CfP, VERIFY 2014, 8th Verification Workshop, *Abstract Deadline April 17th, 2014*, Focus Theme: Verification Beyond IT Systems   Serge Autexier
• [Om] [fm-announcements] 21st International Symposium on Model Checking of Software - SPIN 2014 (Extended deadline: April 19th)   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om] [fm-announcements] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE, FRANCE, JULY 7-10, 2014   Klaus Havelund
• [Om] [fm-announcements] April 22, Extended SPIN 2014 deadline   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om] [fm-announcements] RV 2014, Deadlines extended: abstract April 18, full paper April 25   Klaus Havelund
• [Om] [fm-announcements] SPIN 2014, Submission Deadline: April 19th (Saturday)   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om] CfP: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems, extended deadline *May 5th, 2014*   Serge Autexier
• [Om] MACIS 2013: MCS Special Issue - Call for Papers   MACIS2013-MCS
• [Om] PAS 2014 - Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation   Dongming Wang

Last message date: Tue Apr 22 09:26:01 CEST 2014
Archived on: Tue Apr 22 10:11:57 CEST 2014

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...