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 |
|