(mobo import Concept___Events_With_Host_Organization-migrated) |
Curator 91 (talk | contribs) |
||
| (6 intermediate revisions by 3 users not shown) | |||
| Line 2: | Line 2: | ||
|Acronym=POPL 2018 | |Acronym=POPL 2018 | ||
|Title=45th ACM SIGPLAN Symposium on Principles of Programming Languages | |Title=45th ACM SIGPLAN Symposium on Principles of Programming Languages | ||
| − | | | + | |Ordinal=45 |
| − | | | + | |In Event Series=Event Series:POPL |
| − | | | + | |Single Day Event=no |
| + | |Start Date=2018/01/07 | ||
| + | |End Date=2018/01/13 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |Venue=Omni Los Angeles Hotel | ||
|City=Los Angeles | |City=Los Angeles | ||
|Region=California | |Region=California | ||
|Country=Country:US | |Country=Country:US | ||
| − | | | + | |Academic Field=Programming Language |
| + | |Official Website=https://popl18.sigplan.org/ | ||
| + | |Submission Link=https://popl18.hotcrp.com | ||
| + | |DOI=10.25798/2x7n-kp09 | ||
| + | |Type=Conference | ||
| + | |Twitter account=@poplconf | ||
|has general chair=Ranjit Jhala | |has general chair=Ranjit Jhala | ||
|has program chair=Andrew Myers | |has program chair=Andrew Myers | ||
| Line 14: | Line 24: | ||
|pageEditor=User:Curator 19 | |pageEditor=User:Curator 19 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
| + | |Notification Deadline=2017/09/29 | ||
|Poster Deadline=2017/10/30 | |Poster Deadline=2017/10/30 | ||
| − | |||
|Submission Deadline=2017/07/07 | |Submission Deadline=2017/07/07 | ||
}} | }} | ||
| − | |||
{{Organizer | {{Organizer | ||
| − | |||
|Contributor Type=organization | |Contributor Type=organization | ||
| + | |Organization=Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery | ||
}} | }} | ||
| + | {{Event Metric}} | ||
| + | {{S Event}} | ||
'''POPL 2018''' The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Sun 7 - Sat 13 January 2018, Los Angeles, California, United States | '''POPL 2018''' The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Sun 7 - Sat 13 January 2018, Los Angeles, California, 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. | ||
| − | The main POPL 2018 conference will be held from Wed 10 - Fri 12 January 2018. | + | The main POPL 2018 conference will be held from Wed 10 - Fri 12 January 2018. |
==Important Dates== | ==Important Dates== | ||
AoE (UTC-12h) | AoE (UTC-12h) | ||
| − | * Conference: Mon 8 - Sat 13 Jan 2018 | + | *Conference: Mon 8 - Sat 13 Jan 2018 |
| − | * Final papers due: Mon 30 Oct 2017 | + | *Final papers due: Mon 30 Oct 2017 |
| − | * Author notification: Fri 29 Sep 2017 | + | *Author notification: Fri 29 Sep 2017 |
| − | * Author response period: Mon 11 - Thu 14 Sep 2017 | + | *Author response period: Mon 11 - Thu 14 Sep 2017 |
| − | * Submissions due: Fri 7 Jul 2017 | + | *Submissions due: Fri 7 Jul 2017 |
==Committees== | ==Committees== | ||
| Line 52: | Line 56: | ||
'''General Chair''' | '''General Chair''' | ||
| − | * Ranjit Jhala, University of California, San Diego, United States | + | *Ranjit Jhala, University of California, San Diego, United States |
'''Program Chair''' | '''Program Chair''' | ||
| − | * Andrew Myers, Cornell University, United States | + | *Andrew Myers, Cornell University, United States |
'''Conference Manager''' | '''Conference Manager''' | ||
| − | * Annabel Satin, P.C.K. | + | *Annabel Satin, P.C.K. |
'''Associated Events Chair''' | '''Associated Events Chair''' | ||
| − | * Marco Gaboardi, University at Buffalo, SUNY, United States | + | *Marco Gaboardi, University at Buffalo, SUNY, United States |
'''Industrial Relations Chair''' | '''Industrial Relations Chair''' | ||
| − | * David Walker, Princeton University, United States | + | *David Walker, Princeton University, United States |
'''Remote Participation Chair''' | '''Remote Participation Chair''' | ||
| − | * Michael Greenberg, Pomona College | + | *Michael Greenberg, Pomona College |
'''Artifact Evaluation Co-Chair, Publicity Chair''' | '''Artifact Evaluation Co-Chair, Publicity Chair''' | ||
| − | * Jean Yang, Carnegie Mellon University | + | *Jean Yang, Carnegie Mellon University |
| − | * Cătălin Hriţcu, Inria Paris | + | *Cătălin Hriţcu, Inria Paris |
'''Student Research Competition Chair''' | '''Student Research Competition Chair''' | ||
| − | * Benjamin Delaware, Purdue University | + | *Benjamin Delaware, Purdue University |
'''Website Chair''' | '''Website Chair''' | ||
| − | * Rohit Singh, CSAIL, MIT, United States | + | *Rohit Singh, CSAIL, MIT, United States |
'''Student Volunteer Co-Captain''' | '''Student Volunteer Co-Captain''' | ||
| − | * Alex Sanchez-Stern, University of California, San Diego, United States | + | *Alex Sanchez-Stern, University of California, San Diego, United States |
| − | * Jakub Zalewski, University of Edinburgh, United Kingdom | + | *Jakub Zalewski, University of Edinburgh, United Kingdom |
==Keynotes== | ==Keynotes== | ||
| − | * Derek Dreyer: Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can) | + | *Derek Dreyer: Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can) |
| − | * Gordon Plotkin: Some Principles of Differential Programming Languages | + | *Gordon Plotkin: Some Principles of Differential Programming Languages |
| − | * Sarah Lawsky: Formal Methods and the Law | + | *Sarah Lawsky: Formal Methods and the Law |
| − | * Frank Pfenning: Message-Passing Concurrency and Substructural Logics | + | *Frank Pfenning: Message-Passing Concurrency and Substructural Logics |
| − | * Robert Harper, Carlo Angiuli: Computational Higher Type Theory | + | *Robert Harper, Carlo Angiuli: Computational Higher Type Theory |
| − | * William E. Byrd, Gregory Rosenblatt: One Weird Trick: Relational Interpreters for Program Synthesis | + | *William E. Byrd, Gregory Rosenblatt: One Weird Trick: Relational Interpreters for Program Synthesis |
| − | * Zachary Kincaid, Thomas Reps: Introduction to Algebraic Program analysis | + | *Zachary Kincaid, Thomas Reps: Introduction to Algebraic Program analysis |
| − | * Roberto Giacobazzi: Code Obfuscation - A Hacking view on program analysis and understanding | + | *Roberto Giacobazzi: Code Obfuscation - A Hacking view on program analysis and understanding |
| − | * Chung-chieh Shan: Equational reasoning for probabilistic programming | + | *Chung-chieh Shan: Equational reasoning for probabilistic programming |
| − | * Mathias Fleury, Andreas Lochbihler, Andrei Popescu: Programming and Reasoning with Infinite Data in Isabelle/HOL. | + | *Mathias Fleury, Andreas Lochbihler, Andrei Popescu: Programming and Reasoning with Infinite Data in Isabelle/HOL. |
| − | * Jacques-Henri Jourdan, Robbert Krebbers: Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic | + | *Jacques-Henri Jourdan, Robbert Krebbers: Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic |
Latest revision as of 07:38, 10 July 2023
Deadlines
|
||
| Submission |
|
||
| Notification |
|
||
| Poster |
Metrics
Venue
Omni Los Angeles Hotel, Los Angeles, California, United States of America
POPL 2018 The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Sun 7 - Sat 13 January 2018, Los Angeles, California, 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.
The main POPL 2018 conference will be held from Wed 10 - Fri 12 January 2018.
Important Dates
AoE (UTC-12h)
- Conference: Mon 8 - Sat 13 Jan 2018
- Final papers due: Mon 30 Oct 2017
- Author notification: Fri 29 Sep 2017
- Author response period: Mon 11 - Thu 14 Sep 2017
- Submissions due: Fri 7 Jul 2017
Committees
Organizing Committee POPL 2018
General Chair
- Ranjit Jhala, University of California, San Diego, United States
Program Chair
- Andrew Myers, Cornell University, United States
Conference Manager
- Annabel Satin, P.C.K.
Associated Events Chair
- Marco Gaboardi, University at Buffalo, SUNY, United States
Industrial Relations Chair
- David Walker, Princeton University, United States
Remote Participation Chair
- Michael Greenberg, Pomona College
Artifact Evaluation Co-Chair, Publicity Chair
- Jean Yang, Carnegie Mellon University
- Cătălin Hriţcu, Inria Paris
Student Research Competition Chair
- Benjamin Delaware, Purdue University
Website Chair
- Rohit Singh, CSAIL, MIT, United States
Student Volunteer Co-Captain
- Alex Sanchez-Stern, University of California, San Diego, United States
- Jakub Zalewski, University of Edinburgh, United Kingdom
Keynotes
- Derek Dreyer: Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can)
- Gordon Plotkin: Some Principles of Differential Programming Languages
- Sarah Lawsky: Formal Methods and the Law
- Frank Pfenning: Message-Passing Concurrency and Substructural Logics
- Robert Harper, Carlo Angiuli: Computational Higher Type Theory
- William E. Byrd, Gregory Rosenblatt: One Weird Trick: Relational Interpreters for Program Synthesis
- Zachary Kincaid, Thomas Reps: Introduction to Algebraic Program analysis
- Roberto Giacobazzi: Code Obfuscation - A Hacking view on program analysis and understanding
- Chung-chieh Shan: Equational reasoning for probabilistic programming
- Mathias Fleury, Andreas Lochbihler, Andrei Popescu: Programming and Reasoning with Infinite Data in Isabelle/HOL.
- Jacques-Henri Jourdan, Robbert Krebbers: Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic
