diff --git a/content/community/logic-group.md b/content/community/logic-group.md
index b44c6f9..b3112b6 100644
--- a/content/community/logic-group.md
+++ b/content/community/logic-group.md
@@ -15,34 +15,38 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic-
 
 I presented the following:
 
-01/31/2024: An original talk titled "Planning under Qualitative Uncertainty - Initial Thoughts"
+12/04/2024: An Introduction to Situation Calculus (along with James Oswald)
 
-01/24/2024: An original talk titled "Spectra: STRIPS-Inspired AI Planner based on Automated Reasoning"
+10/16/2024: Alternative Theories of Uncertainty: Dempster-Shafer and Possibility Theory
 
-10/25/2023: An original talk titled "Introduction to Goal Recognition as Planning"
+03/27/2024: CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation
 
-10/18/2023: Workshop along with James Oswald titled "RAIR Lab Software Overview"
+01/31/2024: Planning under Qualitative Uncertainty - Initial Thoughts
 
-10/4/2023: An original talk on "Syntactic AC Unification"
+01/24/2024: Spectra: STRIPS-Inspired AI Planner based on Automated Reasoning
 
-03/22/2023: Original Tutorial on ["Automated Theorem Proving with TPTP"](https://github.com/Brandon-Rozek/TPTP-Examples)
+10/25/2023: Introduction to Goal Recognition as Planning
 
-02/08/2023: Original Tutorial on ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/)
+10/18/2023: RAIR Lab Software Overview Workshop (along with James Oswald)
 
-02/01/2023: Original Tutorial on ["Interactive Theorem Proving with Lean Part 1"](/blog/lean3-tutorial/)
+10/4/2023: Syntactic AC Unification
 
-05/11/2022:
-[The Power of Waiting in Social Laws](https://icaps21.icaps-conference.org/workshops/KEPS/Papers/KEPS_2021_paper_14.pdf) by Alexander Tuisov, Alexander Shleyfman, and Erez Karpas.
+09/06/2023: Hierarchical Reinforcement Learning under Partial Observability with a Discovery Planning Model
 
-06/01/2022:
-[AI Planning Annotation for Sample Efficient Reinforcement Learning](https://arxiv.org/pdf/2203.00669) by Junkyu Lee, Michael katz, Don Joven Agravante, Miao Liu, Geraud Nangue Tasse, Tim Linger, Shirin Sohrabi.
+03/22/2023: ["Automated Theorem Proving with TPTP Workshop"](https://github.com/Brandon-Rozek/TPTP-Examples)
 
-06/28/2022: [Landmark-based heuristic online contingent planning](https://link.springer.com/article/10.1007/s10458-018-9389-9) by Shlomi Maliah, Guy Shani, and Ronen L. Brafman.
+02/08/2023: ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/)
+
+02/01/2023: ["Interactive Theorem Proving with Lean Part 1"](/blog/lean3-tutorial/)
+
+10/19/2022: [Evaluation of the Moral Permissibility of Action Plans](https://gki.informatik.uni-freiburg.de/papers/lindner-etal-aij2020.pdf) by Felix Lindner, Robert Mattmuller, and Bernhard Nebel
+
+09/14/2022: [Planning Modulo Theories: Extending the Planning Paradigm](https://ojs.aaai.org/index.php/ICAPS/article/download/13505/13354) by Peter Gregory, Derek Long, Maria Fox, and J. Christopher Beck.
 
 08/03/2022: [Coming Up with Good Excuses: What To Do When No Plan Can be Found](https://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/viewFile/1453/1532) by Moritz Gobelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner, and Bernhard Nebel.
 
-09/14/2022: [Planning Modulo Theories: Extending the Planning Paradigm](https://ai.dmi.unibas.ch/papers/goebelbecker-et-al-icaps2010.pdf) by Peter Gregory, Derek Long, Maria Fox, and J. Christopher Beck.
+06/28/2022: [Landmark-based heuristic online contingent planning](https://link.springer.com/article/10.1007/s10458-018-9389-9) by Shlomi Maliah, Guy Shani, and Ronen L. Brafman.
 
+06/01/2022: [AI Planning Annotation for Sample Efficient Reinforcement Learning](https://arxiv.org/pdf/2203.00669) by Junkyu Lee, Michael katz, Don Joven Agravante, Miao Liu, Geraud Nangue Tasse, Tim Linger, Shirin Sohrabi.
 
-10/19/2022: [Evaluation of the Moral Permissibility of Action Plans](https://gki.informatik.uni-freiburg.de/papers/lindner-etal-aij2020.pdf)
-by Felix Lindner, Robert Mattmuller, and Bernhard Nebel.
\ No newline at end of file
+05/11/2022: [The Power of Waiting in Social Laws](https://icaps21.icaps-conference.org/workshops/KEPS/Papers/KEPS_2021_paper_14.pdf) by Alexander Tuisov, Alexander Shleyfman, and Erez Karpas.