zell08v's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

tcs-pl

 Sort by 
 
Event When Where Deadline
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)
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)
ICSE 2014 36th International Conference on Software Engineering
May 31, 2014 - Jun 7, 2014 Hyderabad, India Sep 13, 2013
VMCAI 2014 Verification, Model Checking, and Abstract Interpretation
Jan 19, 2014 - Jan 21, 2014 San Diego Sep 18, 2013 (Sep 11, 2013)
PEPM 2014 ACM SIGPLAN 2014 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION
Jan 20, 2014 - Jan 21, 2014 San Diego, California Oct 5, 2013 (Sep 28, 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)
FASE 2014 17th International Conference on Fundamental Approaches to Software Engineering
Apr 5, 2014 - Apr 13, 2014 Grenoble, France. Oct 11, 2013 (Oct 4, 2013)
ESOP 2014 European Symposium on Programming (ESOP)
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)
PLDI 2014 Programming Language Design and Implementation
Jun 9, 2014 - Jun 11, 2014 Edinburgh, UK Nov 15, 2013 (Nov 8, 2013)
ECOOP 2014 European Conference on Object-Oriented Programming (ECOOP) 2014
Jul 28, 2014 - Aug 1, 2014 Uppsala, Sweden Dec 11, 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)
ISSTA 2014 International Symposium on Software Testing and Analysis
Jul 21, 2014 - Jul 26, 2014 Hilton San Jose, Bay Area, CA, USA Jan 24, 2014
UTP 2014 Unifying Theories of Programming
May 12, 2014 - May 13, 2014 Singapore Jan 24, 2014 (Jan 17, 2014)
CAV 2014 26th International Conference on Computer Aided Verification (CAV)
Jul 18, 2014 - Jul 22, 2014 Vienna / Austria Feb 7, 2014 (Jan 31, 2014)
FSE 2014 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering
Nov 16, 2014 - Nov 22, 2014 Hong Kong, China Mar 16, 2014
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)
ASE 2014 ACM/IEEE International Conference on Automated Software Engineering
Sep 15, 2014 - Sep 19, 2014 Vasteras, Sweden Apr 25, 2014 (Apr 18, 2014)
first | previous | Page 1 | next | last Total of 19 CFPs in 1 pages