| Event | When | Where | Deadline | | | Expired CFPs |
| FMCAD 2014 |
Formal Methods in Computer-Aided Design | |
| Oct 21, 2014 - Oct 24, 2014 |
Lausanne, Switzerland |
May 16, 2014 (May 6, 2014) |
| FHPC 2014 |
3rd ACM SIGPLAN Workshop on Functional High-Performance Computing 2014 | |
| Sep 4, 2014 - Sep 4, 2014 |
Gothenburg, Sweden |
May 15, 2014 |
| Scala 2014 |
The fifth annual Scala Workshop | |
| Jul 28, 2014 - Jul 29, 2014 |
Uppsala, Sweden |
May 7, 2014 (Apr 30, 2014) |
| Onward! Essays 2014 |
Onward! Essays | |
| Oct 20, 2014 - Oct 24, 2014 |
Portland, OR, USA |
Apr 25, 2014 (Mar 29, 2014) |
| PLE 2014 |
Workshop on Programming Language Evolution | |
| Jul 28, 2014 - Jul 28, 2014 |
Uppsala, Sweden |
Apr 14, 2014 |
| LINEARITY 2014 |
Third International Workshop on Linearity | |
| Jul 13, 2014 - Jul 13, 2014 |
Vienna, Austria |
Apr 13, 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) |
| SPLASH 2014 |
Conference on Systems, Programming, and Applications: Software for Humanity | |
| Oct 20, 2014 - Oct 24, 2014 |
Portland, OR, USA |
Mar 25, 2014 |
| Onward! 2014 |
Onward! | |
| Oct 20, 2014 - Oct 24, 2014 |
Portland, OR, USA |
Mar 25, 2014 |
| ICTAC 2014 |
11th International Colloquium on Theoretical Aspects of Computing | |
| Sep 17, 2014 - Sep 20, 2014 |
Bucharest, Romania |
Mar 23, 2014 (Mar 16, 2014) |
| TASE 2014 |
The 8th International Symposium on Theoretical Aspects of Software Engineering | |
| Sep 1, 2014 - Sep 3, 2014 |
Changsha, China |
Mar 7, 2014 (Feb 28, 2014) |
| ICFP 2014 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 1, 2014 - Sep 3, 2014 |
Gothenburg, Sweden |
Mar 1, 2014 |
| UTP 2014 |
Unifying Theories of Programming | |
| May 12, 2014 - May 13, 2014 |
Singapore |
Jan 24, 2014 (Jan 17, 2014) |
| HIPS 2014 |
19th International Workshop on High-Level Parallel Programming Models and Supportive Environments | |
| May 19, 2014 - May 19, 2014 |
Phoenix |
Jan 14, 2014 |
| QAPL 2014 |
Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems | |
| Apr 12, 2014 - Apr 13, 2014 |
Grenoble, France |
Dec 31, 2013 (Dec 24, 2013) |
| PLACES 2014 |
Programming Language Approaches to Concurrency and communication-cEntric Software | |
| Apr 5, 2014 - Apr 13, 2014 |
Grenoble, France |
Dec 23, 2013 (Dec 16, 2013) |
| FLOPS 2014 |
International Symposium on Functional and Logic Programming | |
| Jun 4, 2014 - Jun 6, 2014 |
Kanazawa, Japan |
Dec 13, 2013 |
| ECOOP 2014 |
European Conference on Object-Oriented Programming (ECOOP) 2014 | |
| Jul 28, 2014 - Aug 1, 2014 |
Uppsala, Sweden |
Dec 11, 2013 |
| Ada-Europe 2014 |
19th International Conference on Reliable Software Technologies | |
| Jun 23, 2014 - Jun 27, 2014 |
Paris, France |
Dec 8, 2013 |
| TRANSACT 2014 |
9th Workshop on Transactional Computing | |
| Mar 1, 2014 - Mar 2, 2014 |
Salt Lake City, UT, USA |
Dec 1, 2013 |
|
