POPL 2022
Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States
  • Attending
    • Hotel: Westin Philadelphia
    • Supporting POPL
    • Accessibility
    • Visa Information
    • Registration
  • Program
    • POPL Program
    • Your Program
    • Filter by Day
      • Sun 16 Jan
      • Mon 17 Jan
      • Tue 18 Jan
      • Wed 19 Jan
      • Thu 20 Jan
      • Fri 21 Jan
      • Sat 22 Jan
      • Sun 23 Jan
      • Mon 24 Jan
      • Tue 25 Jan
      • Wed 26 Jan
      • Thu 27 Jan
      • Fri 28 Jan
  • Tracks
      • POPL 2022
      • POPL
      • Student Research Competition
      • Student Volunteers
      • TutorialFest
      • Artifact Evaluation
      • Workshops and Co-located Events
      • Virtual Workshop
      • Diversity, Equity and Inclusion
      • Co-hosted Conferences
      • CPP
      • VMCAI
        • VMCAI
        • - Back to the Future: A Fresh Look at Linear Temporal Logic
        • - Sequential Information Flow
        • - Simplifying Concurrent Programming via Synchronization Synthesis
      • Workshops
      • CoqPL
      • LAFI
      • PEPM
      • PLMW
      • PriSC
      • ProLaLa Programming Languages and the Law
      • WITS
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2022 Committees
      • Organizing Committee
      • Track Committees
      • POPL
      • Student Research Competition
      • TutorialFest
      • Artifact Evaluation
      • Virtual Workshop
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Organization Committee
        • Program Committee
        • Steering Committee
      • VMCAI
        • Organizing Committee
        • Program Committee
        • Artifact Evaluation Committee
      • Workshops
      • CoqPL
        • Invited speaker
        • Organizing Committee
        • Program Committee
      • LAFI
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PEPM
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PLMW
        • Organizing Committee
        • Invited speakers
        • Panelists
      • PriSC
        • Program Committee
        • Steering Committee
      • ProLaLa
        • Program Committee
      • WITS
        • Program Committee
      • Co-hosted Symposia
      • PADL
        • Programme Chairs
        • Programme Committee
  • Search
  • Series
    • Series
    • POPL 2026
    • POPL 2025
    • POPL 2024
    • POPL 2023
    • POPL 2022
    • POPL 2021
    • POPL 2020
    • POPL 2019
    • POPL 2018
    • POPL 2017
    • POPL 2016
  • Sign in
  • Sign up
POPL 2022 (series) / CoqPL 2022 (series) / The Eighth International Workshop on Coq for Programming Languages /

Program Committee CoqPL

Abhishek Anand

Abhishek Anand

Cornell University

United States

Lourdes del Carmen González-Huesca

Lourdes del Carmen González-Huesca

National Autonomous University of Mexico

Mexico

Jason Gross

Jason Gross

MIT CSAIL

United States

Chung-Kil Hur

Chung-Kil Hur

Seoul National University

South Korea

Leonidas Lampropoulos

Leonidas Lampropoulos

University of Maryland, College Park

Greece

Xavier Leroy

Xavier Leroy

Collège de France

France

Enrico Tassi

Enrico Tassi

INRIA

France

xSun 25 May 09:18

POPL 2022

contact form

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

Tracks

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

Co-hosted Conferences

CPP 2022
VMCAI 2022

Workshops

CoqPL 2022
LAFI 2022
PEPM 2022
PLMW 2022
PriSC 2022
ProLaLa 2022
WITS 2022

Co-hosted Symposia

PADL 2022

Attending

Hotel: Westin Philadelphia
Supporting POPL
Accessibility
Visa Information
Registration
Sign Up