joaopizani's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

Reconfigurable Computing, Functional Programming, FPGAs, High-Level Synthesis of Hardware, Dependently-Typed Programming, Hardware Verification

 Sort by 
 
Event When Where Deadline
FMCAD 2015 Formal Methods in Computer-Aided Design
Sep 27, 2015 - Sep 30, 2015 Austin, Texas TBD
FPGA 2013 ACM International Symposium on FPGAs
Feb 11, 2013 - Feb 13, 2013 Monterey, CA Sep 28, 2012
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)
PADL 2014 Sixteenth International Symposium on Practical Aspects of Declarative Languages
Jan 20, 2014 - Jan 21, 2014 San Diego, CA, USA Sep 13, 2013 (Sep 6, 2013)
PLDI 2014 Programming Language Design and Implementation
Jun 9, 2014 - Jun 11, 2014 Edinburgh, UK Nov 15, 2013 (Nov 8, 2013)
CAV 2014 26th International Conference on Computer Aided Verification (CAV)
Jul 18, 2014 - Jul 22, 2014 Vienna / Austria Feb 7, 2014 (Jan 31, 2014)
TYPES 2014 Types for Proofs and Programs
May 12, 2014 - May 15, 2014 Paris, France Feb 28, 2014 (Feb 21, 2014)
ICFP 2014 ACM SIGPLAN International Conference on Functional Programming
Sep 1, 2014 - Sep 3, 2014 Gothenburg, Sweden Mar 1, 2014
TAP 2014 8th International Conference on Tests And Proofs
Jul 24, 2014 - Jul 25, 2014 York, United Kingdom Mar 1, 2014 (Feb 25, 2014)
TFP 2014 15th Symposium on Trends in Functional Programming
May 26, 2014 - May 28, 2014 Soesterberg, The Netherlands Mar 17, 2014
ICFEM 2014 International Conference on Formal Engineering Methods
Nov 3, 2014 - Nov 7, 2014 Luxembourg Apr 18, 2014 (Apr 11, 2014)
FCST 2014 Second International Conference on Foundations of Computer Science & Technology
Jun 14, 2014 - Jun 15, 2014 Zurich , Switzerland May 9, 2014
FPGA 2015 Field Programmable Gate Arrays
Feb 22, 2015 - Feb 24, 2015 Monterey, CA, USA Sep 22, 2014
PLDI 2015 Programming Language Design and Implementation
Jun 13, 2015 - Jun 17, 2015 Portland, Oregon, United States Nov 13, 2014
CAV 2015 27th International Conference on Computer Aided Verification
Jul 18, 2015 - Jul 24, 2015 san francisco Feb 6, 2015
DSLDI 2016 4th Workshop on Domain Specific Language Design and Implementation
Oct 31, 2016 - Oct 31, 2016 Amsterdam, Netherlands Aug 1, 2016
first | previous | Page 1 | next | last Total of 16 CFPs in 1 pages