… and theoretical topics in all areas that consider formal verification … (CPP) is an international conference on practical and theoretical topics in all … will welcome contributions from all members of the community. The CPP 2024 organizers …

… emphasizing novel applications and implementation techniques for all forms … and implementation techniques for all forms of declarative programming, including functional … in the formal proceedings.

All page limits exclude references. Submissions must …

… Studies on all of the above topics

Submissions can address any programming …

Artifact submission is optional. However, we highly encourage all authors to also … |

All artifacts are evaluated by the artifact evaluation committee. Each …

… CPP 2024 Welcome to the website of the CPP 2024 conference. We are working hard to fill the website with all related information. Please check back soon! …

… VMCAI 2024 Welcome to the website of the VMCAI 2024 conference. We are working hard to fill the website with all related information. Please check back soon! …

… Symposium on Practical Aspects of Declarative Languages 2024 Welcome to the website of the Symposium on Practical Aspects of Declarative Languages 2024 conference. We are working hard to fill the website with all related information …