diff --git a/_posts/2018-01-15-galois.md b/_posts/2018-01-15-galois.md deleted file mode 100644 index 3f0822b918af828866a7639ac412f38bb8ce88b0..0000000000000000000000000000000000000000 --- a/_posts/2018-01-15-galois.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -title: Tech talk at Galois, Portland, JaVerT: a JavaScript Verification Toolchain ---- - -Philippa Gardner gave a talk at [Galois,](https://galois.com/research-development/) \ No newline at end of file