#imla — Public Fediverse posts

The deadline for submission of abstracts to #IMLA (Intuitionistic Modal Logic and Applications) has been extended to 30 April. It would be great if I were to see some of you there (at least, at the banquet for that weekend's #FLoC workshops).

"Constructive and intuitionistic modal logics, and their connections with type theory and computation, remain foundationally and practically significant in computer science, logic, and related areas. These include applications in type disciplines, meta-logics for computational phenomena, and explanatory frameworks in philosophical logic. The workshop aims to explore theoretical and methodological issues at the intersection of constructive proof theory and modal semantics, as well as practical questions about which modal connectives and rules best capture computational phenomena at appropriate levels of abstraction."

**Invited speakers**
- Danel Ahman (University of Tartu, Estonia)
- Brigitte Pientka (McGill University, Montreal, Canada)
- Ranald Clouston (ANU, Canberra, Australia)
- More to be confirmed

https://sonia-marin.github.io/imla26/

#ModalLogic #IntuitionisticLogic #Logic

The Orange Turd's #ExecutiveOrder cutting funding to #IMLA is so spiteful & useless
🤬🙄
#Libraries & #Museums are already under pressure from dwindling state revenues.

Let yr Congress critter know what a #Library has done for you here...

https://oneclickpolitics.global.ssl.fastly.net/messages/edit

“N’apacağını bilmiyor kimse. Türk Dil Kurumu’nun imlasını mı kabul edecekler, eski Türk Dil Kurumu’ndakilerinkini mi, Dil Derneği mi, Necmiye Alpay mı? Yüz kere, bin kere konuşuldu bunlar. Bir şey olmadı.”

İmlada Şefkat Devrimi

Tuba Nur Bakaçhan yazdı: https://manifold.press/imlada-sefkat-devrimi

#dil #Türkçe #TubaNurBakaçhan #manifold #ManifoldPress #imla