pedrolopezgarcia77's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
Lata 2016 10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
Mar 14, 2016 - Mar 18, 2016 Prague, Czech Republic Oct 19, 2015
CC 2016 25th International Conference on Compiler Construction
Mar 17, 2016 - Mar 18, 2016 Barcelona, Spain Nov 20, 2015 (Nov 13, 2015)
CSR 2016 11th International Computer Science Symposium in Russia
Jun 9, 2016 - Jun 13, 2016 St. Petersburg, Russia Dec 11, 2015
QAPL 2016 Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems
Apr 2, 2016 - Apr 3, 2016 Eindhoven, The Netherlands Jan 8, 2016
ISSTA 2016 International Symposium on Software Testing and Analysis
Jul 18, 2016 - Jul 20, 2016 Saarland University, Saarbr├╝cken, German Jan 29, 2016
CAV 2016 International Conference on Computer Aided Verification
Jul 17, 2016 - Jul 23, 2016 Toronto, Canada Jan 29, 2016 (Jan 24, 2016)
ICALP 2016 43rd International Colloquium on Automata, Languages, and Programming
Jul 11, 2016 - Jul 15, 2016 Rome Feb 17, 2016
ICFP 2016 International Conference on Functional Programming
Sep 20, 2016 - Sep 22, 2016 Nara, Japan Mar 16, 2016
SPLASH 2016 ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
Oct 30, 2016 - Nov 4, 2016 Amsterdam, Netherlands Mar 23, 2016
OOPSLA 2016 Object-oriented Programming, Systems, Languages, and Applications
Oct 30, 2016 - Nov 4, 2016 Amsterdam, Netherlands Mar 23, 2016
SAS 2016 23rd Static Analysis Symposium
Sep 8, 2016 - Sep 10, 2016 Edinburgh Apr 10, 2016 (Apr 3, 2016)
CSL 2016 25th EACSL Annual Conference on Computer Science Logic
Aug 29, 2016 - Sep 1, 2016 Marseille, France Apr 15, 2016 (Apr 8, 2016)
ICLP 2016 32nd International Conference on Logic Programming
Oct 17, 2016 - Oct 21, 2016 New York City Apr 29, 2016 (Apr 22, 2016)
ATVA 2016 14th International Symposium on Automated Technology for Verification and Analysis
Oct 17, 2016 - Oct 19, 2016 Chiba, Japan May 13, 2016 (May 7, 2016)
PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming
Sep 5, 2016 - Sep 7, 2016 Edinburgh, UK May 16, 2016 (May 9, 2016)
SYNASC 2016 CFP 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 24-27, 2016, Timisoara, Romania
Sep 24, 2016 - Sep 27, 2016 Timisoara, Romania Jun 22, 2016 (Jun 10, 2016)
SCAM 2016 16th International Working Conference on Source Code Analysis and Manipulation
Oct 2, 2016 - Oct 3, 2016 Raleigh, USA Jun 26, 2016 (Jun 20, 2016)
LOPSTR 2016 26th International Symposium on Logic-Based Program Synthesis and Transformation
Sep 6, 2016 - Sep 8, 2016 Edinburgh, UK Jun 27, 2016 (Jun 20, 2016)
POPL 2017 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 18, 2017 - Jan 20, 2017 Paris, France Jul 6, 2016 (Jul 1, 2016)
VMCAI 2017 International Conference on Verification, Model Checking,and Abstract Interpretation
Jan 15, 2017 - Jan 17, 2017 Paris, France Sep 21, 2016 (Sep 18, 2016)
first | previous | Page 2 | next | last Total of 51 CFPs in 3 pages