Search for 'all'
results
A logic for all reasons
TPSA 2026 People: Flavio Ascari, Roberto Bruni, Lorenzo Gazzella, Roberta Gori
… …
One rig to control them all
PLanQC 2026 People: Chris Heunen, Robin Kaarsgaard, Louis Lemonnier
… …
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
POPL When: Fri 16 Jan 2026 10:30 - 10:55 People: Alexandre Moine, Sam Westrick, Joseph Tassarotti
… that the program is safe across all orderings, it
suffices to show that one … such
programs.
All results in this paper have been verified in Rocq using the Iris …
Lessons from Building an Auto-Active Verifier in Lean
Dafny 2026 People: George Pîrlea, Vladimir Gladshtein, Qiyuan Zhao, Ilya Sergey
… as backend certificate checkers, Veil is a Lean library, with all its functionality …-programming facilities—like all powerful tools—can prove to be both a blessing and a curse, and it is not at all difficult to create an unmaintainable mess …
Code of Conduct
… :** Attendees must use their professional names and affiliations for registration and all … by the ACM Policy Against Discrimination and Harassment. We expect all … participation or opportunity for participation at the conference and all associated …
Registration
… find any train at the moment.~~ Tickets are out!
Pricing (all in Euros …
Supporting POPL
… , to attend both POPL and PLMW. All funds designated for PLMW mentoring …. POPL, which has brought researchers together from all over the world for several …” model, where all ACM publications are available freely from the Digital …
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 …
27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026)
… , 2025 |
All artifacts are evaluated by the artifact evaluation committee … * analysis of neural networks * case studies on all of the above topics … have a different page limit and will be evaluated differently.
All accepted …
LAFI 2026
… The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages …-language and machine-learning researchers together to advance all aspects …
PLMW @ POPL 2026 Homepage
… PLMW@ POPL 2026 Welcome to the website of the PLMW@ POPL 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …
CPP 2026 Homepage
… CPP 2026 Welcome to the website of the CPP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …
VMCAI 2026 Homepage
… VMCAI 2026 Welcome to the website of the VMCAI 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …