Abstract is missing.
- A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with ExponentialStepan L. Kuznetsov. 3-16 [doi]
- Transcendental Syntax iv: Logic Without SystemsJean-Yves Girard 0001. 17-36 [doi]
- A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time SystemsMitsuhiro Okada. 39-47 [doi]
- Logic of Fusion - - Dedicated to Andre Scedrov -Dusko Pavlovic. 48-60 [doi]
- There's No Time, The Problem of Conceptualising TimeTajana Ban Kirigin, Benedikt Perak. 61-68 [doi]
- Andre and the Early Days of Penn's Logic and Computation GroupDale Miller 0001. 69-70 [doi]
- Formal Verification of Ethereum Smart Contracts Using Isabelle/HOLMaria Ribeiro, Pedro Adão, Paulo Mateus. 71-97 [doi]
- Logic and Applications - LAP MeetingZvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer. 98-100 [doi]
- Formal Methods Analysis of the Secure Remote Password ProtocolAlan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld. 103-126 [doi]
- The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security ProtocolsVincent Cheval, Steve Kremer, Itsaka Rakotonirina. 127-145 [doi]
- Assumption-Based Analysis of Distance-Bounding Protocols with cpsaPaul D. Rowe, Joshua D. Guttman, John D. Ramsdell. 146-166 [doi]
- Modelchecking Safety Properties in Randomized Security ProtocolsMatthew S. Bauer, Rohit Chadha, Mahesh Viswanathan 0001. 167-183 [doi]
- Andre ScedrovGlyn Morrill. 187-188 [doi]
- Gender Bias in Neural Natural Language ProcessingKaiji Lu, Piotr Mardziel, Fangjing Wu, Preetam Amancharla, Anupam Datta. 189-202 [doi]