Write a Blog >>
Tracks (16 results)

The 22nd International Symposium on Practical Aspects of Declarative Languages

… and implementation techniques for all forms of declarative programming, including functional …/conferences/?conf=padl2020

All submissions must be original work written …) will be granted to all conference participants for 4 weeks through the following …

Programming Languages for Quantum Computing

… interested in attending all of POPL (particularly those interested in volunteering …

The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

… on practical and theoretical topics in all areas that consider certification … Grill](https://www.redfishgrill.com/) – sold out!

This is all possible … Conference on Certified Programs and Proofs (CPP) covers all areas that consider …

PEPM 2020

… for concurrent objects. It unifies thread-modular reasoning about all the six progress …

PLMW 2020

… registration is open to all. Students with alternative sources of funding are welcome …

Principles of Secure Compilation 2020

… -level attacks. All the abstraction and security guarantees of the source language …

VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation

… of Numerical Properties * Case Studies on all of the above topics

Submissions can … is optional. However, we highly encourage all authors to also submit an artifact …. Authors may use all granted badges on the title page of the respective paper …

WGT 2020: First ACM SIGPLAN Workshop on Gradual Typing

… think that 5-10 pages are all you need to expose your unbaked topic or your …

LAFI 2020: Languages for Inference (formerly PPS)

… -language and machine-learning researchers together to advance all aspects … programming-language and machine-learning researchers together to advance all

Research Papers

… for the discussion of all aspects of programming languages and programming systems. Both … on Principles of Programming Languages is a forum for the discussion of all aspects … experts and the general POPL audience. All papers will be judged …

Artifact Evaluation

… a bundle that meets all these properties can be onerous and therefore, the process we describe below does not require an artifact to have all these properties … of all conditionally accepted papers will be asked whether they intend to have …

Ally Skills Session

… in their workplaces and communities. This includes women of all races, people of color, people with disabilities, LGBTQ folks, parents, caregivers of all sorts … session will be available here, and all material from the Ally Skills session at POPL …

LGBTQ Lunch

… Hello all!

For the first time this year, we’re organizing a special lunch at POPL solely for LGBTQ+ (lesbian, gay, bisexual, trans, queer and related … that welcomes, supports, and values researchers of all identities.

The event will be held …

Student Volunteers

… experience for all attendants!

POPL is pleased to offer a number of opportunities ….

Compensation

A Complimentary Conference Registration, offering access to all open sessions … volunteer garments. Free admission to all social events. Please note that Student …

Student Research Competition

… will consist of three rounds:

• Extended abstract round: All students …, respectively.

All six winners will receive award medals and an one-year … to the Annual ACM Awards Banquet for an all-expenses-paid trip, where …

Workshops and Co-located Events

… events to be co-located with POPL 2020. All Co-located Events are sponsored … Committee

All submissions will be evaluated by a committee comprising …