23–26 June 2025
https://lics.siglog.org/lics25/
NB Early registration ends 1 May 2025 23:59 Singapore Time (UTC+8).
* Registration: https://register.comp.nus.edu.sg/LICS2025/
* Local information: https://lics.siglog.org/lics25/local.php
* Invited talks and tutorials from Anuj Dawar, Rustan Leino, Christine Tasson, Hongseok Yang
* List of accepted papers: https://lics.siglog.org/lics25/accepted.php
**********************************************************
*
* 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
