@acp.mastodon.acm.org.ap.brid.gyLuc Edixhoven (https://luc.edixhoven.eu) joins ACP/FORM as a postdoc. He will be working with @fmontesi on choreographies and their formalisation.
#programmingLanguages #concurrency #choreographicProgramming #formalization #formalMethods #FORM
@miningir.bsky.social🚀 Artisanal Gold Mining Communities Push Back Against Formalization Programs
🔎 Read the full update:
➡️https://miningir.com/artisanal-gold-mining-communities-push-back-against-formalization-programs/
#ArtisanalGoldMining #ASMs #SmallScaleMining #Formalization #MiningPolicy #ResponsibleSou