From 4e3a2566b3966378cdfa06e4b884787ee0fc9be4 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Tue, 31 Oct 2023 01:33:26 -0400 Subject: [PATCH] Added new talks --- content/community/logic-group.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/content/community/logic-group.md b/content/community/logic-group.md index f2cb880..f3dd870 100644 --- a/content/community/logic-group.md +++ b/content/community/logic-group.md @@ -15,6 +15,12 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic- I presented the following: +10/25/2023: An original talk titled "Introduction to Goal Recognition as Planning" + +10/18/2023: Workshop along with James Oswald titled "RAIR Lab Software Overview" + +10/4/2023: An original talk on "Syntactic AC Unification" + 03/22/2023: Original Tutorial on ["Automated Theorem Proving with TPTP"](https://github.com/Brandon-Rozek/TPTP-Examples) 02/08/2023: Original Tutorial on ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/)