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/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
