Search tracks for 'all'
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 …
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 …
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 …
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 …