brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-11-21 15:56:29 -05:00
Code Issues Projects Releases Packages Wiki Activity

Updated logic group page with latest talk

Browse source
This commit is contained in:
Brandon Rozek 2023-02-01 19:36:10 -05:00
parent b87b43381d
commit 8a93e4fb70
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
content/community/logic-reading-group.md → content/community/logic-group.md
View file

@ -1,15 +1,21 @@
---
title: Logic Reading Group
title: RPI Logic Group
description: Presentations I gave at the RAIR Lab logic reading group.
aliases:
- /community/logic-reading-group
---
We hold the NY Capital Region Logic Reading Group every Wednesday at the
We hold the NY Capital Region Logic Reading Group Wednesdays at the
Rensselaer AI & Reasoning lab.
I aim to give one presentation a month.
We have a website listing the upcoming talk and past talks
given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic-group/)
## Talks Given
I presented the following papers:
I presented the following:
02/01/2023: Original Tutorial on Interactive Theorem Proving with Lean Part 1
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.