We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 717d4ab commit dd67199Copy full SHA for dd67199
1 file changed
data/talks.yaml
@@ -13,7 +13,7 @@
13
2026:
14
- title: "MIR: A Formal and Minimal Intermediate Representation for Rigorous Python Program Analysis"
15
where: "IFIP WG 2.4 Meeting (Savannah)"
16
- when: "2026-03-2"
+ when: "2026-03-02"
17
materials:
18
slides: /slides/ifip26.pdf
19
0 commit comments