#callforabstracts — Public Fediverse posts

Abstract deadline for the Crossref Annual Meeting is Friday, 4 September.

If you've used our metadata, tools, or APIs in your work, or you have a story about your organisation's journey with Crossref, we'd like to hear from you.

🔗https://www.crossref.org/crossref-annual-meeting/
#Crossref2026 #callforabstracts #Metadata

Good infrastructure is patient work. It is built by people like you.

The call for abstracts for the Crossref annual meeting and board election is open until 4 September. Short talks are welcome from every part of the community — members, users, researchers, librarians, and developers.

Submit today: https://www.crossref.org/crossref-annual-meeting/
#Crossref2026 #callforabstracts #Metadata

Good infrastructure is patient work. What does that look like where you are? Tell us in a 5–7-minute talk at the Crossref annual meeting and board election. Submit by 4 September: https://www.crossref.org/crossref-annual-meeting/ #Crossref2026 #callforabstracts #CFA #Metadata

The call for abstracts for #Crossref2026 is open. Share your work at the Crossref annual meeting and board election, online, 22 October. Talks are 5–7 minutes. Submit by 4 September: https://www.crossref.org/crossref-annual-meeting/ #Crossref2026 #callforabstracts #CFA #Metadata

8th Workshop on Intuitionistic Modal Logic and Applications (IMLA)
24–25 July 2026, Lisbon, Portugal
Affiliated with the Federated Logic Conference (FLoC 26)
https://sonia-marin.github.io/imla26/

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**
- Brigitte Pientka (McGill University, Montreal, Canada)
- Ranald Clouston (ANU, Canberra, Australia)
- More to be confirmed.

**Submissions**
We invite abstracts for contributed talks of up to *2 pages* (excluding bibliography). They may describe published work, unpublished work, or work in progress. We especially encourage submissions from students and early-career researchers.

Abstracts should be submitted via the workshop’s submission page:
https://submissions.floc26.org/imla/

(ctd)

#Logic #ModalLogic #CallForAbstracts

#PiDay is a great day to submit your sessions to our 2023 #CFP. We have just over 250 submissions now, so hitting 314 before the end of the day is within reach. Join us!

https://www.techbash.com/#CallForSpeakers

#callforspeakers #callforpapers #callforabstracts #devconference #build2023 #mvpbuzz #devEvents #developers #cloud