Chapter 1 A $$\varPi _1^0$$ Π 1 0 -Bounded Fragment of Infinitary Action Logic with Exponential

Chapter 2 Transcendental Syntax iv : Logic Without Systems

Chapter 3 A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems

Chapter 4 Logic of Fusion

Chapter 5 There’s No Time, The Problem of Conceptualising Time

Chapter 6 Andre and the Early Days of Penn’s Logic and Computation Group

Chapter 7 Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL

Chapter 8 Logic and Applications - LAP Meeting

Chapter 9 Formal Methods Analysis of the Secure Remote Password Protocol

Chapter 10 The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security Protocols

Chapter 11 Assumption-Based Analysis of Distance-Bounding Protocols with cpsa

Chapter 13 Andre Scedrov

Chapter 14 Gender Bias in Neural Natural Language Processing