POPL 2023 Call for Papers (https://popl23.sigplan.org/)
PACMPL Issue POPL 2023 seeks contributions on all aspects of programming
languages and programming systems, both theoretical and practical. Authors
of papers published in PACMPL Issue POPL 2023 will be invited to present
their work in the
Call for Participation (/Talks/Tutorials)
Automated Program and Proof Synthesis
February 20, 2024, Vancouver, BC (a bridge workshop of AAAI 2024)
Automated Program and Proof Synthesis (AP2S) are two long-standing,
closely-related challenges in AI, recently advanced through the incorporation
of