0 results

Tracks (9 results)

CPP 2023

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

PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages

… 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 …

PLMW @ POPL 2023

… that there’s a whole community out there of like-minded folks who are all very excited … that folks all over the world also care about these problems, and that it’s not just …

General (9 results)

CPP 2023 Homepage

… CPP 2023 Welcome to the website of the CPP 2023 conference. We are working hard to fill the website with all related information. Please check back soon! eff8e4d2-ca4f-4540-a4e9-9cf31d726075 …

PLMW @ POPL 2023 Homepage

… PLMW @ POPL 2023 Welcome to the website of the PLMW @ POPL 2023 conference. We are working hard to fill the website with all related information. Please check back soon! …

PriSC 2023 Homepage

… PriSC 2023 Welcome to the website of the PriSC 2023 conference. We are working hard to fill the website with all related information. Please check back soon! b8c1d952-a22c-4eaa-a148-385f8f5b516a …