Forty-First Annual Symposium on
LOGIC IN COMPUTER SCIENCE (LICS).
Part of the FEDERATED LOGIC CONFERENCE.
Lisbon, 20–23 July 2026
https://lics.siglog.org/lics26/<https://url.au.m.mimecastprotect.com/s/U2GkC6XQ68frD87ArfmiDt58VCo?domain=lics.siglog.org>

Workshop proposals deadline:
24 September 2025 (NB, very soon)
https://www.floc26.org/call-for-workshops<https://url.au.m.mimecastprotect.com/s/HeE_C71R63CAqo2xAfNsBtoRxLb?domain=floc26.org>

Paper submissions
Abstracts: 15 January 2026
Full papers: 22 January 2026
https://lics.siglog.org/lics26/<https://url.au.m.mimecastprotect.com/s/U2GkC6XQ68frD87ArfmiDt58VCo?domain=lics.siglog.org/>


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>