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:
Proposals should be sent to Valentin Blot: lics23-workshops at valentinblot.org
|Workshop proposal submission deadline||30 November 2022|
|Programme of the workshops ready||24 May 2023|
|Workshops||24–25 June 2023|
|Conference||26–29 June 2023|
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.