cowang's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
PLPV 2010 Programming Languages meets Program Verification
Jan 19, 2010 - Jan 19, 2010 Madrid, Spain Oct 8, 2009
Onward! 2011 Onward! 2011
Oct 22, 2011 - Oct 27, 2011 Portland, Oregon Apr 8, 2011 (Apr 1, 2011)
PPPJ 2011 9th International Conference on the Principles and Practice of Programming in Java
Aug 24, 2011 - Aug 26, 2011 Kongens Lyngby, Denmark Apr 20, 2011 (Apr 15, 2011)
PLOS 2011 6th Workshop on Programming Languages and Operating Systems
Oct 23, 2011 - Oct 23, 2011 Cascais, Portugal Jun 17, 2011
POPL 2013 The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 23, 2013 - Jan 25, 2013 Rome, Italy Jul 10, 2012 (Jul 6, 2012)
PLDI 2013 34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation
Jun 16, 2013 - Jun 21, 2013 Seattle, Washington, USA Nov 11, 2012
ECOOP 2013 27th European Conference on Object-Oriented Programming 2013
Jul 1, 2013 - Jul 5, 2013 Montpellier, France Dec 22, 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)
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)
SPLASH 2013 Conference on Systems, Programming, Languages and Applications: Software for Humanity
Oct 26, 2013 - Oct 31, 2013 Indianapolis Mar 28, 2013 (Mar 22, 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)
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)
PLDI 2014 Programming Language Design and Implementation
Jun 9, 2014 - Jun 11, 2014 Edinburgh, UK Nov 15, 2013 (Nov 8, 2013)
SE 2013 Software Engineering Journal
N/A N/A Dec 30, 2013
SEFM 2014 12th International Conference on Software Engineering and Formal Methods
Sep 1, 2014 - Sep 5, 2014 Grenoble, France Mar 21, 2014 (Mar 14, 2014)
SPLASH 2014 Conference on Systems, Programming, and Applications: Software for Humanity
Oct 20, 2014 - Oct 24, 2014 Portland, OR, USA Mar 25, 2014
OOPSLA 2014 29th Annual Object-Oriented Programming Systems, Languages, and Applications
Oct 20, 2014 - Oct 24, 2014 Portland, OR, USA Mar 25, 2014
WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation
Sep 1, 2014 - Sep 4, 2014 Valparaiso, Chile Mar 28, 2014 (Mar 24, 2014)
HCVS 2014 Workshop on Horn Clauses for Verification and Synthesis
Jul 17, 2014 - Jul 17, 2014 Vienna, Austria May 1, 2014
GandALF 2014 5th International Symposium on Games, Automata, Logics, and Formal Verification
Sep 10, 2014 - Sep 12, 2014 Verona Jun 1, 2014 (May 27, 2014)
first | previous | Page 1 | next | last Total of 34 CFPs in 2 pages