POPL 2022
Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States
  • Attending
    • Hotel: Westin Philadelphia
    • Supporting POPL
    • Accessibility
    • Visa Information
    • Registration
  • Program
    • Complete 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 2023
    • POPL 2022
    • POPL 2021
    • POPL 2020
    • POPL 2019
    • POPL 2018
    • POPL 2017
    • POPL 2016
  • Sign in
  • Sign up
POPL 2022 (series) / VMCAI 2022 (series) / VMCAI 2022 /

Organizing Committee VMCAI

Bernd Finkbeiner

Bernd Finkbeiner Program Co-Chair

CISPA Helmholtz Center for Information Security

Germany

Thomas Wies

Thomas Wies Program Co-Chair

New York University

United States

Mark Santolucito

Mark Santolucito Artifact Evaluation Chair

Barnard College, Columbia University, USA

United States

Ruzica Piskac

Ruzica Piskac Publicity Chair

Yale University

United States

xMon 27 Mar 19:43

POPL 2022

contact form

using conf.researchr.org (v1.59.1)
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