#LICS

@shizuokadays.bsky.social

6 months ago

ファッションプラザパシオスで可愛いキャラクター＆キッズ特集が開催！ 9月3日から7日までパシオスで開催される「みんな大好きキャラクター＆キッズ・ベビー特集」。色々なキャラクターアイテムや、ガーリーファッションを楽しめます！

ファッションプラザパシオスで可愛いキャラクター＆キッズ特集が開催！ #サンリオ #ハイキュー #LICS

9月3日から7日までパシオスで開催される「みんな大好きキャラクター＆キッズ・ベビー特集」。色々なキャラクターアイテムや、ガーリーファッションを楽しめます！

1 0 0 0

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

8 months ago

A bearded man stands next to a sign that reads 'NUS School of Computing'. Some tropical plants can be seen behind / above it.

Enjoying my time at #LICS in #NUS (Singapore). Dealing with the heat + humidity better than I thought I would.

0 0 0 0

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

8 months ago

Leaving icy Canberra for tropical Singapore today, for the #LICS conference #LICS2025

0 0 0 0

IISD Economies

@economies.iisd.org

9 months ago

Building on strong momentum from the Spring Meetings and ahead of #FfD4, we are hosting a webinar on June 12 to launch the Debt for Resilience initiative, an innovative framework focused on restoring #LICs’ long-term debt sustainability.

Register for the event ➡️ iisd-elp.zoom.us/webinar/regi...

5 3 0 0

International Institute for Sustainable Development

@iisd.org

9 months ago

📄 In the latest explainer from @economies.iisd.org , Anahí Wiedenbrüg and Yanne Horas diagnose current debt vulnerabilities faced by #LICs and introduce the #Debt4Resilience initiative, and innovative framework focused on long-term external debt sustainability.

Read here ➡️ buff.ly/D8ws8zH

0 0 0 0

International Institute for Sustainable Development

@iisd.org

10 months ago

📄 In our latest explainer, Anahí Wiedenbrüg and Yanne Horas diagnose current debt vulnerabilities faced by #LICs & introduce the #Debt4Resilience initiative, and innovative framework focused on long-term external debt sustainability.

Read here ➡️ buff.ly/fyQVWXq

#DebtRelief #SustainableDevelopment

3 0 0 0

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

10 months ago

Semantical Analysis of Intuitionistic Modal Logics between CK and IK The intuitionistic modal logics considered between Constructive K (CK) and Intuitionistic K (IK) differ in their treatment of the possibility (diamond) connective. It was recently rediscovered that some logics between CK and IK also disagree on their diamond-free fragments, with only some remaining conservative over the standard axiomatisation of intuitionistic modal logic with necessity (box) alone. We show that relational Kripke semantics for CK can be extended with frame conditions for all axioms in the standard axiomatisation of IK, as well as other axioms previously studied. This allows us to answer open questions about the (non-)conservativity of such logics over intuitionistic modal logic without diamond. Our results are formalised using the Coq Proof Assistant.

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

0 0 1 0

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

10 months ago

LICS 2025

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

0 0 0 0

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

11 months ago

LICS 2025

#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 LLMs yet. #logic

0 0 0 0

Achim Steiner

@achimsteiner.bsky.social

1 year ago

As the #G20 Finance Ministers and Central Bank Governors meet, debt servicing is on the agenda - but is it high enough?

UNDP's new policy brief shows unsustainable debt levels on #LICs illustrating an urgency to avert debt vs development trade-offs.

🔗 go.undp.org/3TN

0 0 0 0