NJansen's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
FASE 2012 15th International Conference on Fundamental Approaches to Software Engineering
Mar 24, 2012 - Apr 1, 2012 Tallinn, Estonia Oct 14, 2011 (Oct 7, 2011)
TACAS 2012 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Mar 24, 2012 - Apr 1, 2012 Tallinn, Estonia Oct 14, 2011 (Oct 7, 2011)
HSCC 2012 Hybrid Systems: Computation and Control 2012
Apr 17, 2012 - Apr 19, 2012 Beijing, China Oct 14, 2011
MMB+DFT 2012 16th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance”
Mar 19, 2012 - Mar 21, 2012 Kaiserslautern, Germany Oct 14, 2011
iFM & ABZ 2012 Integrated FM & ABZ 2012 Call for workshops
Jun 18, 2012 - Jun 22, 2012 Pisa, Italy Oct 15, 2011
MBMV 2012 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Mar 5, 2012 - Mar 7, 2012 Kaiserslautern, Germany Oct 28, 2011
ICST 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
Apr 18, 2012 - Apr 22, 2012 Montreal, Canada Nov 4, 2011 (Oct 28, 2011)
ETS 2012 17th IEEE European Test Symposium
May 28, 2012 - Jun 1, 2012 ANNECY, FRANCE - IMPERIAL PALACE Dec 5, 2011
DSN 2012 The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Jun 15, 2012 - Jun 18, 2012 Boston, MA, USA Dec 7, 2011 (Nov 30, 2011)
NFM 2012 Fourth NASA Formal Methods Symposium
Apr 3, 2012 - Apr 5, 2012 Norfolk, Virginia, USA Dec 11, 2011
QAPL 2012 Tenth Workshop on Quantitative Aspects of Programming Languages
Mar 31, 2012 - Apr 1, 2012 Tallinn, Estonia Dec 20, 2011 (Dec 17, 2011)
DDECS 2012 15. IEEE International Symposium on Design and Diagnostics of Digital Circuits and Systems (DDECS)
Apr 18, 2012 - Apr 20, 2012 Tallinn, Estonia Jan 15, 2012
ACSD 2012 12th International Conference on Application of Concurrency to System Design
Jun 27, 2012 - Jun 29, 2012 Hamburg, Germany Jan 20, 2012 (Jan 13, 2012)
CAV 2012 24th International Conference on Computer Aided Verification
Jul 7, 2012 - Jul 13, 2012 Berkeley, CA, USA Jan 22, 2012 (Jan 15, 2012)
MISC 2012 2nd International Symposium on Modelling and Implementation of Complex Systems
May 20, 2012 - May 21, 2012 Constantine, Algeria Feb 20, 2012
QEST 2012 9th International Conference on Quantitative Evaluation of SysTems
Sep 17, 2012 - Sep 20, 2012 London, UK, Imperial College Mar 5, 2012 (Feb 27, 2012)
first | previous | Page 1 | next | last Total of 16 CFPs in 1 pages