Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal

0 results

People (3 results)
Mathias Payer

Mathias Payer

Purdue University

… . All implementation prototypes from his group are open-source. …

Y. Annie Liu

Y. Annie Liu

Stony Brook University

… from Cornell University, all in Computer Science.

Annie Liu’s Design …

Peter Breuer

Peter Breuer

Hecusys LLC

… , CASM math, PhD engineering) are all from cambridge, a long time ago, now.

I am …

Events (37 results)

Reception supported by Facebook

Research Papers When: Thu 17 Jan 2019 18:15 - 19:15

All attendees are welcome! …

Student Research Competition and Reception supported by Microsoft Research

Student Research Competition When: Wed 16 Jan 2019 18:30 - 19:30

All attendees are welcome! …

Research Skills: How to Choose Research Areas

PLMW@POPL When: Tue 15 Jan 2019 11:00 - 11:30 People: Catuscia Palamidessi

… Some of my colleagues stay in the same research area all their life. Others, like me, have changed area many times. In this talk I will explain the motivations that determined my choices, and I will discuss advantages and disadvantages …

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

… that all functions are measurable and all measures are s-finite. Combined …

Attending Information (4 results)

Hotel Cascais Miragem

… …

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 …

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 …

BEAT 2019 Homepage

… BEAT 2019 Welcome to the website of the BEAT 2019 conference. We are working hard to fill the website with all related information. Please check back soon! 74f7973d-832f-4071-97d6-62050b3fad32 …