[TYPES/announce] POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18

Michael Greenberg Michael.Greenberg at pomona.edu
Wed Nov 21 09:54:25 EST 2018


# 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/POPL-2019-Research-Papers#POPL-2019-Call-for-Papers




More information about the Types-announce mailing list