Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal

0 results

People (2 results)
Mathias Payer

Mathias Payer

… …

Y. Annie Liu

Y. Annie Liu

… …

Attending Information (3 results)

Information for Students

… registration covers:

  • Access to all workshops, tutorials and the main conference,
  • Daily lunches and coffee breaks,
  • Access to all social events … registration**: it will be extended to all applicants)

Positive notifications …

Supporting POPL

… it possible for students from all over the world to attend the conference … funds help students attend POPL by (1) helping decrease registration costs for all

Visa

… , issue a visa support letter. For visa support letters, please send all requests …

Tracks (10 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 …/), Philadelphia, USA All submissions should be in PDF format, two pages or less …

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 …

General (12 results)

CoqPL 2019 Homepage

… Coq for PL 2019 Welcome to the website of the Coq for PL 2019 conference. We are working hard to fill the website with all related information. Please check back soon! 12f8af8c-6187-4a5c-b30f-5b02cde26682 …

PriSC 2019 Homepage

… PriSC 2019 Welcome to the website of the PriSC 2019 conference. We are working hard to fill the website with all related information. Please check back soon! 3ea36259-4f2f-4a7e-b5af-3ac3d9a8b531 …

LAFI 2019 Homepage

… PPS 2019 Welcome to the website of the PPS 2019 conference. We are working hard to fill the website with all related information. Please check back soon! dc2ae3d9-381c-46e4-961e-6b58f0b1f885 …