MisterBrightside's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
TACAS 2013 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Mar 16, 2013 - Mar 24, 2013 Rome Oct 14, 2012 (Oct 7, 2012)
LICS 2013 28th Annual ACM/IEEE Symposium on Logic In Computer Science
Jun 25, 2013 - Jun 28, 2013 New Orleans, USA Jan 14, 2013 (Jan 7, 2013)
ICFP 2013 ACM SIGPLAN International Conference on Functional Programming
Sep 25, 2013 - Sep 27, 2013 Boston, MA, USA Mar 28, 2013
Haskell 2013 ACM SIGPLAN Haskell Symposium 2013
Sep 23, 2013 - Sep 24, 2013 Boston, MA, USA Jun 14, 2013 (Jun 12, 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)
VMCAI 2014 Verification, Model Checking, and Abstract Interpretation
Jan 19, 2014 - Jan 21, 2014 San Diego Sep 18, 2013 (Sep 11, 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)
FM 2014 International Symposium on Formal Methods
May 12, 2014 - May 16, 2014 Singapore Nov 14, 2013 (Nov 7, 2013)
FLOPS 2014 International Symposium on Functional and Logic Programming
Jun 4, 2014 - Jun 6, 2014 Kanazawa, Japan Dec 13, 2013
LICS 2014 Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science
Jul 14, 2014 - Jul 18, 2014 Vienna, Austria Jan 20, 2014 (Jan 13, 2014)
IJCAR 2014 International Joint Conference on Automated Reasoning (IJCAR)
Jul 19, 2014 - Jul 22, 2014 Vienna, Austria Jan 22, 2014 (Jan 15, 2014)
ITP 2014 International Conference on Interactive Theorem Proving
Jul 14, 2014 - Jul 17, 2014 Vienna Jan 31, 2014 (Jan 24, 2014)
ICFP 2014 ACM SIGPLAN International Conference on Functional Programming
Sep 1, 2014 - Sep 3, 2014 Gothenburg, Sweden Mar 1, 2014
ETAPS 2015 European Joint Conferences on Theory and Practice of Software
Apr 11, 2015 - Apr 18, 2015 London, UK Oct 18, 2014 (Oct 10, 2014)
CAV 2015 27th International Conference on Computer Aided Verification
Jul 18, 2015 - Jul 24, 2015 san francisco Feb 6, 2015
CADE 2015 25th International Conference on Automated Deduction
Aug 3, 2015 - Aug 7, 2015 Berlin, Germany Feb 23, 2015 (Feb 16, 2015)
ICFP 2015 The 20th ACM SIGPLAN International Conference on Functional Programming
Aug 1, 2015 - Sep 2, 2015 Vancouver, British Columbia, Canada Feb 27, 2015
CSL 2015 COMPUTER SCIENCE LOGIC
Sep 7, 2015 - Sep 10, 2015 Berlin Apr 10, 2015 (Apr 3, 2015)
ETAPS 2017 European Joint Conferences on Theory and Practice of software
Apr 22, 2017 - Apr 29, 2017 Uppsala, Sweden Oct 21, 2016 (Oct 14, 2016)
first | previous | Page 1 | next | last Total of 19 CFPs in 1 pages