Report on Logic in Computer Science (LICS'23)
Abstract
Th 38th Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS), took place at Boston University, Boston, USA, from June 26 to June 29, 2023, with co-located events taking place on June 24 and June 25. Five workshops were co-located with LICS 2023: combinatorial games in finite model theory, the decision problem in first order logic, international workshop on quantitative logical method, structure meets power, and the logic mentoring workshop.
Index Terms
- Report on Logic in Computer Science (LICS'23)
Index terms have been assigned to the content through auto-classification.
Recommendations
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
October 2023
52 pages
Copyright © 2023 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 04 December 2023
Published in SIGLOG Volume 10, Issue 4
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 27Total Downloads
- Downloads (Last 12 months)27
- Downloads (Last 6 weeks)1
Reflects downloads up to 14 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in