POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
  • Attending
    • Venue: Boston Park Plaza
    • Supporting POPL
    • Registration
    • Information for Students
    • Information for Presenters
    • Information for Virtual Attendees
    • Nearby Events
  • Program
    • Complete Program
    • Your Program
    • Filter by Day
      • Sun 15 Jan
      • Mon 16 Jan
      • Tue 17 Jan
      • Wed 18 Jan
      • Thu 19 Jan
      • Fri 20 Jan
      • Sat 21 Jan
  • Tracks
      • POPL 2023
      • POPL
      • Session Previews
      • Artifact Evaluation
      • Diversity, Equity and Inclusion
      • Student Research Competition
      • Student Volunteers
      • TutorialFest
      • Workshops and Co-located Events
      • Co-hosted Conferences
      • CPP
      • VMCAI
      • Workshops
      • CoqPL
      • LAFI
        • LAFI
        • - Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.
      • PEPM
      • PLMW @ POPL
      • PriSC
      • ProLaLa
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2023 Committees
      • Organizing Committee
      • Track Committees
      • POPL
      • Artifact Evaluation
      • Student Research Competition
      • TutorialFest
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • VMCAI
        • Organizing Committee
        • Program Committee
        • Artifact Evaluation Committee
      • Workshops
      • CoqPL
        • Program Committee
      • LAFI
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PEPM
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PLMW @ POPL
        • Organizing Committee
        • Speakers
        • Panelists
      • PriSC
        • Program Committee
        • Steering Committee
      • ProLaLa
        • Program Committee
      • Co-hosted Symposia
      • PADL
        • Programme Chairs
        • Program Committee
  • Search
  • Series
    • Series
    • POPL 2023
    • POPL 2022
    • POPL 2021
    • POPL 2020
    • POPL 2019
    • POPL 2018
    • POPL 2017
    • POPL 2016
  • Sign in
  • Sign up
POPL 2023 (series) / CPP 2023 (series) / CPP 2023 /

Steering Committee CPP

Cătălin Hriţcu

Cătălin Hriţcu Steering Committee Chair

MPI-SP

Germany

Lennart Beringer

Lennart Beringer

Princeton University

United States

Jasmin Blanchette

Jasmin Blanchette

Vrije Universiteit Amsterdam

Netherlands

Adam Chlipala

Adam Chlipala

Massachusetts Institute of Technology

United States

small-avatar

Georges Gonthier

Inria

France

Gerwin Klein

Gerwin Klein

CSIRO's Data61 and UNSW Sydney

Australia

Robbert Krebbers

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Dale Miller

Dale Miller

Inria & École Polytechnique

France

Tobias Nipkow

Tobias Nipkow

Technische Universität München

Germany

Brigitte Pientka

Brigitte Pientka

McGill University

Canada

Andrei Popescu

Andrei Popescu

University of Sheffield

United Kingdom

Zhong Shao

Zhong Shao

Yale University

United States

Dmitriy Traytel

Dmitriy Traytel

University of Copenhagen

Denmark

Steve Zdancewic

Steve Zdancewic

University of Pennsylvania

United States

xWed 22 Mar 00:43

POPL 2023

contact form

using conf.researchr.org (v1.59.1)
Support page

Tracks

POPL
Session Previews
Artifact Evaluation
Diversity, Equity and Inclusion
Student Research Competition
Student Volunteers
TutorialFest
Workshops and Co-located Events

Co-hosted Conferences

CPP 2023
VMCAI 2023

Workshops

CoqPL 2023
LAFI 2023
PEPM 2023
PLMW @ POPL 2023
PriSC 2023
ProLaLa 2023

Co-hosted Symposia

PADL 2023

Attending

Venue: Boston Park Plaza
Supporting POPL
Registration
Information for Students
Information for Presenters
Information for Virtual Attendees
Nearby Events
Sign Up