[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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$
