[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]LICS 2025: Fortieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) 23–26 June 2025 https://urldefense.com/v3/__https://lics.siglog.org/lics25/__;!!IBzWLUs!TYByOzL2Jrg5j3lCTTtj3TURD6E8qgrwwrWwASN6aZwmIBxMIRyeypYmcDD02pu5sDGi9iweaxgJzqu67ZTrzN0XMjk04vY0bo4utw$ NB Early registration ends 1 May 2025 23:59 Singapore Time (UTC+8). * Registration: https://urldefense.com/v3/__https://register.comp.nus.edu.sg/LICS2025/__;!!IBzWLUs!TYByOzL2Jrg5j3lCTTtj3TURD6E8qgrwwrWwASN6aZwmIBxMIRyeypYmcDD02pu5sDGi9iweaxgJzqu67ZTrzN0XMjk04vaOR9i2ew$ * Local information: https://urldefense.com/v3/__https://lics.siglog.org/lics25/local.php__;!!IBzWLUs!TYByOzL2Jrg5j3lCTTtj3TURD6E8qgrwwrWwASN6aZwmIBxMIRyeypYmcDD02pu5sDGi9iweaxgJzqu67ZTrzN0XMjk04vbpPBl2gg$ * Invited talks and tutorials from Anuj Dawar, Rustan Leino, Christine Tasson, Hongseok Yang * List of accepted papers: https://urldefense.com/v3/__https://lics.siglog.org/lics25/accepted.php__;!!IBzWLUs!TYByOzL2Jrg5j3lCTTtj3TURD6E8qgrwwrWwASN6aZwmIBxMIRyeypYmcDD02pu5sDGi9iweaxgJzqu67ZTrzN0XMjk04vaQmCi9pA$
