| Event | When | Where | Deadline | |
| TYPES 2014 |
Types for Proofs and Programs | |
| May 12, 2014 - May 15, 2014 |
Paris, France |
Feb 28, 2014 (Feb 21, 2014) |
| ETAPS 2016 |
European Joint Conferences on Theory And Practice of Software | |
| Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
| ECOOP 2016 |
European Conference on Object-Oriented Programming | |
| Jul 18, 2016 - Jul 22, 2016 |
Rome, Italy |
Dec 8, 2015 |
| LICS 2016 |
Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science | |
| Jul 5, 2016 - Jul 8, 2016 |
New York City, USA |
Jan 18, 2016 (Jan 11, 2016) |
| OOPSLA 2016 |
Object-oriented Programming, Systems, Languages, and Applications | |
| Oct 30, 2016 - Nov 4, 2016 |
Amsterdam, Netherlands |
Mar 23, 2016 |
| MFCS 2016 |
International Symposium on Mathematical Foundations of Computer Science | |
| Aug 22, 2016 - Aug 26, 2016 |
Krakow (Poland) |
Apr 25, 2016 (Apr 21, 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) |
| Scala 2016 |
Scala Symposium | |
| Oct 30, 2016 - Oct 31, 2016 |
Amsterdam, Netherlands |
Aug 1, 2016 (Jul 25, 2016) |
| FoSSaCS 2017 |
20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES | |
| Apr 22, 2017 - Apr 29, 2017 |
Uppsala, Sweden |
Oct 21, 2016 (Oct 14, 2016) |
| PLDI 2017 |
ACM SIGPLAN Symposium on Programming Language Design &Implementation | |
| Jun 19, 2017 - Jun 23, 2017 |
Barcelona, Spain |
Nov 15, 2016 |
| OOPSLA 2017 |
Conference on Object-Oriented Programming Systems, Languages, and Applications | |
| Oct 25, 2017 - Oct 27, 2017 |
Vancouver |
Apr 17, 2017 (Apr 13, 2017) |
| Scala 2018 |
9th ACM SIGPLAN Symposium on Scala | |
| Sep 27, 2018 - Sep 28, 2018 |
St. Louis Missouri, United States |
Jun 13, 2018 |
|
