Algorithms, Complexity, Verification: from Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape
Bisimulation Games Played in Fibered Categories
The Joy of Automata
On the Effectiveness of Logic in Algorithmic Graph Theory
Natural Autoencoding
From Kochen-Specker to Feder-Vardi and Weisfeiler-Leman
Strategy Logic: Origin, Results, and Open Questions
Checking Legal Contracts - on a Not so Usual Application of Mechanized Logic
Little Tricky Logic: Misconceptions in the Understanding of LTL