joshuagrochow
/
s24-logiccomplexity
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated 3/18 and 4/1

This commit is contained in:
joshuagrochow 2024-04-02 03:48:11 +00:00
parent 0379708370
commit 43d2b3b081
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -22,9 +22,9 @@ Many of the topics are independent from one another; where there are dependencie
- 26 Feb 2024: [RESCHEDULED due to illness]
- 4 Mar 2024: Intro to Lean (Tarek Tohme, ENS) (Resources: [Patrick Massot's Glimpse of Lean](https://github.com/PatrickMassot/GlimpseOfLean), see [Learning Lean 4](https://leanprover-community.github.io/learn.html) for more)
- 11 Mar 2024: Formalizing Turing machines in Lean ([Jon Z. Cai](https://www.colorado.edu/cs/jon-z-cai)) (will assume the previous week as background)
- 18 Mar 2024: TBD
- 18 Mar 2024: Discussion session
- 25 Mar 2024: NO MEETING (Spring Break)
- 1 Apr 2024: Chapter 6 of [Feasible Computations and Provable Complexity Properties by Hartmanis](https://doi.org/10.1137/1.9781611970395) ([Ben Little](https://github.com/littlebenlittle))
- 1 Apr 2024: Cancelled
- 8 Apr 2024: [Quantum Computation as Geometry by Nielsen, Dowling, Gu, & Doherty](https://doi.org/10.1126/science.1121541) ([arXiv](https://arxiv.org/abs/quant-ph/0603161)) ([Matthew Fox](https://www.matthewfoxphysics.com/))
- 15 Apr 2024: [Accattoli & Dal Lago. Beta Reduction is Invariant, Indeed](https://arxiv.org/abs/1405.3311) (Lucy Pipkorn)
- 22 Apr 2024: Realizability theory