Welcome to Erlang’25
summary
Workshop opens with concrete counts and a packed schedule: eight submissions, five accepted, and three projected. Sessions present mechanized formal semantics and verification work (a mechanized interpreter and proofs), a tools and static-analysis track including a stop-the-world divider evaluation and an Atom-for-fault-tolerant-base-system study, and a distributed-behavior slot with moving-object and behavior-cycling papers plus lightning demos named mailboxer and a monitoring tool called with demon.
AI-written summary · about