Call for Nominations: Editor-In-Chief Formal Aspects of Computing

2025-03-01

Book Review: Understanding Programming Languages

2024-10-01

FM 2026: Announcement

2024-09-16

FormaliSE 2024 & 2025

2024-07-05

FM 2026: Call for Organisers

2024-04-12

Book Review: Program Proofs

2023-11-16

Book Review: Verified Functional Programming in Agda

2023-06-15

Book Review: Principles of Cyber-Physical Systems

2023-03-22

Book Review: Functional Algorithms, Verified!

2022-12-02

CfP FormaliSE 2023

2022-11-07