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/ Workshop proposals deadline: 24 September 2025 (NB, very soon) https://www.floc26.org/call-for-workshops Paper submissions Abstracts: 15 January 2026 Full papers: 22 January 2026 https://lics.siglog.org/lics26/ 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>