m (Text replacement - "Homepage=" to "Official Website=") |
Curator 100 (talk | contribs) |
||
(4 intermediate revisions by 2 users not shown) | |||
Line 2: | Line 2: | ||
|Acronym=POPL 2020 | |Acronym=POPL 2020 | ||
|Title=47th ACM SIGACT Symposium on Principles of Programming Languages | |Title=47th ACM SIGACT Symposium on Principles of Programming Languages | ||
− | | | + | |Ordinal=47 |
− | | | + | |In Event Series=Event Series:POPL |
− | | | + | |Single Day Event=no |
+ | |Start Date=2020/01/19 | ||
+ | |End Date=2020/01/25 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |Venue=JW Marriott New Orleans | ||
|City=New Orleans | |City=New Orleans | ||
|Region=Louisiana | |Region=Louisiana | ||
|Country=Country:US | |Country=Country:US | ||
+ | |Academic Field=Programming Language | ||
+ | |Official Website=https://popl20.sigplan.org/ | ||
+ | |DOI=10.25798/4bdq-vs53 | ||
+ | |Type=Conference | ||
+ | |Twitter account=@poplconf | ||
|Has coordinator=Michael Mislove | |Has coordinator=Michael Mislove | ||
|has general chair=Brigitte Pientka | |has general chair=Brigitte Pientka | ||
Line 15: | Line 25: | ||
|pageEditor=User:Curator 19 | |pageEditor=User:Curator 19 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Event Deadline}} | {{Event Deadline}} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery | ||
+ | }} | ||
{{Event Metric | {{Event Metric | ||
|Number Of Submitted Papers=247 | |Number Of Submitted Papers=247 | ||
Line 28: | Line 36: | ||
}} | }} | ||
{{S Event}} | {{S Event}} | ||
− | |||
− | |||
− | |||
− | |||
'''47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020'''), Sun 19 - Sat 25 January 2020, New Orleans, Louisiana, United States | '''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 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. | 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. | + | POPL 2020 and its co-located events took place in New Orleans, USA, January 19–25, 2020. |
'''Co-hosted Conferences''' | '''Co-hosted Conferences''' | ||
− | * CPP 2020 | + | *CPP 2020 |
− | * VMCAI 2020 | + | *VMCAI 2020 |
'''Workshops''' | '''Workshops''' | ||
− | * ADSL 2020 | + | *ADSL 2020 |
− | * CoqPL 2020 | + | *CoqPL 2020 |
− | * HASE 2020 | + | *HASE 2020 |
− | * LAFI 2020 | + | *LAFI 2020 |
− | * PEPM 2020 | + | *PEPM 2020 |
− | * PLMW 2020 | + | *PLMW 2020 |
− | * PLanQC 2020 | + | *PLanQC 2020 |
− | * PriSC 2020 | + | *PriSC 2020 |
− | * WGT 2020 | + | *WGT 2020 |
'''Co-hosted Symposiums''' | '''Co-hosted Symposiums''' | ||
− | * PADL 2020 | + | *PADL 2020 |
==Committees== | ==Committees== | ||
'''General Chair''' | '''General Chair''' | ||
− | * Brigitte Pientka, McGill University | + | *Brigitte Pientka, McGill University |
'''Program Chair''' | '''Program Chair''' | ||
− | * Lars Birkedal, Aarhus University | + | *Lars Birkedal, Aarhus University |
'''Video Chair''' | '''Video Chair''' | ||
− | * Leif Andersen, Northeastern University, USA | + | *Leif Andersen, Northeastern University, USA |
− | * Benjamin W Chung, Northeastern University | + | *Benjamin W Chung, Northeastern University |
'''Artifact Evaluation Co-Chair''' | '''Artifact Evaluation Co-Chair''' | ||
− | * Benjamin Delaware, Purdue University | + | *Benjamin Delaware, Purdue University |
'''Industrial Relations Co-Chair''' | '''Industrial Relations Co-Chair''' | ||
− | * Nate Foster, Cornell University, United States | + | *Nate Foster, Cornell University, United States |
'''Publicity Chair''' | '''Publicity Chair''' | ||
− | * Michael Greenberg, Pomona College | + | *Michael Greenberg, Pomona College |
'''Workshops Co-Chair''' | '''Workshops Co-Chair''' | ||
− | * Jan Hoffmann, Carnegie Mellon University, United States | + | *Jan Hoffmann, Carnegie Mellon University, United States |
− | * Zachary Kincaid, Princeton University, United States | + | *Zachary Kincaid, Princeton University, United States |
'''Technical Support''' | '''Technical Support''' | ||
− | * Kristoffer Just Arndal Andersen, Aarhus University, Denmark | + | *Kristoffer Just Arndal Andersen, Aarhus University, Denmark |
'''Evaluation Co-Chair''' | '''Evaluation Co-Chair''' | ||
− | * Jeehoon Kang Artifact, KAIST, South Korea | + | *Jeehoon Kang Artifact, KAIST, South Korea |
'''Web Chair''' | '''Web Chair''' | ||
− | * Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan | + | *Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan |
'''Student Research Competition Co-Chair''' | '''Student Research Competition Co-Chair''' | ||
− | * Ori Lahav, Tel Aviv University | + | *Ori Lahav, Tel Aviv University |
'''Registration''' | '''Registration''' | ||
− | * Carole Mann, R.S.L | + | *Carole Mann, R.S.L |
'''Local Chair''' | '''Local Chair''' | ||
− | * Michael Mislove, Tulane | + | *Michael Mislove, Tulane |
'''Student Volunteer Co-Chair''' | '''Student Volunteer Co-Chair''' | ||
− | * Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal | + | *Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal |
− | * Hanneli Tavante, McGill University | + | *Hanneli Tavante, McGill University |
'''Treasurer & Conference Manager''' | '''Treasurer & Conference Manager''' | ||
− | * Annabel Satin, P.C.K. | + | *Annabel Satin, P.C.K. |
'''Accessibility Chair''' | '''Accessibility Chair''' | ||
− | * Alexandra Silva, University College London, United Kingdom | + | *Alexandra Silva, University College London, United Kingdom |
'''Web Chair''' | '''Web Chair''' | ||
− | * Amin Timany, imec-Distrinet KU-Leuven, Belgium | + | *Amin Timany, imec-Distrinet KU-Leuven, Belgium |
'''Student Research Competition Co-Chair''' | '''Student Research Competition Co-Chair''' | ||
− | * Niki Vazou, IMDEA Software Institute | + | *Niki Vazou, IMDEA Software Institute |
'''Industrial Relations Co-Chair''' | '''Industrial Relations Co-Chair''' | ||
− | * David Walker, Princeton University, United States | + | *David Walker, Princeton University, United States |
==Invited Talks== | ==Invited Talks== | ||
− | * Cristina Cifuentes: What is a Secure Programming Language | + | *Cristina Cifuentes: What is a Secure Programming Language |
− | * Hongseok Yang: Probabilistic Programming | + | *Hongseok Yang: Probabilistic Programming |
− | * Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0? | + | *Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0? |
'''Conference information''': 68 papers accepted out of 247 submitted. | '''Conference information''': 68 papers accepted out of 247 submitted. |
Latest revision as of 08:51, 4 August 2023
JW Marriott New Orleans, New Orleans, Louisiana, United States of America
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
Committees
General Chair
- Brigitte Pientka, McGill University
Program Chair
- Lars Birkedal, Aarhus University
Video Chair
- Leif Andersen, Northeastern University, USA
- Benjamin W Chung, Northeastern University
Artifact Evaluation Co-Chair
- Benjamin Delaware, Purdue University
Industrial Relations Co-Chair
- Nate Foster, Cornell University, United States
Publicity Chair
- Michael Greenberg, Pomona College
Workshops Co-Chair
- Jan Hoffmann, Carnegie Mellon University, United States
- Zachary Kincaid, Princeton University, United States
Technical Support
- Kristoffer Just Arndal Andersen, Aarhus University, Denmark
Evaluation Co-Chair
- Jeehoon Kang Artifact, KAIST, South Korea
Web Chair
- Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan
Student Research Competition Co-Chair
- Ori Lahav, Tel Aviv University
Registration
- Carole Mann, R.S.L
Local Chair
- Michael Mislove, Tulane
Student Volunteer Co-Chair
- Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal
- Hanneli Tavante, McGill University
Treasurer & Conference Manager
- Annabel Satin, P.C.K.
Accessibility Chair
- Alexandra Silva, University College London, United Kingdom
Web Chair
- Amin Timany, imec-Distrinet KU-Leuven, Belgium
Student Research Competition Co-Chair
- Niki Vazou, IMDEA Software Institute
Industrial Relations Co-Chair
- David Walker, Princeton University, United States
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?
Conference information: 68 papers accepted out of 247 submitted.