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 … on theoretical and practical topics in all areas, including computer science …, and a brief explanation of their significance and relevance to the conference, all

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.

All

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 … out during their application.

The workshop registration is open to all. Students …

20th International Symposium on Practical Aspects of Declarative Languages

… for all forms of declarative concepts, including, functional, logic, constraints, etc … emphasizing novel applications and implementation techniques for all forms …=padl2018

All submissions must be original work written in English. Submissions …

Principles of Secure Compilation

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

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

… -learning researchers together to advance all aspects of probabilistic programming …, but we are explicitly broadening the scope of PPS to embrace all aspects …

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 …

Workshops

… 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 …

TutorialFest

… by maximising imprecision in all attempts made by the attacker to exploit control and data … that over-approximates all of the reachable states of the program. An alternative …