Added nov 8 meeting

SprocketLab · Nov 7, 2022 · f811ff5 · f811ff5
1 parent 4e73111
commit f811ff5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -51,6 +51,11 @@ <h2 id="schedule">Schedule</h2>
 	<td> <a href="https://www.ccs.neu.edu/home/amal/papers/cpscc.pdf">Type-Preserving CPS Translation of Sigma and Pi Types is Not Not Possible (POPL '18)</a>     </td>
 	<td> Nathan </td>
 </tr>
+<tr>
+	<td> November 8 </td>
+	<td> <a href="http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/IncorrectnessLogic.pdf">Incorrectness Logic (POPL '20)</a>              </td>
+	<td> Bhakti </td>
+</tr>
 </tbody>
 </table>
 

diff --git a/src/index.md b/src/index.md
@@ -19,6 +19,7 @@ For Fall 2022, PLRG meets on Tuesdays 11:30am in Crerar 354.
 | October 18 | [Staged Compilation with Two-Level Type Theory (POPL '22)](https://doi.org/10.1145/3547641) & [staged-fusion](https://github.com/AndrasKovacs/staged-fusion) | Skye   |
 | October 25 | (Staged Compilation continued)                                                                                                                               | Skye   |
 | November 1 | [Type-Preserving CPS Translation of Sigma and Pi Types is Not Not Possible (POPL '18)](https://www.ccs.neu.edu/home/amal/papers/cpscc.pdf)                   | Nathan |
+| November 8 | [Incorrectness Logic (POPL '20)](http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/IncorrectnessLogic.pdf)                                                      | Bhakti |
 
 ## Past Terms