brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-08-19 13:12:00 +00:00
Code Issues Projects Releases Packages Activity

Added talks

Browse source
This commit is contained in:
Brandon Rozek 2025-08-16 15:46:32 -04:00
parent de6123212e
commit 0feecfa117
No known key found for this signature in database
GPG key ID: DFB0E78F805F4567
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
content/community/logic-group.md
View file

@ -17,6 +17,8 @@ I presented the following:
| Date | Title | | 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) | | 12/04/2024 | An Introduction to Situation Calculus (along with James Oswald) |
| 10/16/2024 | Alternative Theories of Uncertainty: Dempster-Shafer and Possibility Theory | | 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 | | 03/27/2024 | CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation |