Search tracks for 'all'
CPP 2026
… and theoretical topics in all areas that consider formal verification …) is an international conference on practical and theoretical topics in all … will welcome contributions from all members of the community. The CPP 2026 …
Dafny 2026
… , Java or Rust. The workshop aims to be a forum for all auto-active program … submission:
https://www.sigplan.org/Resources/Author/
Contact
All …
LAFI 2026
… The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages … and machine-learning researchers together to advance all aspects of languages …
PADL 2026: The 28th International Symposium on Practical Aspects of Declarative Languages
… applications and implementation techniques for all forms of declarative programming … and implementation techniques for all forms of declarative programming, including … proceedings.
All page limits exclude references. Submissions must be written …
PriSC 2026
… attacks. All the abstraction and security guarantees of the source language may …
PEPM 2026
… . Appendices may not necessarily be read by reviewers. All the submissions should …
27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026)
… , 2025 |
All artifacts are evaluated by the artifact evaluation committee … studies on all of the above topics
Submission Guidelines
Submissions … and will be evaluated differently.
All accepted papers will be published …
POPL Research Papers
… PACMPL Issue POPL 2026 seeks contributions on all aspects of programming … Languages (POPL) is a forum for the discussion of all aspects of programming … POPL audience. All papers will be judged on significance, originality, relevance …
Workshops and Co-located Events
… and other events to be co-located with POPL 2026. All co-located events …
All submissions will be evaluated by a committee comprising the workshops co …