xbauch's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
MTV 2010 International Workshop on Microprocessor Test and Verification
Dec 13, 2010 - Dec 14, 2010 Austin, Texas, USA Sep 15, 2010
ICST 2011 International Conference on Software Testing, Validation and Verification
Mar 21, 2011 - Mar 25, 2011 Berlin Oct 1, 2010 (Sep 25, 2010)
TACAS 2011 International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Mar 26, 2011 - Apr 3, 2011 Saarbrücken, Germany Oct 8, 2010 (Oct 1, 2010)
FoSSaCS 2011 14th International Conference on Foundations Of Software Science And Computation Structures
Mar 26, 2011 - Apr 3, 2011 Saarbruecken, Germany Oct 8, 2010 (Oct 4, 2010)
HSCC 2011 International Conference on Hybrid Systems: Computation and Control
Apr 12, 2011 - Apr 14, 2011 Chicago, IL, USA Oct 10, 2010
MBMV 2011 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Feb 21, 2011 - Feb 23, 2011 Oldenburg, Germany Nov 7, 2010
MBT 2011 Model-Based Testing
Apr 2, 2011 - Apr 3, 2011 Saarbrücken Dec 6, 2010
QAPL 2011 Ninth Workshop on Quantitative Aspects of Programming Languages
Apr 1, 2011 - Apr 3, 2011 Saarbrücken, Germany Dec 17, 2010
ReVVerT 2011 ICST Workshop on Requirements and Validation, Verification & Testing
Mar 21, 2011 - Mar 21, 2011 Berlin, Germany Dec 21, 2010
NFM 2011 Third NASA Formal Methods Symposium
Apr 18, 2011 - Apr 20, 2011 Pasadena, California, USA Dec 26, 2010
A-MOST 2011 7th Workshop on Advances in Model Based Testing
Mar 21, 2011 - Mar 21, 2011 Berlin Jan 7, 2011
DDECS 2011 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems
Apr 13, 2011 - Apr 14, 2011 Cottbus, Germany Jan 9, 2011
ACSD 2011 Eleventh International Conference on Application of Concurrency to System Design
Jun 20, 2011 - Jun 24, 2011 Kanazawa, Japan Jan 24, 2011 (Jan 17, 2011)
CADE 2011 23rd International Conference on Automated Deduction
Jul 31, 2011 - Aug 5, 2011 Wroclaw, Poland Feb 7, 2011 (Feb 1, 2011)
CALCO 2011 4th Conference on Algebra and Coalgebra
Aug 29, 2011 - Sep 2, 2011 Winchester, UK Feb 13, 2011 (Feb 6, 2011)
GANDALF 2011 2nd International Symposium on Games, Automata, Logics and Formal Verification
Jun 15, 2011 - Jun 17, 2011 Minori, Amalfi Coast, Italy Mar 20, 2011 (Mar 13, 2011)
FMICS 2011 Formal Methods for Industrial Critical Systems
Aug 29, 2011 - Aug 30, 2011 Trento Mar 25, 2011 (Mar 18, 2011)
QEST 2011 8th International Conference on Quantitative Evaluation of SysTems
Sep 5, 2011 - Sep 8, 2011 Aachen, Germany Mar 25, 2011 (Mar 18, 2011)
CONCUR 2011 22nd International Conference on Concurrency Theory
Sep 6, 2011 - Sep 9, 2011 Aachen, Germany Apr 8, 2011 (Apr 1, 2011)
ECBS-EERC 2011 2nd Eastern European Regional Conference on the Engineering of Computer Based Systems
Sep 5, 2011 - Sep 6, 2011 Bratislava, Slovakia Apr 12, 2011 (Mar 12, 2011)
first | previous | Page 2 | next | last Total of 95 CFPs in 5 pages