afshinamighi's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

CfPs interested in formal methods, concurrency and verifications

 Sort by 
 
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)
PLACES 2013 Programming Language Approaches to Concurrency and Communication-cEntric Software
Mar 23, 2013 - Mar 23, 2013 Rome Dec 21, 2012 (Dec 14, 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)
FORTE / FMOODS 2013 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems
Jun 3, 2013 - Jun 6, 2013 Florence, Italy Feb 11, 2013 (Feb 4, 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)
first | previous | Page 1 | next | last Total of 42 CFPs in 3 pages