eloi's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
VALID 2011 The Third International Conference on Advances in System Testing and Validation Lifecycle
Oct 23, 2011 - Oct 28, 2011 Barcelona, Spain May 20, 2011
FORMATS 2011 9th International Conference on Formal Modeling and Analysis of Timed Systems
Sep 21, 2011 - Sep 23, 2011 Aalborg, Denmark May 22, 2011 (May 15, 2011)
DIFTS 2011 First International Workshop on Design and Implementation of Formal Tools and Systems
Nov 3, 2011 - Nov 3, 2011 Austin, TX Jun 6, 2011 (May 30, 2011)
AVOCS 2011 11th International Workshop on Automated Verification of Critical Systems
Sep 12, 2011 - Sep 15, 2011 Newcastle upon Tyne Jun 13, 2011
ACC 2013 The 2013 American Control Conference
Jun 17, 2013 - Jun 19, 2013 Washington, DC, USA Sep 17, 2012
MIC 2013 Modelling, Identification and Control
Feb 11, 2013 - Feb 13, 2013 Innsbruck, Austria Oct 26, 2012
first | previous | Page 1 | next | last Total of 6 CFPs in 1 pages