CoqPL 2020: Program


                      CoqPL 2020

            6th International Workshop on Coq
               for Programming Languages
         January 25, 2020, co-located with POPL
                New Orleans, Louisiana, USA

                    PROGRAM ANNOUNCEMENT


CoqPL’20 will feature the following invited talks:

  • SMTCoq: Safe and efficient automation in Coq
    Chantal Keller
  • Autosubst 2: Mechanising binders in Coq
    Kathrin Stark
  • Session with the Coq Development Team
    Maxime Dénès and Matthieu Sozeau

In addition, CoqPL’20 will feature the following contributed talks:

  • A Coq Library of Undecidable Problems
    Yannick Forster, Dominique Larchey-Wendling, Andrej Dudenhefner,
    Edith Heiter, Dominik Kirst, Fabian Kunze, Gert Smolka, Simon Spies,
    Dominik Wehr, and Maximilian Wuttke
  • A Tutorial on Equations
    Matthieu Sozeau
  • Deriving Instances with Dependent Types
    Arthur Azevedo de Amorim
  • The use of Coq for Common Criteria Evaluations
    Yves Bertot, Maxime Dénès, Vincent Laporte, Arnaud Fontaine,
    and Thomas Letan
  • Towards Formally Verified Just-in-Time compilation
    Aurèle Barrière, Sandrine Blazy, and David Pichardie
  • Verifying concurrent Go code in Coq with Goose
    Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai

The abstracts of the talks and the workshop schedule can be found online at the CoqPL website:

Looking forward to see you at CoqPL,

The CoqPL program chairs and program committee

Program chairs

  • Robbert Krebbers, Delft University of Technology, the Netherlands
  • Assia Mahboubi, Inria, France & Vrije Universiteit Amsterdam, the Netherlands

Program Committee:

  • Delphine Demange, Univ. Rennes, Inria, CNRS, IRISA, France
  • Christine Rizkallah, University of New South Wales, Australia
  • Michael Soegtrop, Intel Deutschland GmbH, Germany
  • Eric Tanter, University of Chile & Inria Paris, Chile
  • Andrew Tolmach, Portland State University, USA
  • Joseph Tassarotti, Boston College, USA
  • Viktor Vafeiadis, MPI-SWS, Germany
  • Stephanie Weirich, University of Pennsylvania, USA