The Coq mailing list

[Casper Bach Poulsen <casperbp AT gmail.com>]

CALL FOR PARTICIPATION
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2020)

https://popl20.sigplan.org/home/pepm-2020

New Orleans, USA, Monday January 20th, 2020
(co-located with POPL 2020)

Registration
------------

http://popl20.sigplan.org/attending/registration

Early registration deadline: **Wednesday 18th Dec 2019**

Preliminary Schedule
--------------------

09:00-10:00:
  Keynote 1: Network Verification: Past, Present, and Future
    (Nate Foster)

10:30-12:30:
  Dependently-Typed Multi-Stage Programming Revisited (invited talk)
    (Atsushi Igarashi)

  High-Fidelity Metaprogramming with Separator Syntax Trees
    (Rodin Aarssen, Tijs van der Storm)

  Module Generation without Regret
    (Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe)

  GOOL: A Generic Object-Oriented Language
    (Jacques Carette, Brooks MacLachlan, Spencer Smith)

14:00-15:05:
  Keynote 2: Reasoning about Progress of Concurrent Objects
    (Xinyu Feng)

15:35-17:45:
  Frex: Free extensions for normalisation by evaluation (invited talk)
    (Ohad Kammar)

  Symbolic Bisimulation for Open and Parameterized System
    (Zechen Hou, Eric Madelaine)

  Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk)
    (Walid Taha)

  An approach to generating text-based IDEs with syntax completion
from syntax specification
    (Isao Sasano)


Find the full schedule, abstracts of the talks, and links to papers on
the PEPM2020 website: https://popl20.sigplan.org/home/pepm-2020

Looking forward to seeing you at PEPM2020,

PEPM2020 chairs and PC

***

Programme committee
-------------------

* Andreas Abel (Chalmers U.)
* Guillaume Allais (U. Strathclyde)
* Nada Amin (Harvard U.)
* Casper Bach Poulsen (co-chair) (TU Delft)
* Patrick Bahr (Copenhagen U.)
* Aggelos Biboudis (EPFL)
* Olivier Danvy (National U. Singapore)
* Álvaro García-Pérez (IMDEA)
* Jeremy Gibbons (Oxford U.)
* Robert Glück (Copenhagen U.)
* Torsten Grust (U. Tubingen)
* Zhenjiang Hu (co-chair) (Peking U./NII)
* Hideya Iwasaki (U. Electro-Communications)
* Oleg Kiselyov (Tohoku U.)
* Hedehiko Masuhara (Tokyo I. Technology)
* Keisuke Nakano (Tohoku U.)
* Bruno Oliveira (U. Hong Kong)
* Jens Palsberg (UCLA)
* João Saraiva (Minho U.)
* Tom Schrijvers (KU Leuven)
* Eijiro Sumii (Tohoku U.)
* Walid Taha (Halmstad U.)
* Nobuko Yoshida (Imperial C. London)