Event | When | Where | Deadline | |
ICST 2022 |
15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022 | |
Apr 4, 2022 - Apr 13, 2002 |
Online |
Oct 4, 2021 (Sep 27, 2021) |
TFP 2022 |
23rd Symposium on Trends in Functional Programming | |
Feb 10, 2022 - Feb 11, 2022 |
Kraków, Poland |
Dec 1, 2021 |
POPL 2023 |
50th Symposium on Principles of Programming Languages | |
Jan 15, 2023 - Jan 21, 2023 |
Boston, Massachusetts, United States |
Jul 7, 2022 |
IFL 2022 |
The 34th Symposium on Implementation and Application of Functional Languages | |
Aug 31, 2022 - Sep 2, 2022 |
Copenhagen |
Aug 7, 2022 |
CPP 2023 |
Certified Programs and Proofs 2023 | |
Jan 16, 2023 - Jan 17, 2023 |
Boston, Massachusetts, USA |
Sep 21, 2022 (Sep 14, 2022) |
TFP 2023 |
Trends in Functional Programming | |
Jan 13, 2023 - Jan 15, 2023 |
Boston, MA, USA |
Nov 23, 2022 |
|