POPL 2020

From Openresearch
Jump to: navigation, search
POPL 2020
47th ACM SIGACT Symposium on Principles of Programming Languages
Event in series POPL
Dates 2020/01/19 (iCal) - 2020/01/25
Homepage: https://popl20.sigplan.org/
Twitter account: ‎@poplconf
Location
Location: New Orleans, Louisiana, USA
Loading map...

Subevents: PEPM 2020
Keynote speaker: Cristina Cifuentes, Hongseok Yang, Martin Vechev
Table of Contents

Contents

Tweets by ‎@poplconf


47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), Sun 19 - Sat 25 January 2020, New Orleans, Louisiana, United States

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.

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

POPL 2020 and its co-located events took place in New Orleans, USA, January 19–25, 2020.

Co-hosted Conferences

  • CPP 2020
  • VMCAI 2020

Workshops

  • ADSL 2020
  • CoqPL 2020
  • HASE 2020
  • LAFI 2020
  • PEPM 2020
  • PLMW 2020
  • PLanQC 2020
  • PriSC 2020
  • WGT 2020

Co-hosted Symposiums

  • PADL 2020

Invited Talks

  • Cristina Cifuentes: What is a Secure Programming Language
  • Hongseok Yang: Probabilistic Programming
  • Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0?
Facts about "POPL 2020"
AcronymPOPL 2020 +
End dateJanuary 25, 2020 +
Event in seriesPOPL +
Event typeConference +
Has Keynote speakerCristina Cifuentes +, Hongseok Yang + and Martin Vechev +
Has coordinates29° 58' 34", -90° 4' 42"Latitude: 29.975997222222
Longitude: -90.078213888889
+
Has location cityNew Orleans +
Has location countryCategory:USA +
Has location stateLouisiana +
Has twitter‎@poplconf +
Homepagehttps://popl20.sigplan.org/ +
IsAEvent +
Start dateJanuary 19, 2020 +
Title47th ACM SIGACT Symposium on Principles of Programming Languages +