[TYPES/announce] LICS 2025 Call for Participation

[Sam Staton]

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$