wimmer's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
V&V track @ QUATIC 2016 Quality Aspects in Verification and Validation
Sep 7, 2016 - Sep 9, 2016 Lisbon Apr 10, 2016
DEPEND 2016 The Ninth International Conference on Dependability
Jul 24, 2016 - Jul 28, 2016 Nice, France Apr 11, 2016
SRDS 2016 35th Symposium on Reliable Distributed Systems
Sep 26, 2016 - Sep 29, 2016 Budapest, Hungary Apr 11, 2016 (Apr 4, 2016)
PSSV 2016 7th Workshop Program Semantics, Specification and Verification
Jun 14, 2016 - Jun 14, 2016 Saint Petersburg, Russia Apr 15, 2016
VECoS 2016 International Workshop on Verification and Evaluation of Computer and Communication Systems
Oct 6, 2016 - Oct 7, 2016 Tunis, Tunisia Apr 18, 2016
CONCUR 2016 The 27th International Conference on Concurrency Theory
Aug 23, 2016 - Aug 26, 2016 Qu├ębec City, Canada Apr 18, 2016 (Apr 11, 2016)
FORMATS 2016 14th International Conference on Formal Modeling and Analysis of Timed Systems
Aug 24, 2016 - Aug 26, 2016 Quebec City, Canada Apr 22, 2016 (Apr 15, 2016)
ICCAD 2016 International Conference on Computer Aided Design
Nov 7, 2016 - Nov 10, 2016 Austin, TX Apr 25, 2016 (Apr 18, 2016)
ATVA 2016 14th International Symposium on Automated Technology for Verification and Analysis
Oct 17, 2016 - Oct 19, 2016 Chiba, Japan Apr 26, 2016 (Apr 23, 2016)
ICFEM 2016 International Conference on Formal Engineering Methods
Nov 14, 2016 - Nov 18, 2016 Tokyo Apr 30, 2016 (Apr 22, 2016)
ICTAC 2016 13th International Colloquium on Theoretical Aspects of Computing
Oct 24, 2016 - Oct 31, 2016 Taipei, Taiwan, ROC May 1, 2016 (Apr 23, 2016)
VSTTE 2016 Verified Software: Theories, Tools, Experiments
Jul 17, 2016 - Jul 18, 2016 Toronto, Canada May 2, 2016 (Apr 25, 2016)
FMCAD 2016 Formal Methods in Computer-Aided Design
Oct 4, 2016 - Oct 6, 2016 Mountain View, CA, USA May 9, 2016 (May 2, 2016)
MASCOTS 2016 Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Sep 19, 2016 - Sep 21, 2016 London, UK May 15, 2016
SETTA 2016 Symposium on Dependable Software Engineering Theories, Tools and Applications 2016
Nov 9, 2016 - Nov 11, 2016 Beijing, China May 19, 2016 (May 12, 2016)
ICCD 2016 International Conference on Computer Design
Oct 3, 2016 - Oct 5, 2016 Phoenix, USA May 20, 2016 (May 13, 2016)
GandALF 2016 The Seventh International Symposium on Games, Automata, Logics and Formal Verification
Sep 14, 2016 - Sep 16, 2016 Catania, Italy May 27, 2016 (May 20, 2016)
FM 2016 21st International Symposium on Formal Methods
Nov 7, 2016 - Nov 11, 2016 Limassol, Cyprus May 30, 2016 (May 16, 2016)
LADC 2016 Latin-American Symposium on Dependable Computing
Oct 19, 2016 - Oct 21, 2016 Cali, Colombia Jun 1, 2016 (May 25, 2016)
EPEW 2016 13th European Workshop on Performance Engineering
Oct 5, 2016 - Oct 7, 2016 Chios, Greece Jun 8, 2016 (Jun 1, 2016)
first | previous | Page 1 | next | last Total of 20 CFPs in 1 pages