#CallForPresentations #CoqPL #CoqPL2024 (Workshop on Coq for Programming Languages) "provide[s] an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team... To foster open discussion of cutting edge research which can later be published in full conference proceedings, we will not publish papers from the workshop" https://popl24.sigplan.org/home/CoqPL-2024#Call-for-Presentations #Coq #ITP #PL #POPL

#CallForPresentations closes on May 5th! #DecoupledDays the only non-profit, community-led, volunteer-run conference on CMS & commerce.

We're moving to Albuquerque on the dates of August 16 and 17!

We want to see your proposal! #Javascript #Jamstack

https://docs.google.com/forms/d/e/1FAIpQLSdE0fy2Y-NWsb4gNSbXOD6g8UZcWlyV8BZ_D11_9lXk8aLknQ/viewform

The #CFP for #FanLIS23 is now up! The theme is: “Halliday Journals and holodecks: audiences and information in sci-fi fandoms”. Deadline for submissions is 31 December 2022. All welcome! Please spread far and wide!

https://blogs.city.ac.uk/fanlis/fanlis-symposia/fanlis-2023/call-for-presentations/

#FanLIS #CallForPresentations #FanStudies #LIS #LibraryScience #InformationScience