Lisitsa's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
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)
CSL 2013 22nd EACSL Annual Conference on Computer Science Logic
Sep 2, 2013 - Sep 5, 2013 Torino, Italy 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
first | previous | Page 1 | next | last Total of 18 CFPs in 1 pages