All conferences / LiCS / 2025
LiCS 2025
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)
Submission timeline
- 16 Jan 2025 Abstract registration AoE
- 23 Jan 2025 Full paper AoE
- 8 Apr 2025 Notification
- 23 Jun 2025 Conference opens
What to submit
- Format
- 12 pages IEEE + references
- Proceedings
- ACM SIGPLAN Proceedings — ACM Digital Library
Double-blind (since 2020). Author Feedback/Rebuttal: 17-20 March 2025. Deadlines are firm. An award in honor of the late Stephen C. Kleene will be given for the best student paper(s), as judged by the program committee. Around 10% of accepted papers will be selected as distinguished papers. Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science.
Call for papers
- As first published LiCS-2025.txt · TXT · shown below
The call, as published
Reproduced verbatim from the organisers’ announcement. The conference’s own page is at lics.siglog.org/lics25/.
CALL FOR PAPERS and CALL FOR WORKSHOP PROPOSALS. Here is both a call for papers (deadline 16/23 Jan) and a call for workshop proposals (30 Nov) for LICS 2025 (June 2025). Fortieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Singapore, June 2025 https://lics.siglog.org/lics25/ Conference: 23-26 June 2025. Workshops: 27 and 28 June 2025. SCOPE The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification. -- LICS CALL FOR PAPERS IMPORTANT DATES FOR PAPERS Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the full paper. The exact deadline time on these dates is anywhere on earth (AoE). Titles and Short Abstracts Due: 16 January 2025 AoE Full Papers Due: 23 January 2025 AoE Author Feedback/Rebuttal Period: 17-20 March 2025 Author Notification: 8 April 2025 Conference: 23-26 June 2025. Workshops: 27 and 28 June 2025. Submission deadlines are firm; late submissions will not be considered. All submissions will be electronic via easychair. PAPER SUBMISSION INSTRUCTIONS Submissions should use IEEE Proceedings 2-column 10pt format and may be at most 12 pages, excluding references. Formatting instructions, latex style files and further submission information is at https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flics.siglog.org%2Flics25%2Fcfp.php&data=05%7C02%7Cconcurrency%40listserver.tue.nl%7Cf8d92a25eed24f0523a508dcdf0e380e%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638630499427583059%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=a6yoETGkn%2F6MzLkXPuRJzFkpgnsc%2F7cr9GG0NblPyW8%3D&reserved=0. LICS 2025 will use a lightweight double-blind reviewing process. Please see the website for further details and requirements from the double-blind process. The official publication date may differ from the first day of the conference. The official publication date may affect the deadline for any patent filings related to published work. We will clarify the official publication date in due course. Programme chairs: Lars Birkedal and Barbara König. -- LICS CALL FOR WORKSHOPS IMPORTANT DATES FOR WORKSHOPS: Submission of workshop proposals: November 30, 2024 Notification of the accepted workshops: December, 2024 Program of the workshops ready: May 26, 2025 LICS conference: June 23-26, 2025 Workshops: June 27-28, 2025 We invite proposals for workshops on topics of interest to the LICS conference. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. LICS workshops do not usually produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. The conference will provide a room, internet connection and help with some local organization. The workshops selection committee consists of the LICS Workshops Chair (Valentin Blot), the LICS General Chair, the LICS PC Chairs and the LICS Conference Chairs. Proposals must be limited to three pages, should be submitted to lics25-workshops at valentinblot.org and should include: - Workshop's name and URL if already available or from previous years - A short scientific summary and justification of the proposed topic; this should include a discussion of the particular benefits of the topic to the LICS community - A list of workshop organizers with contact information - Potential invited speakers (how many you would expect and, if possible, tentative names) - Procedures for selecting presentations (if you plan a call for contributed talks or papers followed by a selection procedure, the submission date should be scheduled after the conference's notification date - Apr 8, 2025 - and the notification should take place before the early registration deadline - late April / early May) - Plans for dissemination, if any (e.g. proceeding, journal special issue, etc.) - Proposed format and agenda (e.g. paper presentations, tutorials, demo sessions) - The proposed duration (e.g. 1/2, 1, 2 day(s)) - Expected number of participants, providing some data on previous years, if the workshop has already been organised in the past.