The Coq mailing list

[Sam Staton <sam.staton AT cs.ox.ac.uk>]

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
https://lics.siglog.org/lics25/cfp.php
https://lics.siglog.org/lics25/cfw.php
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://lics.siglog.org/lics25/cfp.php. 

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.