Tracks (11 results)

CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

… on theoretical and practical topics in all areas, including computer science, mathematics … in all areas, including computer science, mathematics, and education, that consider … and relevance to the conference, all phrased for the non-specialist. Technical …

Off the Beaten Track 2018

… to solve all kinds of problems, in all areas of computer science. However, identifying … core PL problems we all know and love, can be a significant challenge … submit talk proposals via HotCRP.


Programming Languages Mentoring Workshop

… POPL on Tuesday, January 9. PLMW 2018 is open for registration to all students … and social activities

Accommodation for all funded students will be provided ….

The workshop registration is open to all. Students with alternative sources …

20th International Symposium on Practical Aspects of Declarative Languages

… for all forms of declarative concepts, including, functional, logic, constraints, etc … applications and implementation techniques for all forms of declarative concepts … system:

All submissions …

Probabilistic Programming Languages, Semantics, and Systems (PPS 2018)

all aspects of probabilistic programming languages, semantics, and systems …** the scope of PPS to embrace all aspects of probabilistic programming languages …

Principles of Secure Compilation

… with respect to the language’s semantics does not prevent low-level attacks. All

Research Papers

… for the discussion of all aspects of programming languages and programming systems. Both … of all aspects of programming languages and programming systems. Both … POPL audience. All papers will be judged on significance, originality, relevance …

Student Research Competition

… competition will consist of three rounds:

Extended abstract round: All …, and $200, respectively.

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

Artifact Evaluation

all these properties can be onerous. Therefore, the process we describe below does not require an artifact to have all these properties. It offers a route …, as many authors already do.

The authors of all conditionally accepted papers …


… are invited for workshops and other events to be co-located with POPL 2018. All Co … committee

All submissions will be evaluated by a committee comprising …


… . Attacks are inhibited by maximising imprecision in all attempts made … the property until converging upon a property that over-approximates all