From 33ce1ec62ab6a8ba0061ac465109fbb5d8b0f66a Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 4 Nov 2020 10:35:17 +0000 Subject: [PATCH] Add new file --- _posts/2020-11-04-codemeshtalk.md | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 _posts/2020-11-04-codemeshtalk.md diff --git a/_posts/2020-11-04-codemeshtalk.md b/_posts/2020-11-04-codemeshtalk.md new file mode 100644 index 0000000..c863b4f --- /dev/null +++ b/_posts/2020-11-04-codemeshtalk.md @@ -0,0 +1,8 @@ +--- +title: Talk at Code Mesh, Philippa Gardner +--- + +Philippa will be one of the speakers at this year’s [Code Mesh](https://codesync.global/conferences/code-mesh-ldn/#Schedule), +a two-day conference on functional programming languages and alternative tech. + +[The talk, on Gillian](https://codesync.global/speaker/philippa-a-gardner/), will give a general introduction to the multi-language platform for symbolic program analysis and its instantiation to JavaScript and C. \ No newline at end of file -- GitLab