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

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