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) |
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 |
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 |
|