Event | When | Where | Deadline | |
CSTVA 2013 |
Workshop on Constraints in Software Testing Verification and Analysis | |
Mar 22, 2013 - Mar 22, 2013 |
Luxembourg |
Jan 14, 2013 |
POPL 2014 |
Symposium on Principles of Programming Languages | |
Jan 22, 2014 - Jan 24, 2014 |
The US Grant, San Diego, CA, USA |
Jul 12, 2013 (Jul 5, 2013) |
DIFTS 2013 |
DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS | |
Oct 19, 2013 - Oct 19, 2013 |
Portland, OR, USA |
Jul 24, 2013 |
ASPLOS 2014 |
19th International Conference on Architectural Support for Programming Languages and Operating Systems | |
Mar 1, 2014 - Mar 5, 2014 |
Salt Lake City, UT, USA |
Jul 24, 2013 (Jul 17, 2013) |
NDSS 2014 |
21st Network & Distributed System Security Symposium | |
Feb 23, 2014 - Feb 26, 2014 |
San Diego, California |
Aug 9, 2013 (Aug 5, 2013) |
ICSE 2014 |
36th International Conference on Software Engineering | |
May 31, 2014 - Jun 7, 2014 |
Hyderabad, India |
Sep 13, 2013 |
ESSoS 2014 |
International Symposium on Engineering Secure Software and Systems | |
Feb 26, 2014 - Feb 28, 2014 |
Munich, Germany |
Sep 13, 2013 (Sep 6, 2013) |
PPOPP 2014 |
19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming | |
Feb 15, 2014 - Feb 19, 2014 |
Orlando , Florida |
Sep 15, 2013 (Sep 8, 2013) |
VMCAI 2014 |
Verification, Model Checking, and Abstract Interpretation | |
Jan 19, 2014 - Jan 21, 2014 |
San Diego |
Sep 18, 2013 (Sep 11, 2013) |
ICST 2014 |
International Conference on Software Testing, Verification, and Validation | |
Mar 31, 2014 - Apr 4, 2014 |
Cleveland, Ohio, USA |
Sep 23, 2013 |
TACAS 2014 |
Tools and Algorithms for Construction and Analysis of Systems | |
Apr 5, 2014 - Apr 13, 2014 |
Grenoble |
Oct 11, 2013 (Oct 4, 2013) |
EuroSys 2014 |
EuroSys 2014 : ACM SIGOPS in Europe EuroSys 2014 | |
Apr 14, 2014 - Apr 16, 2014 |
Amsterdam, Netherlands |
Oct 11, 2013 (Oct 4, 2013) |
DSN 2014 |
The 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks | |
Jun 23, 2014 - Jun 26, 2014 |
Atlanta, Georgia USA |
Dec 8, 2013 (Dec 1, 2013) |
ISSTA 2014 |
International Symposium on Software Testing and Analysis | |
Jul 21, 2014 - Jul 26, 2014 |
Hilton San Jose, Bay Area, CA, USA |
Jan 24, 2014 |
ASE 2014 |
ACM/IEEE International Conference on Automated Software Engineering | |
Sep 15, 2014 - Sep 19, 2014 |
Vasteras, Sweden |
Apr 25, 2014 (Apr 18, 2014) |
|