POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
  • Attending
    • Venue: Boston Park Plaza
  • Tracks
      • POPL 2023
      • POPL
      • Artifact Evaluation
      • Student Research Competition
      • TutorialFest
      • Workshops and Co-located Events
      • Co-hosted Conferences
      • CPP
      • Workshops
      • PLMW @ POPL
      • 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
      • Workshops
      • PLMW @ POPL
        • Organizing 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

Gerwin Klein

Gerwin Klein

CSIRO's Data61 and UNSW Sydney

Australia

Robbert Krebbers

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Dale Miller

Dale Miller

Inria, France / École Polytechnique, France

France

Tobias Nipkow

Tobias Nipkow

Technische Universität München

Andrei Popescu

Andrei Popescu

University of Sheffield

United Kingdom

Zhong Shao

Zhong Shao

Yale University

United States

Steve Zdancewic

Steve Zdancewic

University of Pennsylvania

United States

xWed 17 Aug 12:04

POPL 2023

contact form

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

Tracks

POPL
Artifact Evaluation
Student Research Competition
TutorialFest
Workshops and Co-located Events

Co-hosted Conferences

CPP 2023

Workshops

PLMW @ POPL 2023

Co-hosted Symposia

PADL 2023

Attending

Venue: Boston Park Plaza
Sign Up