From 13fa4c58873d7fe0610af82294d8b15849dee06e Mon Sep 17 00:00:00 2001 From: Neea <2580981+nkrusch@users.noreply.github.com> Date: Thu, 26 Sep 2024 13:16:18 -0400 Subject: [PATCH] Update index.md --- docs/index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/index.md b/docs/index.md index 262b8d1..0bca1d0 100644 --- a/docs/index.md +++ b/docs/index.md @@ -27,9 +27,9 @@ Our tools for paper selection: [plgroup on Github](https://github.com/the-au-for | 2. | September 6 | Simple Reference Immutability for System F <: | | 3. | September 13 | Polymorphic Type Inference for Dynamic Languages | | 4. | September 20 | A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized | -| 5. | September 27 | Fat Pointers for Temporal Memory Safety of C | -| 6. | October 4 | A Pretty Expressive Printer | -| 7. | October 11 | Paper 7 discussion | +| 5. | September 27 | ⚠️ _meeting cancelled for bad weather_ ⚠️ +| 6. | October 4 | Fat Pointers for Temporal Memory Safety of C | +| 7. | October 11 | A Pretty Expressive Printer | | 8. | October 18 | Paper 8 discussion | | 9. | October 25 | Paper 9 discussion | | 10. | November 1 | Paper 10 discussion |