Invited talk, 26th International Conference on Automated Reasoning (CADE).

Philippa Gardner was one of the invited speaker at this year’s CADE conference, which was held in Gothenburg, Sweden, on 6-11 August 2017.

Philippa gave a talk entitled ‘Towards Logic-based Verification of JavaScript Programs’.

The conference on Automated Deduction (CADE), first established in 1974 is the major international forum for research on all aspects of automated deduction and is held under the aegis of the Association for Automated Reasoning (AAR)