| Event | When | Where | Deadline | |
| 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) |
| ISCIS 2016 |
31st International Symposium on Computer and Information Sciences | |
| Oct 27, 2016 - Oct 28, 2016 |
Krakow, Poland |
May 23, 2016 |
| IFL 2016 |
28th Symposium on Implementation and Application of Functional Languages | |
| Aug 31, 2016 - Sep 1, 2016 |
KU Leuven, Belgium |
Aug 1, 2016 |
|
