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 (7 results)

CPP 2018 - The 7th 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 …, all phrased for the non-specialist. Technical and formal developments directed …

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 …

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 …

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

Homepage (8 results)

CPP 2018 Homepage

… Certified Programs and Proofs 2018 Welcome to the website of the Certified Programs and Proofs 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! …

NetPL 2018 Homepage

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