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

… …

Events (33 results)

Verified equational reasoning on a little language of measures

LAFI (né PPS) When: Tue 15 Jan 2019 17:00 - 17:30 People: Matthew Heimerdinger, Chung-chieh Shan

… and multiplying scores. The axioms are only sound under the assumption that all functions are measurable and all measures are s-finite. Combined with inductive …

A Nuts-and-Bolts Differential Geometric Perspective on Automatic Differentiation

LAFI (né PPS) When: Tue 15 Jan 2019 14:00 - 14:30 People: Barak A. Pearlmutter

… practice of just lifting all reals to duals, focusing on how they differ …

A Simpler Lambda Calculus

PEPM 2019 When: Mon 14 Jan 2019 12:00 - 12:30 People: Barry Jay

… Closure calculus is simpler than pure lambda-calculus as it does not mention free variables or index manipulation, variable renaming, implicit substitution, or any other meta-theory. Further, all programs, even recursive ones, can …

Strongly typed tracing of probabilistic programs

LAFI (né PPS) When: Tue 15 Jan 2019 11:00 - 11:30 People: Adam Ścibior, Michael Thomas

… A commonly encountered concept in probabilistic programming literature is that of a trace, which is a record of all the random variables sampled during the program execution. Traces serve two roles, namely providing observed values …

Attending Information (4 results)

Hotel Cascais Miragem

… available on all dates

...

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 (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 …

General (12 results)

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 …

Off the Beaten Track 2019 Homepage

… Off the Beaten Track 2019 Welcome to the website of the Off the Beaten Track 2019 conference. We are working hard to fill the website with all related information. Please check back soon! e0ab0efc-a71a-487f-95d2-773d6de74676 …