| Event | When | Where | Deadline | | | Expired CFPs |
| VMIL 2023 |
Workshop on Virtual Machines and Language Implementations (VMIL’23) | |
| Oct 22, 2023 - Oct 27, 2023 |
Cascais, Portugal |
Aug 2, 2023 |
| SLE 2023 |
16th ACM SIGPLAN International Conference on Software Language Engineering | |
| Oct 22, 2023 - Oct 27, 2023 |
Cascais, Lisbon, Portugal |
Jun 23, 2023 |
| OCaml 2023 |
The OCaml Users and Developers Workshop | |
| Sep 9, 2023 - Sep 9, 2023 |
Seattle, WA, USA |
Jun 1, 2023 |
| WAPL 2023 |
8th Workshop on Advances in Programming Languages (WAPL 2023) | |
| Sep 17, 2023 - Sep 20, 2023 |
Warsaw, Poland |
May 23, 2023 |
| S3E 2023 |
FedCSIS - Track 5: Software, System and Service Engineering | |
| Sep 17, 2023 - Sep 20, 2023 |
Warsaw |
May 23, 2023 |
| PROLE 2023 |
XXII Jornadas sobre Programación y Lenguajes | |
| Sep 12, 2023 - Sep 14, 2023 |
Ciudad Real, Spain |
Apr 25, 2023 |
| ARRAY 2023 |
9th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming | |
| Jun 17, 2023 - Jun 17, 2023 |
Orlando, Florida, United States |
Mar 31, 2023 |
| PaPoc 2023 |
10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoc) | |
| May 8, 2023 - May 8, 2023 |
Rome, Italy |
Feb 27, 2023 |
| COORDINATION 2023 |
25th International Conference on Coordination Models and Languages | |
| Jun 19, 2023 - Jun 23, 2023 |
Lisbon (PT) |
Feb 18, 2023 (Feb 11, 2023) |
| PLACES 2023 |
14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software | |
| Apr 22, 2023 - Apr 22, 2023 |
Paris, France |
Feb 15, 2023 |
| RC 2023 |
Reversible Computation | |
| Jul 18, 2023 - Jul 19, 2023 |
Giessen, Germany |
Feb 13, 2023 (Feb 6, 2023) |
| FORTE 2023 |
43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems | |
| Jun 19, 2023 - Jun 23, 2023 |
Lisbon, Portugal |
Feb 10, 2023 (Feb 3, 2023) |
| iccq 2023 |
The Third International Conference on Code Quality | |
| Apr 22, 2023 - Apr 22, 2023 |
St. Petersburg, Russia |
Dec 18, 2022 |
| PLAS 2022 |
Workshop on Programming Languages and Analysis for Security | |
| Dec 12, 2022 - Dec 12, 2022 |
Virtual |
Nov 14, 2022 |
| PriSC 2023 |
7th Workshop on Principles of Secure Compilation | |
| Jan 21, 2023 - Jan 21, 2023 |
Boston, US |
Oct 27, 2022 |
| ESOP 2023 |
32st European Symposium on Programming | |
| Apr 22, 2023 - Apr 27, 2023 |
Paris, France |
Oct 13, 2022 |
| TAASP 2023 |
Workshop on Trends and Applications of Answer Set Programming | |
| Nov 28, 2022 - Nov 29, 2022 |
Vienna, Austria |
Oct 10, 2022 |
| IFL 2022 |
The 34th Symposium on Implementation and Application of Functional Languages | |
| Aug 31, 2022 - Sep 2, 2022 |
Copenhagen |
Aug 7, 2022 |
| SEFM 2022 |
20th International Conference on Software Engineering and Formal Methods | |
| Sep 28, 2022 - Sep 30, 2022 |
Berlin, Germany |
Jun 26, 2022 (Jun 20, 2022) |
| MEMOCODE 2022 |
20th ACM/IEEE International Symposium on Formal Methods and Models for System Design | |
| Oct 13, 2022 - Oct 14, 2022 |
Shanghai, China |
Jun 3, 2022 (May 27, 2022) |
|
