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) |
|