Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tracks (12 results)

CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 14-15 2019

… and practical topics in all areas, including computer science, mathematics … and practical topics in all areas, including computer science, mathematics … of their significance and relevance to the conference, all phrased for the non-specialist …

Off the Beaten Track 2019

… , algorithms and abstractions to solve all kinds of problems, in all areas of computer … that lie outside the typical core PL problems we all know and love, can …

All submissions should be in PDF format, two pages or less, in at least 10pt font …

PADL 2019 - 21st International Symposium on Practical Aspects of Declarative Languages

… for all forms of declarative concepts, including, functional, logic, constraints, etc … and implementation techniques for all forms of declarative concepts, including, functional …: https://easychair.org/conferences/?conf=padl2019

All submissions must …

LAFI 2019: Languages for Inference (formerly PPS)

… -language and machine-learning researchers together to advance all aspects … to advance all aspects of languages for inference. Topics include …

Programming Languages Mentoring Workshop 2019

… is open for registration to all students interested in programming languages research (funded or not).

Attending and social activities

Accommodation for all

Principles of Secure Compilation

… not prevent low-level attacks. All the abstraction and security guarantees …

Research Papers

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

BEAT 2019: Fourth Workshop on Behavioral Types

… solicit talk proposals (3 pages) on all aspects of behavioral types …

VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation

… . Second, the IR should support all the desired optimizations and analyses … and distribution, all contribute to the difficulty of precisely analyzing system …

Artifact Evaluation

… .

Creating 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 … of all conditionally accepted papers will be asked whether they intend to have …

Student Research Competition

… will consist of three rounds:

• Extended abstract round: All students … will receive prizes of $500, $300, and $200, respectively.

All six winners … and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses …

Workshops

… for workshops and other events to be co-located with POPL 2019. All Co-located …://bit.ly/2kBtsNr.

Selection committee

All submissions will be evaluated …