| 2026 | 41 | 41st Annual Symposium on Logic in Computer Science, LICS 2026, Lisbon, Portugal, July 20-23, 2026 | Lisbon | |
| 2025 | 40 | 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025 | Singapore | |
| 2024 | 39 | Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024 | Tallinn | |
| 2023 | 38 | 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023 | Boston | |
| 2022 | 37 | LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022 | Haifa | |
| 2021 | 36 | 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021 | Rome | |
| 2020 | 35 | LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. | Saarbrücken | |
| 2019 | 34 | 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 LICS | Vancouver | 2019-06-24/27 |
| 2018 | 33 | Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 LICS | Oxford | 2018-07-09/12 |
| 2017 | 32 | 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 LICS | Reykjavík | 2017-06-20/23 |
| 2016 | 31 | Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 LICS | New York City | 2016-07-05/08 |
| 2015 | 30 | 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015 LICS | Kyoto | 2015-07-06/10 |
| 2015 | | Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015 | Kyoto | |
| 2014 | | 23rd EACSL Annual Conference on Computer Science Logic CSL 2014, CSL, LICS | Vienna | 2014-07-14/18 |
| 2013 | 28 | 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013 LICS | New Orleans | 2013-06-25/28 |
| 2012 | 27 | Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 LICS | Dubrovnik | 2012-06-25/28 |
| 2011 | 26 | Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada LICS | Toronto | 2011-06-21/24 |
| 2010 | 25 | Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom LICS | Edinburgh | 2010-07-10/14 |
| 2009 | 24 | Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA LICS | Los Angeles | 2009-08-11/14 |
| 2008 | | Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA LICS | Pittsburgh | 2008-06-24/27 |
| 2007 | 22 | 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings LICS | Wrocław | 2007-07-10/12 |
| 2006 | 21 | 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings LICS | Seattle | 2006-08-12/15 |
| 2005 | 20 | 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings LICS | Chicago | 2005-06-26/29 |
| 2004 | 19 | 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings LICS | Turku | 2004-07-14/17 |
| 2003 | 18 | 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings LICS | Ottawa | 2003-06-22/25 |
| 2002 | 17 | 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings LICS | Copenhagen | 2002-07-22/25 |
| 2001 | 16 | 16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings LICS | Boston | 2001-06-16/19 |
| 2000 | 15 | 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000 LICS | Santa Barbara | 2000-06-26/29 |
| 1999 | 14 | 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999 LICS | Trento | 1999-07-02/05 |
| 1998 | | Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998 LICS | Indianapolis | 1998-06-21/24 |
| 1997 | 12 | Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997 LICS | Warsaw | 1997-06-29 to 1997-07-02 |
| 1996 | 11 | Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996 LICS | New Brunswick | 1996-07-27/30 |
| 1995 | 10 | Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995 LICS | San Diego | 1995-06-26/29 |
| 1994 | | Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994 LICS | Paris | 1994-07-04/07 |
| 1993 | | Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993 LICS | Montreal | 1993-06-19/23 |
| 1992 | | Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June 22-25, 1992 LICS | Santa Cruz | 1992-06-22/25 |
| 1991 | | Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), Amsterdam, The Netherlands, July 15-18, 1991 LICS | Kingdom of the Netherlands | 1991-07-15/18 |
| 1990 | | Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990 LICS | Philadelphia | 1990-06-04/07 |
| 1989 | | Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989 LICS | Pacific Grove | 1989-06-05/08 |
| 1988 | | Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988 LICS | Edinburgh | 1988-07-05/08 |
| 1987 | | Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987 LICS | Ithaca | 1987-06-22/25 |
| 1986 | | Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986 LICS | Cambridge | 1986-06-16/18 |
