Write a Blog >>

0 results

People (6 results)
Mark Jones

Mark Jones

… …

Isil Dillig

Isil Dillig

… …

Michael James

Michael James

… …

Events (37 results)

Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types

PADL 2020 When: Tue 21 Jan 2020 15:30 - 16:00 People: Philip Wadler

… …

How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond

PLMW 2020 When: Tue 21 Jan 2020 15:40 - 16:40 People: Kenny Foner

… , but I also want all listeners to be empowered to choose (either before or at any …

Hermes: Implementing Cryptography without Side-channels

Principles of Secure Compilation 2020 When: Sat 25 Jan 2020 11:42 - 12:06 People: Ken Friis Larsen, Torben Mogensen, Michael Kirkedal Thomsen

… ensures that all variables are cleared after use, thus avoiding state information …

Gradual Verification of Recursive Heap Data Structures

WGT When: Sat 25 Jan 2020 15:35 - 16:07 People: Jenna Wise, Johannes Bader, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

… , if at all. It draws from research on gradual typing to produce a verification system …

Attending Information (6 results)

Mentoring Events

… ### [See all mentoring events in the program](https://popl20.sigplan.org … in their workplaces and communities. This includes women of all races, people of color, people with disabilities, LGBTQ folks, parents, caregivers of all sorts …

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

The 22nd International Symposium on Practical Aspects of Declarative Languages

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

All submissions must be original work written …) will be granted to all conference participants for 4 weeks through the following …

Programming Languages for Quantum Computing

… interested in attending all of POPL (particularly those interested in volunteering …

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

… on practical and theoretical topics in all areas that consider certification … Grill](https://www.redfishgrill.com/) – sold out!

This is all possible … Conference on Certified Programs and Proofs (CPP) covers all areas that consider …

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