[TYPES/announce] LICS 2025 Call for Papers and Call for Workshops

[Sam Staton]

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://urldefense.com/v3/__https://lics.siglog.org/lics25__;!!IBzWLUs!T0sU9JDzaETXRnTHlSiD29IJqwFO8D79tyWQYKYuR5K2csF5-QmCGK7LWzeMQqVY92USL9HiMIWvgLEOA4ebwFnR-pjO3dCvzbSlHQ$ 
https://urldefense.com/v3/__https://lics.siglog.org/lics25/cfp.php__;!!IBzWLUs!T0sU9JDzaETXRnTHlSiD29IJqwFO8D79tyWQYKYuR5K2csF5-QmCGK7LWzeMQqVY92USL9HiMIWvgLEOA4ebwFnR-pjO3dDe12f6cA$ 
https://urldefense.com/v3/__https://lics.siglog.org/lics25/cfw.php__;!!IBzWLUs!T0sU9JDzaETXRnTHlSiD29IJqwFO8D79tyWQYKYuR5K2csF5-QmCGK7LWzeMQqVY92USL9HiMIWvgLEOA4ebwFnR-pjO3dDfADNSdw$ 
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://urldefense.com/v3/__https://lics.siglog.org/lics25/cfp.php__;!!IBzWLUs!T0sU9JDzaETXRnTHlSiD29IJqwFO8D79tyWQYKYuR5K2csF5-QmCGK7LWzeMQqVY92USL9HiMIWvgLEOA4ebwFnR-pjO3dDe12f6cA$ . 

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.