From dd01fbbe81f17532fb6567c14cd3b83308408f5f Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 4 Oct 2017 14:03:24 +0100 Subject: [PATCH] Update 2017-08-12-cade.md --- _posts/2017-08-12-cade.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_posts/2017-08-12-cade.md b/_posts/2017-08-12-cade.md index cbd9852..7c5f9af 100644 --- a/_posts/2017-08-12-cade.md +++ b/_posts/2017-08-12-cade.md @@ -4,7 +4,7 @@ title: Invited paper at the 26th International Conference on Automated Reasoning Philippa Gardner was one of the invited speakers at the this year’s [CADE conference](http://www.cade-26.info/), held in Gothenburg, Sweden, on 6-11 August 2017. -Philippa presented an invited paper, ‘Towards Logic-based Verification of JavaScript Programs’](https://link.springer.com/chapter/10.1007/978-3-319-63046-5_2), +Philippa presented an invited paper, [‘Towards Logic-based Verification of JavaScript Programs’](https://link.springer.com/chapter/10.1007/978-3-319-63046-5_2), jointly written with [José Fragoso Santos](https://psvg.doc.ic.ac.uk/people/fragoso-santos.html), [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/) and [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/) @@ -13,4 +13,4 @@ It also highlights the difficulties imposed by the language and the current stat The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. -The conference, first established in 1974 is held under the aegis of the [Association for Automated Reasoning (AAR)](http://www.aarinc.org) +The conference, first established in 1974 is held under the aegis of the [Association for Automated Reasoning (AAR)](http://www.aarinc.org) \ No newline at end of file -- GitLab