POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
  • Attending
    • Venue: Omni Hotel
    • Registration
    • Code of Conduct
    • Supporting POPL
    • Childcare
    • Students
    • Visa Support Letter
    • Accessibility
    • Remote Participation
  • Program
    • POPL Program
    • Your Program
    • Proceedings
    • Filter by Day
      • Sun 7 Jan
      • Mon 8 Jan
      • Tue 9 Jan
      • Wed 10 Jan
      • Thu 11 Jan
      • Fri 12 Jan
      • Sat 13 Jan
  • Tracks
      • POPL 2018
      • Research Papers
      • TutorialFest
      • Student Research Competition
      • Workshops
      • Artifact Evaluation
      • Student Volunteers
      • Co-hosted Conferences
      • CPP
        • CPP
        • CPP
      • VMCAI
      • Workshops
      • PPS
      • CoqPL
      • NetPL
      • Off the Beaten Track
      • PEPM
      • PLMW
      • PriSC
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2018 Committees
      • Organizing Committee
      • Steering Committee
      • Track Committees
      • Research Papers
      • TutorialFest
      • Student Research Competition
      • Workshops
      • Artifact Evaluation
      • Student Volunteers
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Program Committee
      • VMCAI
        • Invited Speakers
        • Invited Tutorial
        • Organizing Committee
        • Travel Grants
        • Program Committee
      • Workshops
      • PPS
        • Program Committee
      • CoqPL
        • Organizing Committee
        • Program Committee
      • NetPL
        • Organizing Committee
      • Off the Beaten Track
        • Organizing Committee
        • Program Committee
      • PEPM
        • Programme Committee
        • Steering Committee
      • PLMW
        • Speakers
        • Panelists
        • Organizers
      • PriSC
        • Program Committee
        • Organizing Committee
      • Co-hosted Symposia
      • PADL
        • Publicity Chair
  • 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 2018 (series) / CPP 2018 (series) / CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs /

Program Committee CPP

Reynald Affeldt

Reynald Affeldt

National Institute of Advanced Industrial Science and Technology (AIST), Japan

June Andronick

June Andronick Program Co-Chair

Data61,CSIRO (formerly NICTA) and UNSW

Australia

Lennart Beringer

Lennart Beringer

Princeton University

United States

Jasmin Blanchette

Jasmin Blanchette

Vrije Universiteit Amsterdam

Netherlands

Sandrine Blazy

Sandrine Blazy

IRISA, University of Rennes 1

France

Sylvie Boldo

Sylvie Boldo

Inria and Université Paris-Saclay

France

James Cheney

James Cheney

University of Edinburgh, UK

United States

Amy Felty

Amy Felty Program Co-Chair

University of Ottawa

Canada

Elsa Gunter

Elsa Gunter

University of Illinois

United States

Marieke Huisman

Marieke Huisman

University of Twente

Netherlands

Warren Hunt

Warren Hunt

University of Texas Austin

United States

Reiner Hähnle

Reiner Hähnle

Technical University of Darmstadt

Germany

K. Rustan M. Leino

K. Rustan M. Leino

Amazon

United States

Assia Mahboubi

Assia Mahboubi

INRIA

France

Alberto Momigliano

Alberto Momigliano

Università degli Studi di Milano

Magnus O. Myreen

Magnus O. Myreen

Chalmers University of Technology, Sweden

Sweden

Vivek Nigam

Vivek Nigam

Federal University of Paraiba / fortiss

Germany

Tobias Nipkow

Tobias Nipkow

Technical University Munich

Germany

Gert Smolka

Gert Smolka

Saarland University

Bas Spitters

Bas Spitters

Pierre-Yves Strub

Pierre-Yves Strub

Ecole Polytechnique

France

small-avatar

Laurent Théry

INRIA

France

Josef Urban

Josef Urban

Czech Technical University in Prague

Czechia

Viktor Vafeiadis

Viktor Vafeiadis

MPI-SWS, Germany

Greece

Stephanie Weirich

Stephanie Weirich

University of Pennsylvania, USA

United States

xSun 25 May 09:55

POPL 2018

contact form

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

Tracks

Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers

Co-hosted Conferences

CPP 2018
VMCAI 2018

Workshops

PPS 2018
CoqPL 2018
NetPL 2018
Off the Beaten Track 2018
PEPM 2018
PLMW 2018
PriSC 2018

Co-hosted Symposia

PADL 2018

Attending

Venue: Omni Hotel
Registration
Code of Conduct
Supporting POPL
Childcare
Students
Visa Support Letter
Accessibility
Remote Participation
Sign Up