Write a Blog >>

0 results

People (1 results)
Isil Dillig

Isil Dillig

… …

Attending Information (1 results)

Supporting POPL

… for students from all over the world to attend the conference. There, these students … students attend POPL by (1) helping decrease registration costs for all students …

Tracks (8 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 … and practical topics in all areas, including computer science, mathematics … to the conference, all phrased for the non-specialist. Technical and formal developments …

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 …

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 …

Homepage (9 results)

PriSC 2018 Homepage

… PrisSC 2018 Welcome to the website of the PrisSC 2018 conference. We are working hard to fill the website with all related information. Please check back soon! …

Off the Beaten Track 2018 Homepage

… Off the Beaten Track 2018 Welcome to the website of the Off the Beaten Track 2018 conference. We are working hard to fill the website with all related information. Please check back soon! …

Coq for PL 2018 Homepage

… Coq for PL 2018 Welcome to the website of the Coq for PL 2018 conference. We are working hard to fill the website with all related information. Please check back soon! …