From 0feecfa117a20d00817b02b8b5a7efb2ed030716 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Sat, 16 Aug 2025 15:46:32 -0400 Subject: [PATCH] Added talks --- content/community/logic-group.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/content/community/logic-group.md b/content/community/logic-group.md index 91728df..d4e52f8 100644 --- a/content/community/logic-group.md +++ b/content/community/logic-group.md @@ -17,6 +17,8 @@ I presented the following: | Date | Title | | ---------- | ------------------------------------------------------------ | +| 04/23/2025 | Lean 4 as a Programming Language and Theorem Prover (along with James Oswald) | +| 03/26/2025 | What can go into a classical planning model? | | 12/04/2024 | An Introduction to Situation Calculus (along with James Oswald) | | 10/16/2024 | Alternative Theories of Uncertainty: Dempster-Shafer and Possibility Theory | | 03/27/2024 | CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation |