| 2023 | 50 | 50th ACM SIGACT Symposium on Principles of Programming Languages POPL 2023 | Boston | 2023-01-15/21 |
| 2022 | 49 | 49th ACM SIGACT Symposium on Principles of Programming Languages POPL 2022 | Philadelphia | 2022-02-16/28 |
| 2021 | 48 | 48th ACM SIGPLAN Symposium on Principles of Programming Languages POPL 2021 | | 2021-01-17/22 |
| 2020 | 47 | 47th ACM SIGACT Symposium on Principles of Programming Languages POPL 2020 | New Orleans | 2020-01-19/25 |
| 2019 | 46 | 46th ACM SIGPLAN Symposium on Principles of Programming Languages POPL 2019 | Cascais | 2019-01-13/19 |
| 2019 | | Symposium on Principles of Programming Languages (POPL) POPL | Cascais | 2019-01-01 |
| 2018 | 45 | 45th ACM SIGPLAN Symposium on Principles of Programming Languages POPL 2018 | Los Angeles | 2018-01-07/13 |
| 2018 | | Symposium on Principles of Programming Languages (POPL) POPL | Los Angeles | 2018-01-01 |
| 2017 | 44 | 44th ACM SIGPLAN Symposium on Principles of Programming Languages POPL 2017, POPL | Paris | 2017-01-15/21 |
| 2016 | 43 | 43rd ACM SIGACT Symposium on Principles of Programming Languages POPL 2016, POPL | St. Petersburg | 2016-01-20/23 |
| 2015 | 42 | 42nd ACM SIGACT Symposium on Principles of Programming Languages POPL 2015, POPL | Mumbai | 2015-01-12/18 |
| 2014 | 41 | 41st ACM SIGACT Symposium on Principles of Programming Languages POPL 2014, POPL | San Diego | 2014-01-22/24 |
| 2013 | 40 | 40th ACM SIGACT Symposium on Principles of Programming Languages POPL 2013, POPL | Rome | 2013-01-23/25 |
| 2013 | | Proceedings of the 2013 Workshop on Data Driven Functional Programming, DDFP 2013, Rome, Italy, January 22, 2013 | Rome | |
| 2012 | 39 | 39th ACM SIGACT Symposium on Principles of Programming Languages POPL 2012, POPL | Philadelphia | 2012-01-22/28 |
| 2011 | 38 | 38th ACM SIGACT Symposium on Principles of Programming Languages POPL 2011, POPL | Austin | 2011-01-26/28 |
| 2010 | 37 | 37th ACM SIGACT Symposium on Principles of Programming Languages POPL 2010, POPL | Madrid | 2010-01-17/23 |
| 2009 | 36 | The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2009, POPL | Savannah | 2009-01-21/23 |
| 2008 | 35 | The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2008, POPL | San Francisco | 2008-01-10/12 |
| 2007 | 34 | ACM SIGACT Symposium on Principles of Programming Languages POPL 2007, POPL | Nice | 2007-01-17/19 |
| 2006 | 33 | ACM SIGACT Symposium on Principles of Programming Languages POPL 2006, POPL | Charleston | 2006-01-11/13 |
| 2005 | 32 | ACM SIGACT Symposium on Principles of Programming Languages POPL 2005, POPL | Long Beach | 2005-01-12/14 |
| 2004 | 31 | ACM SIGACT Symposium on Principles of Programming Languages POPL 2004, POPL | Venice | 2004-01-14/16 |
| 2003 | 30 | ACM SIGACT Symposium on Principles of Programming Languages POPL 2003, POPL | New Orleans | 2003-01-15/17 |
| 2002 | 29 | ACM SIGACT Symposium on Principles of Programming Languages POPL 2002, POPL | Portland | 2002-01-16/18 |
| 2001 | 28 | ACM SIGACT Symposium on Principles of Programming Languages POPL 2001, POPL | London | 2001-01-17/19 |
| 2000 | 27 | ACM SIGACT Symposium on Principles of Programming Languages POPL 2000, POPL | Boston | 2000-01-19/21 |
| 1999 | 26 | ACM SIGACT Symposium on Principles of Programming Languages POPL 1999, POPL | San Antonio | 1999-01-20/22 |
| 1998 | 25 | ACM SIGACT Symposium on Principles of Programming Languages POPL 1998, POPL | San Diego | 1998-01-19/21 |
| 1997 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1997, POPL | Paris | 1997-01-15/17 |
| 1997 | 24 | Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997 | Paris | |
| 1997 | | POPL: The First Ten Years, Proceedings Compenium 1973-1983, CDROM | | |
| 1996 | 23 | ACM SIGACT Symposium on Principles of Programming Languages POPL 1996, POPL | Florida | 1996-01-21/24 |
| 1995 | 22 | ACM SIGACT Symposium on Principles of Programming Languages POPL 1995, POPL | San Francisco | 1995-01-22/25 |
| 1994 | 21 | ACM SIGACT Symposium on Principles of Programming Languages POPL 1994, POPL | Portland | 1994-01-17/21 |
| 1993 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1993, POPL | Charleston | 1993-01-01 |
| 1992 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1992, POPL | Albuquerque | 1992-01-19/22 |
| 1991 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1991, POPL | Orlando | 1991-01-21/23 |
| 1990 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1990, POPL | San Francisco | 1990-01-01 |
| 1989 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1989, POPL | Austin | 1989-01-11/13 |
| 1988 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1988, POPL | San Diego | 1988-01-10/13 |
| 1987 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1987, POPL | Munich | 1987-01-21/23 |
| 1986 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1986, POPL | Florida | 1986-01-01 |
| 1985 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1985, POPL | New Orleans | 1985-01-14/16 |
| 1984 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1984, POPL | Salt Lake City | 1984-01-15/18 |
| 1983 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1983, POPL | Austin | 1983-01-24/26 |
| 1982 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1982, POPL | Albuquerque | 1982-01-25/27 |
| 1981 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1981, POPL | Williamsburg | 1981-01-26/28 |
| 1980 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1980, POPL | Las Vegas | 1980-01-28/30 |
| 1979 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1979, POPL | San Antonio | 1979-01-29/31 |
| 1978 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1978, POPL | Tucson | 1978-01-23/25 |
| 1977 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1977, POPL | Los Angeles | 1977-01-17/19 |
| 1976 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1976, POPL | Atlanta | 1976-01-19/21 |
| 1975 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1975 | Palo Alto | 1975-01-20/22 |
| 1973 | | ACM SIGACT Symposium on Principles of Programming Languages POPL 1973 | Boston | 1973-10-01/03 |