# 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 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
