Discussion:
[Coq-Club] POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18
Michael Greenberg
2018-11-21 14:55:15 UTC
Permalink
# POPL 2019 Call for Participation

POPL 2019 will take place at the Hotel Cascais Miragem in
Cascais/Lisbon, January 16-18, 2019.

The annual Symposium on Principles of Programming Languages is a forum
for the discussion of all aspects of programming languages and
programming systems. We seek submissions that make principled,
enduring contributions to the theory, design, understanding,
implementation or application of programming languages.

Co-located events run from January 13th through January 19th.

You can read the list of conditionally accepted papers on the POPL 2019
website.
https://popl19.sigplan.org/track/POPL-2019-Research-Papers#event-overview

A number of tutorials will also take place.
https://popl19.sigplan.org/track/POPL-2019-TutorialFest#event-overview

There will be two keynotes:

  - Automated Fault-Finding and Fixing at Facebook
    Mark Harman (Facebook and University College London)

  - Mechanized Metatheory - The Next Chapter
    Brigitte Pientka (McGill University)

POPL is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and
ACM SIGLOG.

# Important Information

Early registration deadline - Mon 10 Dec 2018

All papers accepted to POPL 2019 will be published as part of the ACM
Gold Open Access journal, Proceedings of the ACM on Programming
Languages (PACMPL).

For information about distinguished papers, artifact evaluation,
PACMPL and copyright, and presentations, please see the online CfP.
https://popl19.sigplan.org/track/POP

Loading...