default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025. IEEE 2025, ISBN 979-8-3315-7900-5 [contents]

• 
  Pawel Sobocinski, Ugo Dal Lago, Javier Esparza:
  Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. ACM 2024 [contents]

• 
  38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023. IEEE 2023, ISBN 979-8-3503-3587-3 [contents]

• 
  Christel Baier, Dana Fisman:
  LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM 2022, ISBN 978-1-4503-9351-5 [contents]

• 
  36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. IEEE 2021, ISBN 978-1-6654-4895-6 [contents]

• 
  Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller:
  LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. ACM 2020, ISBN 978-1-4503-7104-9 [contents]

• 
  34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. IEEE 2019, ISBN 978-1-7281-3608-0 [contents]
• 
  Dale Miller, Ivan Scagnetto:
  Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. EPTCS 307, 2019 [contents]

• 
  Anuj Dawar, Erich Grädel:
  Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. ACM 2018 [contents]

• 
  32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017. IEEE Computer Society 2017, ISBN 978-1-5090-3018-7 [contents]

• 
  Martin Grohe, Eric Koskinen, Natarajan Shankar:
  Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016. ACM 2016, ISBN 978-1-4503-4391-6 [contents]

• 
  30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. IEEE Computer Society 2015, ISBN 978-1-4799-8875-4 [contents]
• 
  Makoto Kanazawa, Lawrence S. Moss, Valeria de Paiva:
  Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015. EPiC Series in Computing 32, EasyChair 2015 [contents]

CSL-LICS 2014 Home Page

• 
  Thomas A. Henzinger, Dale Miller:
  Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. ACM 2014, ISBN 978-1-4503-2886-9 [contents]

• 
  28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-0413-6 [contents]

• 
  Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2263-8 [contents]
• 
  Stéphane Graham-Lengrand, Luca Paolini:
  Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. EPTCS 121, 2013 [contents]

• 
  Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. IEEE Computer Society 2011, ISBN 978-0-7695-4412-0 [contents]

• 
  Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom. IEEE Computer Society 2010, ISBN 978-0-7695-4114-3 [contents]
• 
  Alex Simpson:
  International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. EPiC Series in Computing 12, EasyChair 2013 [contents]
• 
  Berndt Müller:
  3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010. EPiC Series in Computing 7, EasyChair 2012 [contents]
• 
  Elaine Pimentel, Betti Venneri, Joe B. Wells:
  Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. EPTCS 45, 2010 [contents]
• 
  Thomas Bolander, Torben Braüner:
  International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS 2010, Edinburgh, Scotland, UK, July 10, 2010. Electronic Notes in Theoretical Computer Science 273, Elsevier 2011 [contents]

• 
  Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA. IEEE Computer Society 2009, ISBN 978-0-7695-3746-7 [contents]
• 
  Leo Marcus:
  Proceedings of the Workshop on Logical Aspects of Fault Tolerance, LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009. Electronic Notes in Theoretical Computer Science 258(2), Elsevier 2009 [contents]

• 
  Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. IEEE Computer Society 2008, ISBN 978-0-7695-3183-0 [contents]
• 
  Andreas Abel, Christian Urban:
  Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008. Electronic Notes in Theoretical Computer Science 228, Elsevier 2009 [contents]
• 
  Daniel J. Dougherty, Santiago Escobar:
  Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008. Electronic Notes in Theoretical Computer Science 234, Elsevier 2009 [contents]

• 
  22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. IEEE Computer Society 2007, ISBN 0-7695-2908-9 [contents]
• 
  Rob van Glabbeek, Matthew Hennessy:
  Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007. Electronic Notes in Theoretical Computer Science 192(1), Elsevier 2007 [contents]

• 
  21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings. IEEE Computer Society 2006, ISBN 0-7695-2631-4 [contents]

• 
  20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings. IEEE Computer Society 2005, ISBN 0-7695-2266-1 [contents]

• 
  19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings. IEEE Computer Society 2004, ISBN 0-7695-2192-4 [contents]
• 
  Mario Coppo, Ferruccio Damiani:
  Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004. Electronic Notes in Theoretical Computer Science 136, Elsevier 2005 [contents]

• 
  18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings. IEEE Computer Society 2003, ISBN 0-7695-1884-2 [contents]
• 
  Anuj Dawar:
  Proceedings of the Fifth International Workshop on Implicit Computational Complexity, ICC@LICS 2003, Ottawa, Canada, June 26-27, 2003. Electronic Notes in Theoretical Computer Science 90, Elsevier 2003 [contents]

• 
  17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings. IEEE Computer Society 2002, ISBN 0-7695-1483-9 [contents]

LICS 2002 was part of the 2002 Federated Logic Conference (FLoC 2002)

• 
  16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings. IEEE Computer Society 2001, ISBN 0-7695-1281-X [contents]

• 
  15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000. IEEE Computer Society 2000, ISBN 0-7695-0725-5 [contents]

• 
  14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999. IEEE Computer Society 1999, ISBN 0-7695-0158-3 [contents]

• 
  Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998. IEEE Computer Society 1998, ISBN 0-8186-8506-9 [contents]

• 
  Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997. IEEE Computer Society 1997, ISBN 0-8186-7925-5 [contents]

• 
  Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996. IEEE Computer Society 1996, ISBN 0-8186-7463-6 [contents]

• 
  Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995. IEEE Computer Society 1995, ISBN 0-8186-7050-9 [contents]

• 
  Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994. IEEE Computer Society 1994, ISBN 0-8186-6310-3 [contents]

• 
  Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993. IEEE Computer Society 1993, ISBN 0-8186-3140-6 [contents]

• 
  Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June 22-25, 1992. IEEE Computer Society 1992, ISBN 0-8186-2735-2 [contents]

• 
  Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), Amsterdam, The Netherlands, July 15-18, 1991. IEEE Computer Society 1991, ISBN 0-8186-2230-X [contents]

• 
  Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990. IEEE Computer Society 1990, ISBN 0-8186-2073-0 [contents]

• 
  Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989. IEEE Computer Society 1989, ISBN 0-8186-1954-6 [contents]

• 
  Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988. IEEE Computer Society 1988, ISBN 0-8186-0853-6 [contents]

• 
  Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987. IEEE Computer Society 1987 [contents]

• 
  Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986. IEEE Computer Society 1986, ISBN 0-8186-0720-3 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-10-31 01:03 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: