Call for Workshops

The Thirty-Eighth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2023) will be held in Boston, US, on June 26-29, 2023. The workshops will take place on June 24-25, 2023.

Researchers and practitioners are invited to submit proposals for workshops on topics relating logic — broadly construed — to computer science or related fields. 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. Proposals should include:

• 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.
• Potential invited speakers.
• Procedures for selecting participants and papers.
• Plans for dissemination (for example, special issues of journals).
• The proposed duration, which is one or two days.
• A discussion of the proposed format and agenda.
• Expected number of participants, providing data on previous years if the workshop has already been organised in the past.

Proposals should be sent to Valentin Blot: lics23-workshops at valentinblot.org

Workshop proposal submission deadline	30 November 2022
Notification	mid-December 2022
Programme of the workshops ready	24 May 2023
Workshops	24–25 June 2023
Conference	26–29 June 2023

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG, the IEEE Technical Committee on Mathematical Foundations of Computing, the Boston University Rafik B. Hariri Institute for Computing and Computational Science & Engineering, the Boston University College of Arts & Sciences, and the Boston University Department of Computer Science.