[TYPES/announce] LICS 2026 Call for Workshops and First Call for Papers

[Sam Staton]

Forty-First Annual Symposium on
LOGIC IN COMPUTER SCIENCE (LICS).
Part of the FEDERATED LOGIC CONFERENCE.
Lisbon, 20–23 July 2026
https://urldefense.com/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!W8C9J02x3o1DlP-LF0LLr7EYdWDrMG5uPxT0f7FuJrcHblMkACz_1qh_XOel313VK8rBdh_Sa-ht_cgHb-44mR7DHymaKuHq-FocQA$ 

Workshop proposals deadline:
24 September 2025 (NB, very soon)
https://urldefense.com/v3/__https://www.floc26.org/call-for-workshops__;!!IBzWLUs!W8C9J02x3o1DlP-LF0LLr7EYdWDrMG5uPxT0f7FuJrcHblMkACz_1qh_XOel313VK8rBdh_Sa-ht_cgHb-44mR7DHymaKuHgt6vQrg$ 

Paper submissions
Abstracts: 15 January 2026
Full papers: 22 January 2026
https://urldefense.com/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!W8C9J02x3o1DlP-LF0LLr7EYdWDrMG5uPxT0f7FuJrcHblMkACz_1qh_XOel313VK8rBdh_Sa-ht_cgHb-44mR7DHymaKuHq-FocQA$