POPL
Encyclopedia
The annual ACM
SIGPLAN
-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference
in the field of computer science
, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by the two Association for Computing Machinery
Special Interest Group
s: SIGPLAN
and SIGACT.
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
SIGPLAN
SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.- Conferences :* Principles of Programming Languages * Programming Language Design and Implementation...
-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
in the field of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by the two Association for Computing Machinery
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
Special Interest Group
Special Interest Group
A Special Interest Group is a community with an interest in advancing a specific area of knowledge, learning or technology where members cooperate to effect or to produce solutions within their particular field, and may communicate, meet, and organize conferences...
s: SIGPLAN
SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.- Conferences :* Principles of Programming Languages * Programming Language Design and Implementation...
and SIGACT.
History of the Conference
- 38th POPL 2011 in Austin, USA
- 37th POPL 2010 in Madrid, Spain
- 36th POPL 2009 in Savannah, Georgia, USA
- 35th POPL 2008 in San Francisco, California, USA
- 34th POPL 2007 in Nice, France
- 33rd POPL 2006 in Charleston, South Carolina, USA
- 32nd POPL 2005 in Long Beach, California, USA
Affiliated events
- Declarative Aspects of Multicore Programming (DAMP)
- Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
- Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
- Practical Applications of Declarative Languages (PADL)
- Programming Language Technologies for XML (PLAN-X)
- Types in Language Design and Implementation (TLDI)
- Verification, Model Checking and Abstract Interpretation (VMCAI)