Martin Vechev - POPL 2017 (original) (raw)

• Attending

  • Campus: Paris Jussieu
  • Proceedings
  • Students
  • Registration
  • Practical information
  • Visas
  • Accommodation
  • Banner image credits

• Program

  • POPL 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 2017
  * Tutorials
  * Student Research Competition
  * POPL
  * Artifact Evaluation
  * Co-hosted Conferences
  * CPP
  * CPP
  * CPP
  * VMCAI
  * VMCAI
  * VMCAI
  * Workshops
  * PPS
  * CoqPL
  * N40AI Next 40 years of Abstract Interpretation
  * Off the Beaten Track OBT
  * PEPM
  * PiP
  * PLMW PLMW
  * RDP
  * SCM
  * TTT
  * Co-hosted Symposia
  * PADL

• Organization
  * POPL 2017 Committees
  * Organizing Committee
  * Steering Committee
  * Track Committees
  * Student Research Competition
  * POPL
  * Program Committee
  * External Review Committee
  * Artifact Evaluation
  * Contributors
  * People Index
  * Co-hosted Conferences
  * CPP
  * Program Committee
  * VMCAI
  * Organizing Committee
  * Program committee
  * Steering Committee
  * Program Chairs
  * Workshops
  * PPS
  * Program Committee
  * CoqPL
  * Program Committee
  * N40AI
  * Organizer
  * Off the Beaten Track
  * Organizing Committee
  * Program Committee
  * PEPM
  * Programme Committee
  * Programme Committee
  * PiP
  * Program Committee
  * PLMW
  * Speaker
  * Program Committee
  * RDP
  * Program Committee
  * SCM
  * Organizing Committee
  * TTT
  * Program Committee
  * Co-hosted Symposia
  * PADL
  * Organizing Committee

• Search

• Series

  • Series
  • POPL 2027
  • 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

Registered user since Thu 10 Jul 2014

x_Fri 10 Apr 12:05_