Write a Blog >>

0 results

People (3 results)
Isil Dillig

Isil Dillig

… …

Talia Ringer

Talia Ringer

… …

Y. Annie Liu

Y. Annie Liu

Stony Brook University

… from Cornell University, all in Computer Science.

Annie Liu’s Design …

Attending Information (3 results)

Supporting POPL

… from all over the world, does so at a considerable environmental expense. We … and underrepresented minority students to attend both POPL and PLMW. All funds designated … on your needs and interests.

Carbon Offset Support: $20,000

  • All

Information for Students

… .

The Student Volunteer registration covers:

  • Access to all workshops, tutorials and the main conference,
  • Daily lunches and coffee breaks,
  • Access to all

Visa

… the ESTA page.

All

Tracks (12 results)

: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

… on practical and theoretical topics in all areas that consider certification …) and will also feature a (highly subsidized) conference dinner. This is all possible …) covers all areas that consider formal verification as an essential paradigm …

: 22nd Symposium on Practical Aspects of Declarative Languages

… techniques for all forms of declarative programming, including functional …/conferences/?conf=padl2020

All submissions must be original work written …

LAFI 2020: Languages for Inference (formerly PPS)

… programming-language and machine-learning researchers together to advance all … to advance all aspects of languages for inference. Topics include but are not limited …

General (11 results)

CPP 2020 Homepage

… Certified Programs and Proofs 2020 Welcome to the website of the Certified Programs and Proofs 2020 conference. We are working hard to fill the website with all related information. Please check back soon …

WGT 2020 Homepage

… Workshop on Gradual Typing 2020 Welcome to the website of the Workshop on Gradual Typing 2020 conference. We are working hard to fill the website with all related information. Please check back soon! 977ae8d5-5953-4971-bbf9-b88aeb398677 …

LAFI 2020 Homepage

… LAFI 2020 Welcome to the website of the LAFI 2020 conference. We are working hard to fill the website with all related information. Please check back soon! d787dba7-2221-441e-ab42-7f369c224abe …