Update index.md

the-au-forml-lab · Sep 26, 2024 · 13fa4c5 · 13fa4c5
1 parent 7f5ff25
commit 13fa4c5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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                                                   |