xbauch's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
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
INFINITY 2011 13th International Workshop on Verification of Infinite-State Systems
Oct 10, 2011 - Oct 10, 2011 Taipei, Taiwan Jun 20, 2011
ASP-DAC 2012 17th Asia and South Pacific Design Automation Conference
Jan 30, 2012 - Feb 2, 2012 Sydney, Australia Jul 19, 2011
VMCAI 2012 13th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 22, 2012 - Jan 24, 2012 Philadelphia, USA Aug 19, 2011 (Aug 12, 2011)
HVC 2011 Haifa Verification Conference 2011
Dec 5, 2011 - Dec 8, 2011 Haifa, Israel Aug 24, 2011
VSTTE 2012 Verified Software: Theories, Tools and Experiments
Jan 28, 2012 - Jan 29, 2012 Philadelphia, USA Aug 31, 2011
MTV 2011 12th International Workshop on Microprocessor Test and Verification
Dec 5, 2011 - Dec 7, 2011 Austin, USA Sep 1, 2011
DATE 2012 Design, Automation and Test in Europe
Mar 12, 2012 - Mar 16, 2012 Dresden - Germany Sep 11, 2011
V2CS 2011 V2CS'2011: First international workshop on Verification and Validation of multi-agent models for Complex Systems
Nov 17, 2011 - Nov 18, 2011 Paris Sep 15, 2011
CRTS 2011 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems
Nov 29, 2011 - Nov 29, 2011 Vienna, Austria Sep 16, 2011
SEA 2011 The 15th International Conference on Software Engineering and Applications
Dec 14, 2011 - Dec 16, 2011 Dallas Sep 22, 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
SE 2012 Software Engineering 2012
Feb 27, 2012 - Mar 2, 2012 Berlin Oct 17, 2011 (Oct 10, 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)
Ada-Europe 2012 17th International Conference on Reliable Software Technologies
Jun 11, 2012 - Jun 15, 2012 Stockholm, Sweden Nov 28, 2011
first | previous | Page 3 | next | last Total of 95 CFPs in 5 pages