2018

• International Congress on Mathematical Software (ICMS): July 2018.
University of Notre Dame, Indiana, USA. Conference website.
I am sole organiser for the Maching Learning for Mathematical Software Session,
and co-organiser of the SC2 Session.
I gave an overview talk in the Machine Learning for Mathematical Software Session.
Slides.
I talked in the SC2 Session on TheoryGuru: A Mathematica Package to apply Quantifier Elimination Technology to Economics.
Slides.

• International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning (SAT/SMT/AR Summer School 2018): July 2018.
University of Manchester, Manchester, U.K. Conference website.
I gave a 90 minute lecture on Cylindrical Algebraic Decomposition.
Slides.

• Symbolic Methods for Biological Networks (SYMBIONT): March 2018.
University of Bonn, Bonn, Germany. Conference website.
I gave a talk titled Symbolic computation to determine parameter regions for multistaionarity in models of the MAPK network.
Presentation Slides.

2017

• International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS): November 2017.
University of Applied Sciences Technikum Wien, Vienna, Austria. Conference website.
I gave a talk titled The Potential and Challenges of CAD with Equational Constraints for SC-Square.
Presentation Slides.

• International Symposium on Symbolic and Algebraic Computation (ISSAC): July 2017.
University of Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, Germany. Conference website.
I gave a talk titled A Case Study on the Parametric Occurrence of Multiple Steady States..
Presentation Slides.

• Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2): July 2017.
University of Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, Germany. Conference website.
I was General co-Chair of the Workshop..

• Workshop on Symbolic Methods for Computational Biology and Medicine: June 2017
French Embassay, Berlin, Germany.
Invited to give a talk on Symbolic Computation to determine parameter regions for multistationarity for models of the MAPK network. Presentation Slides.

2016

• International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC): September 2016.
Timisoara, Romania. Conference website.
I gave a talk titled Using machine learning to decide when to precondition Cylindrical Algebraic Decomposition with Groebner Bases.
Presentation Slides.

• International Workshop on Computer Algebra in Scientific Computing (CASC): September 2016.
Bucharest, Romania. Conference website.
I gave a talk titled The complexity of cylindrical algebraic decomposition with respect to polynomial degree in a special session themed around the the SC2 project.
Presentation Slides.

• Oxford Applied Algebra Day: June 2016
University of Oxford, Oxford, UK.
Invited to give a short talk in this mini-workshop (slides) and panel discussion on the development of a UK Applied Algebra Network.

• The International Symposium on Symbolic and Algebraic Computation (ISSAC): July 2015.
University of Bath, Bath, UK. Conference website.
I was a Local Organiser, Webmaster and Exhibitors Chair for this conference.
I gave a talk on Improving the Use of Equational Constraints for Cylindrical Algebraic Decomposition. Presentation Slides.

• Parallel Symbolic Computation Workshop (PASCO): July 2015.
University of Bath, Bath, UK. Conference website.
I was a Local Organiser at this conference.

• Conferences on Intelligent Computer Mathematics (CICM): July 2014.
The University of Coimbra, Coimbra, Portugal. Conference website.
I served on the Programme Comittee for the Calculemus strand.
I edited the Joint Proceedings of the CICM 2014 Workshops and Work in Progress papers - these formed CEUR-WS volume 1186.
I gave a presentation on Problem formulation for truth table invariant CAD by incremental triangular decomposition.Presentation Slides.
Zongyan Huang (University of Cambridge) presented our joint paper on Applying machine learning to the problem of choosing a heuristic to select the variable ordering for CAD. Presentation Slides.

• Eduserv Mathematical and Statistical Software Focus Group: March 2014
King’s College London, London, UK. Meeting website.
Joint presentiation with James Davenport on Maple at The University of Bath. Presentation Slides.

• Invited seminar: June 2013
To the SCG group at The University of Waterloo, Ontario, Canada.
Presentation on Understanding Branch Cuts of Expressions. Presentation Slides.

• Invited seminar: June 2013
To the Computer Algebra group at Western University, London, Ontario, Canada: June 2013.
Presentation on Cylindrical Algebraic Decompositions for Boolean Combinations. Presentation slides.

• The British Mathematical Colloquium (BMC): April 2012.
The University of Kent, Canterbury, UK. Conference website.
Presentation on Building Abelian Functions with Generalised Hirota Operators. Presentation slides.

• International Conference on Jacobian varieties, Abelian functions, and Kummer surfaces: March 2012.
The University of Yamanashi, Kofu, Japan. Conference Website.
Presentation on Building Abelian Functions with Generalised Hirota Operators. Presentation slides.

• Matrix models, tau-functions and geometry: March 2012.
The University of Glasgow, UK. (Organiser). Conference Website.

• UK Graduate Modelling Week (LMS / EPSRC Short Course): March 2009.
University of Nottingham, Nottingham, UK.
Worked as part of a team on a problem from industry. Our team won the top prize.
Project on Creating a Thesaurus.
Presentation slides.
Report on findings.

• The 60th British Mathematical Colloquium (BMC): March 2008.
The University of York, York, UK.
Presentation on The Higher Genus Generalisation of the Weierstrass Theory for Elliptic Functions. Presentation slides.