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

How to Shift to, Grow, and Build Circular Economy
#Business #CircleEconomy #Sustainability #ShiftGrowBuild #CircularityGap #GlobalReport #PolicyReforms #EPR #IISD #LICs #MICs #GreenEducation #RightToRepair #Deloitte #ExtendedProducerResponsibility
https://the-14.com/how-to-shift-to-grow-and-build-circular-economy/

#CallForPapers is out for #LICS #LIC2024 (Logic in Computer Science) in beautiful Tallinn: "an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed" https://lics.siglog.org/lics24/ #logic