#lics2025 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lics2025, aggregated by home.social.
-
-
My paper 'Semantical Analysis of Intuitionistic Modal Logics between CK and IK', with Jim de Groot and Ian Shillito, is now in its final edited preprint form: https://arxiv.org/abs/2408.00262 . I will travelling to #LICS #LICS2025 to present it in Singapore in late June. #logic #modalLogic
-
Is it just me or does the #LICS2025 website https://lics.siglog.org/lics25/ not list how much the conference costs (or a list of associated workshops)? Does anyone have this info? #LICS
-
#LICS #LICS2025 accepted papers are now announced: https://lics.siglog.org/lics25/accepted.php . My colleagues are impressed that there remains computer science venues which haven't been taken over by papers about LLMs yet. #logic