2023
an archive of posts from this year
| Oct 30, 2023 | University of Freiburg |
|---|---|
| Oct 19, 2023 | The Wonderful World of Colors (Reprise) |
| Oct 05, 2023 | Workshop “SAT Encodings and Beyond” |
| May 10, 2023 | Extended Reunion: Satisfiability |
| Mar 19, 2023 | The Internals of Computers |
| Jan 16, 2023 | Encryption for Kids |