Event | When | Where | Deadline | | Expired CFPs |
CONCUR 2015 |
26th International Conference on Concurrency Theory | |
Sep 1, 2015 - Sep 4, 2015 |
Madrid, Spain |
Apr 20, 2015 (Apr 13, 2015) |
WWV 2015 |
11th International Workshop on Automated Specification and Verification of Web Systems | |
Jun 23, 2015 - Jun 23, 2015 |
Oslo, Norway |
Apr 10, 2015 (Mar 30, 2015) |
WWV 2015 |
11th International Workshop on Automated Specification and Verification of Web Systems | |
Jun 23, 2015 - Jun 23, 2015 |
Oslo, Norway |
Mar 25, 2015 (Mar 18, 2015) |
ProCoS 2015 |
BCS-FACS ProCoS Workshop on Provably Correct Systems | |
Mar 9, 2015 - Mar 10, 2015 |
London, UK |
Mar 6, 2015 |
VPT 2015 |
3rd International Workshop on Verification and Program Transformation | |
Apr 11, 2015 - Apr 11, 2015 |
London, UK |
Feb 6, 2015 (Jan 16, 2015) |
SWEC 2015 |
Second International Workshop on the Swarm at the Edge of the Cloud | |
Apr 13, 2015 - Apr 13, 2015 |
Seattle, Washington |
Jan 18, 2015 |
SESA 2014 |
SESA’2014 : Workshop on Software Engineering and Systems Architecture | |
Dec 13, 2014 - Dec 13, 2014 |
Tetuan |
Nov 15, 2014 |
EvoHOT 2014 |
Workshop on Evolutionary Hardware Optimization @ EvoSTAR | |
Apr 23, 2014 - Apr 25, 2014 |
Granada, Spain |
Nov 11, 2014 |
MBMV 2015 |
18. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |
Mar 3, 2015 - Mar 4, 2015 |
Chemnitz, Germany |
Nov 2, 2014 |
MTV 2014 |
15th International Workshop on Microprocessor Test and Verification | |
Dec 15, 2014 - Dec 17, 2014 |
Austin, TX, USA |
Sep 15, 2014 |
FTSCS 2014 |
Third International Workshop on Formal Techniques for Safety-Critical Systems | |
Nov 6, 2014 - Nov 7, 2014 |
Luxembourg |
Sep 12, 2014 |
ACM SAC 2015 |
30th Annual ACM Symposium on Applied Computing / Software Verification and Testing Track | |
Apr 13, 2015 - Apr 17, 2015 |
Salamanca, Spain |
Sep 12, 2014 |
VMCAI 2015 |
16th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 12, 2015 - Jan 14, 2015 |
Mumbai, India |
Sep 12, 2014 (Sep 5, 2014) |
SCiA at AIAA SciTech 2015 |
Software Challenges in Aerospace Symposium | |
Jan 5, 2014 - Jan 9, 2014 |
Kissimee, FL |
Sep 1, 2014 (Jun 2, 2014) |
ICDV 2014 |
The 5th IEICE International Conference on Integrated Circuits, Design, and Verification | |
Nov 14, 2014 - Nov 15, 2014 |
Hanoi |
Aug 15, 2014 |
DIFTS 2014 |
DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS | |
Oct 20, 2014 - Oct 20, 2014 |
Lausanne, Switzerland |
Aug 10, 2014 (Aug 4, 2014) |
HVC 2014 |
10th Haifa Verification Conference | |
Nov 18, 2014 - Nov 20, 2014 |
Haifa, Israel |
Jul 29, 2014 |
ACES-MB 2014 |
7th International Workshop on Model-Based Architecting and Construction of Embedded Systems | |
Sep 30, 2014 - Sep 30, 2014 |
Valencia, Spain |
Jul 18, 2014 |
AVOCS 2014 |
Automated Verification of Critical Systems | |
N/A |
N/A |
May 31, 2014 |
TGC 2014 |
9th Symposium on Trustworthy Global Computing | |
Sep 5, 2014 - Sep 6, 2014 |
Rome (Italy) |
May 9, 2014 (May 2, 2014) |
|