Call for Workshops

The Fortieth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2025) will be held in Singapore, June 23-26, 2025. The workshops will take place on 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, 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 participants and papers (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 (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 data on previous years if the workshop has already been organised in the past

Workshop proposal submission deadline:	30 November 2024
Notification	December 2024
Programme of the workshops ready	26 May 2025
Conference	23–26 June 2023
Workshops	27–28 June 2023

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.