Event | When | Where | Deadline | |
ICST 2013 |
6th IEEE International Conference on Software Testing, Verification, and Validation | |
Mar 18, 2013 - Mar 22, 2013 |
Luxembourg |
Sep 17, 2012 |
EOOPS 2013 |
Engineering Object Oriented Parallel Software | |
Mar 25, 2013 - Mar 28, 2013 |
Barcelona, Spain |
Sep 29, 2012 |
FOSSACS 2013 |
16th International Conference on Foundations of Software Science and Computation Structures | |
Mar 16, 2013 - Mar 24, 2013 |
Rome, Italy |
Oct 14, 2012 (Oct 7, 2012) |
CAV 2013 |
25th International Conference on Computer Aided Verification | |
Jul 13, 2013 - Jul 19, 2013 |
St. Petersburg, Russia |
Jan 7, 2013 (Jan 3, 2013) |
COORDINATION 2013 |
15th International Conference on Coordination Models and Languages | |
Jun 3, 2013 - Jun 5, 2013 |
Firenze, Italy |
Feb 11, 2013 (Feb 4, 2013) |
TYPES 2013 |
Types for Proofs and Programs | |
Apr 23, 2013 - Apr 26, 2013 |
Toulouse, France |
Feb 25, 2013 |
VSTTE 2013 |
Verified Software: Theories, Tools, and Experiments | |
May 17, 2013 - May 19, 2013 |
Atherton, CA |
Mar 1, 2013 (Feb 22, 2013) |
ICE 2013 |
6th Interaction and Concurrency Experience | |
Jun 6, 2013 - Jun 6, 2013 |
Florence, Italy |
Mar 20, 2013 |
SEFM 2013 |
International Conference on Software Engineering and Formal Methods | |
Sep 23, 2013 - Sep 27, 2013 |
Madrid, Spain |
Apr 1, 2013 (Mar 25, 2013) |
CONCUR 2013 |
International Conference on Concurrency Theory | |
Aug 27, 2013 - Aug 30, 2013 |
University of Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 2013) |
ICFEM 2013 |
International Conference on Formal Engineering Methods | |
Oct 29, 2013 - Nov 1, 2013 |
Queenstown, New Zealand |
Apr 22, 2013 (Apr 15, 2013) |
TGC 2013 |
8th International Symposium on Trustworthy Global Computing | |
Aug 30, 2013 - Aug 31, 2013 |
Buenos Aires |
Apr 22, 2013 (Apr 15, 2013) |
STVR-Special_Issue 2013 |
STVR Special Issue on Testing, Analysis and Debugging of Concurrent Programs | |
N/A |
N/A |
Apr 30, 2013 |
FMCAD 2013 |
Formal Methods in Computer-Aided Design | |
Oct 20, 2013 - Oct 23, 2013 |
Portland, Oregon |
May 15, 2013 (May 8, 2013) |
PPPJ 2013 |
2013 International Conference on Principles and Practices of Programming on the Java platform: virtual machines, languages, and tools | |
Sep 11, 2013 - Sep 13, 2013 |
Stuttgart, Germany |
May 31, 2013 (May 27, 2013) |
CPP 2013 |
Certified Programs and Proofs | |
Dec 9, 2013 - Dec 11, 2013 |
Melbourne, Australia |
Jun 7, 2013 (May 30, 2013) |
APLAS 2013 |
Asian Symposium on Programming Languages and Systems | |
Dec 9, 2013 - Dec 11, 2013 |
Melbourne, Australia |
Jun 14, 2013 (Jun 10, 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) |
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) |