| Event | When | Where | Deadline | |
| 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) |
| VSTTE 2013 |
Verified Software: Theories, Tools, and Experiments | |
| May 17, 2013 - May 19, 2013 |
Atherton, CA |
Mar 1, 2013 (Feb 22, 2013) |
| CICM 2013 |
Conferences on Intelligent Computer Mathematics | |
| Jul 8, 2013 - Jul 12, 2013 |
Bath, UK |
Mar 8, 2013 (Mar 1, 2013) |
| ICFP 2013 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 25, 2013 - Sep 27, 2013 |
Boston, MA, USA |
Mar 28, 2013 |
| RAID 2013 |
Research in Attacks, Intrusions and Defenses (RAID) Symposium | |
| Oct 23, 2013 - Oct 25, 2013 |
Saint Lucia |
Apr 1, 2013 |
| VPT 2013 |
First International Workshop on Verification and Program Transformation | |
| Jul 13, 2013 - Jul 14, 2013 |
Saint Petersburg, Russia |
Apr 2, 2013 |
| ATVA 2013 |
International Symposium on Automated Technology for Verification and Analysis | |
| Oct 15, 2013 - Oct 18, 2013 |
Hanoi, Vietnam |
Apr 6, 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) |
| FORMATS 2013 |
11th International Conference on Formal Modeling and Analysis of Timed Systems | |
| Aug 29, 2013 - Aug 31, 2013 |
Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 2013) |
| ARSEC 2013 |
Automated Reasoning in Security | |
| Jun 9, 2013 - Jun 9, 2013 |
Lake Placid, New York |
Apr 8, 2013 |
| ICLP 2013 |
29th International Conference on Logic Programming | |
| Aug 24, 2013 - Aug 29, 2013 |
Istanbul, Turkey |
Apr 10, 2013 (Apr 3, 2013) |
| DFIS 2013 |
The 7th International Symposium on Digital Forensics and Information Security | |
| Sep 4, 2013 - Sep 6, 2013 |
Gwangju, Korea |
May 5, 2013 |
| FOSINT-SI 2013 |
International Symposium on Foundations of Open Source Intelligence and Security Informatics | |
| Aug 25, 2013 - Aug 28, 2013 |
Niagara Falls - Canada |
May 15, 2013 (May 8, 2013) |
| ASE 2013 |
28th IEEE/ACM International Conference on Automated Software Engineering | |
| Nov 11, 2013 - Nov 15, 2013 |
Palo Alto, USA |
May 17, 2013 (May 10, 2013) |
| ICoFCS 2013 |
The 8th International Conference on Forensic Computer Science | |
| Aug 14, 2013 - Aug 16, 2013 |
Sao Paulo, Brazil |
Jun 5, 2013 |
| GPCE 2013 |
International Conference on Generative Programming: Concepts & Experiences | |
| Oct 27, 2013 - Oct 28, 2013 |
Indianapolis, IN, USA |
Jun 14, 2013 |
| AVOCS 2014 |
Automated Verification of Critical Systems | |
| N/A |
N/A |
May 31, 2014 |
|
