• Computational Algebraic Geometry Research Network Meeting: March 2024.
Warwick, UK. Meeting website.
I gave an invited talk titled Real Quantifier Elimination Technology and Optimisations via Machine Learning (Slides).
• Warwick Mathematics Colloquium: March 2024.
Warwick, UK. Meeting website.
I gave an invited talk titled Recent Developments in Quantifier Elimination Technology (Slides).
• Future Algorithms: July 2024
Online Conference for UG students interested to work in algorithms.
Conference website.
I will give an invited talk titled Advancing computer alegbra through other algorithmic domains (Slides)
2023
• British Computer Society (BCS) - Coventry Branch Meeting: November 2023
Coventry, UK.
Branch Programme.
I gave an invited talk titled Real Quantifier Elimination: Recent Algorithmic Progress and ApplicationsSlides; Video.
• Maple Conference 2023: October 2023.
Online.
Conference website.
Amirhossein Sadeghi Manesh presented our joint work Using CDCAC for SMT inquiries with special constraints (Slides); Tereso Del Rio presented our joint work Techniques to Find Relevant Features for Heuristics (Slides); and Rashid Barket presented our joint work Machine Learning for Symbolic Integration Algorithm Selection (Slides).
• International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC): September 2023
Nancy, France.
Conference website.
I co-organised with Ali Uncu a Special Session to Celebrate the 70th Birthday of Prof. James H. Davenport. I also gave a talk in the session, based on joint work with Tereso del Rio and Lynn Pickering, titled Can Explainable AI Give Insights for Symbolic Computation?Slides.
• International Symposium on Symbolic and Algebraic Computation (ISSAC): July 2023.
Tromso, Norway.
Conference website.
Tereso del Rio and I presented a poster, coauthored with Amirhossein Sadeghi Manesh, on Clustering in the Lazard Method for Cylindrical Algebraic Decomposition. Poster.
We were awarded the ISSAC 2023 Distinguished Poster Award!
• Eigth International Workshop on Satisfiability Checking and Symbolic Computation (SC2): July 2023
Tromso, Norway.
SC2 Workshop website.
James H. Davenport presented our joint work on Iterated Resultants in CAD (Slides) and Tereso del Rio presented our joint work on Data Augmentation for Mathematical Objects (Slides).
• SIAM Conference on Applied Algebraic Geometry (SIAM AG): July 2023.
Eindhoven, The Netherlands (Online) Conference Website.
I was invited to to give a talk in a session entitled Data and Certificates in Algebra and Geometry. My talk was entitled Cylindrical Algebraic Coverings to determine satisfiability of non-linear polynomial constraints.
Presentation Slides.
• Polish Conference on Artificial Intelligence (PPRAI): April 2023.
Lodz, Poland.
Conference website.
My talk was entitled Can Artificial Intelligence Serve Computer Algebra Systems?Slides.
2022
• Maple Conference 2022: November 2022.
Online.
Conference website.
Amirhossein Sadeghi Manesh presented our joint work An SMT Solver for Non-linear Real Arithmetic Inside Maple; Tereso Del Rio presented our joint work Techniques to Find Relevant Features for Heuristics; and Rashid Barket presented our joint work Framework for Generating Integrable Expressions. Amir and Tereso also entered the 2022 Maple Art Competition.
• Invited Seminar: October 2022.
Invited Seminar at Johannes Kepler University, Linz, in the Institute of Algebra Seminar Series. Presentation was titled, Cylindrical Algebraic Coverings: An SC-Square Success Story. Slides.
• International Workshop on Computer Algebra in Scientific Computing (CASC): August 2022.
Gebze, Istanbul, Turkey.
Conference website.
I am the PC Chair. My student Tereso del Rio presented our work, New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis..
• Federated Logic Conference (FLoC): August 2022.
Haifa, Israel.
Conference website.
I attended the SMT Workshop and the SC2 Workshop. In the latter Ali Uncu presented our joint work, SMT-Solving Combinatorial Inequalities. Slides.
• International Symposium on Symbolic and Algebraic Computation (ISSAC): July 2022.
Lille, France.
Conference website.
I presented a poster on my work with Amirhossein Sadeghi Manesh on An SMT solver for non-linear real arithmetic inside Maple. Poster
• Coventry University Research Culture Week: March 2022. Event Website
I was part of the panel on the topic of The Changing Nature of Leadership in Higher Education.
• Abram Gannibal Project Workshop: March 2022.
Chicheley Hall, Buckinghamshire, UK.
Project website.
I was invited to give a talk titled Symbolic Computation Tools for Non-Linear Real Arithmetic and Recent Applications in Biology and Economics. Slides.
• Dagstuhl Seminar 22072: New Perspectives in Symbolic Computation and Satisfiability Checking: February 2022.
Dagstuhl, Germany.
Seminar website.
I am one of the organisers and gave the Seminar Overiew Slides. Later in the week I talked on the Questions about the SMT-LIB (QF_NRA). Elsewhere Jasper Nalbach gave a talk on our joint work titled Levelwise construction of a single cylindrical cell; Amirhossein Sadeghi Manesh gave a talk on our joint work Computational Limits of Using CAD and SMT in the Logical Analysis of Regulatory Networks and Tereso del Rio gave a talk on ourjoint work Machine Learning in SC-Square. See Dagstuhl Report 12:2 on the event.
• Computing Education Practice (CEP): January 2022.
Durham University, UK.
Conference website.
My colleage John Halloran presented our joint paper Feedback and Engagement on an Introductory Programming Module.
2021
• International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC): December 2021
Online.
Conference website.
Gereon Kremer presented our joint work On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.
• Maple Conference 2021: November 2021.
Online.
Conference website.
Amirhossein Sadeghi Manesh presented our joint work Improving algebraic tools to study bifurcation sequences of population models (slides) and Implementation of Advanced Algorithms of Cylindrical Algebraic Decomposition in Maple (slides) while Tereso Del Rio presented our joint work Comparing the number of real roots in ``real-world'' polynomials and randomly-generated polynomials (slides).
I entered the Maple Art Competition with an entry Decomposing Truth. Click here for the image and click here for an explanation.
• International Workshop on Computer Algebra in Scientific Computing (CASC): September 2021.
Sochi, Russia (ONLINE DUE TO COVID19).
Conference website.
My colleague Amirhossein Sadeghimanesh gave our talk on Improving Algebraic Tools to Study Bifurcation Sequences of Population Models..
Presentation Slides.
• SIAM Conference on Applied Algebraic Geometry (SIAM AG): August 2021.
I was invited to give a keynote talk in the SC-Square Workshop Session. My talk was titled SC-Square: Past Successes and Future Progress with Machine Learning. Presentation Slides.
Philippe Specht gave a talk in the same session on our joint work, Level-Wise Construction of a Single Cell in Cylindrical Algebraic Decomposition.
• International Symposium on Symbolic and Algebraic Computation (ISSAC): July 2021.
St Petersburg, Russia (ONLINE DUE TO COVID19). Conference website.
I gave a short presentation on The DEWCAD Project. Presentation Slides.
• International Workshop on Automated Reasoning: Challenges, Applications (ARCADE): July 2021.
Pittsburgh, Pennsylvania, USA (ONLINE DUE TO COVID19). Conference website.
James Davenport presented our paper on Proving UNSAT in SMT: Quantifier Free Non-Linear Real Arithmetic. Presentation Slides.
• Fields Institute Workshop on on Real Algebraic Geometry and Algorithms for Geometric Constraint Systems: June 2021.
Toronto, Canada. Online due to COVID19. Seminar website.
I was a invited participant. I gave a talk titled New Directions in Cylindrical Algebraic Decomposition.
Presentation Slides.
• DEWCAD Journal Club Round 1 (Internal):
Coventry, UK.
I gave a talk titled Conflict Driven Search Using Cylindrical Algebraic Coverings to Decide Consistency of NRA.
Presentation Slides.
• DEWCAD Journal Club Round 2 (Internal):
Coventry, UK.
I gave a talk titled Cylindrical Algebraic Decomposition with Equational Constraints.
Presentation Slides.
2020
• Early Career UK Computer Science Academics Workshop.
An online workshop for Computer Science academics new to Higher Education in the UK. I gave a talk on Challenges and tools for teaching programming. Presentation Slides.
• Dagstuhl Seminar 20492: New Perspectives in Symbolic Computation and Satisfiability Checking: December 2020.
Dagstuhl, Germany. Cancelled due to COVID19. Seminar website.
I am one of the organisers. We designed to cancel due to the ongoing pandemic (Dagstuhl do not offer an online option). We plan to resubmit the seminar proposal to Dagstuhl for a later series.
• Maple Conference 2020: November 2020.
Online. Conference website.
I gave a survey talk titled Machine learning classification for variable ordering choice in Maple.
Presentation Slides.
• International Workshop on Computer Algebra in Scientific Computing (CASC): September 2020.
Linz, Austria (ONLINE DUE TO COVID19). Conference website.
I gave a survey talk titled Machine learning classification for variable ordering choice in a computer algebra system.
Presentation Slides.
• International Symposium on Symbolic and Algebraic Computation (ISSAC): July 2020.
Kalamata, Greece (ONLINE DUE TO COVID19). Conference website.
I was an invited tutorial speaker. Sadly the tutorials were cancelled due to COVID19 but the abstract was included in the proceedings.
• International Congress on Mathematical Software (ICMS): July 2020.
Braunschweig, Germany (ONLINE DUE TO COVID19). Conference website.
I was the co-organiser of the Real Algebraic Geometry Session in which Gereon Kremer talked about our joint work Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings.
Slides.
I was also the co-organiser of the Artificial Intellegence and Mathematical Software Session in which myself and Dorian Florescu jointly presented our talk entitled A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs.
Slides.
• Fifth International Workshop on Satisfiability Checking and Symbolic Computation (SC2): July 2020
Affiliated with International Joint Conference on Automated Reasoning (IJCAR 2020) and held as a session of the International Workshop on Satisfiability Modulo Theories (SMT 2020).
Paris, France (ONLINE DUE TO COVID19). IJCAR Conference website -
SC2 Workshop website.
SMT Workshop website
James Davenport talked on our joint work New Opportunities for the Formal Proof of Computational Real Geometry?.
• British Colloquium for Theoretical Computer Science (BCTCS): April 2020.
Swansea, UK (ONLINE DUE TO COVID19). Conference website.
Funded by AlgoUK and giving a talk on Machine Learning to Steer Symbolic Computation from its Worst Case Complexity.
Slides.
• Computing Education Practice (CEP): January 2020.
Durham University, UK. Conference website.
My colleage David Croft and I presented on Computing with Coderunner at Coventry University (Slides); my colleage Simon Billings and I presented on First Year Computer Science Projects at Coventry University (Slides).
2019
• International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS): November 2019
Gebze-Istanbul, Turkey. Conference website
Talk on Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness.
Slides.
• Fourth International Workshop on Satisfiability Checking and Symbolic Computation (SC2): July 2019
Part of the SIAM Conference on Applied Algebraic Geometry (SIAM AAG).
Bern, Switzerland. Conference website -
SC2 Workshop website.
I will talk on Algorithmically generating new algebraic features of polynomial systems for machine learning.
Slides.
• Coventry University Staff Conference: June 2019.
Coventry, UK. Conference website.
David Croft presented our joint experiences with CodeRunner: A Moodle Plugin for Automated Feedback on Code.Slides.
John Halloran presented our joint study on Feedback, Engagement and Satisfaction on an Introductory Programming Module.Slides.
• Effective Methods in Algebraic Geometry (MEGA): June 2019.
Madrid, Spain. Conference website.
Poster presentation on Machine Learning to choose the Variable Ordering for Cylindrical Algebraic Decomposition.Poster.
• 8th LMS Workshop on Applied Algebraic Geometry (AAG): May 2019.
Glasgow, UK. Conference website.
Invited to give a talk on Quantifier Elimination and Cylindrical Algebraic Decomposition.Slides.
• British Colloquium for Theoretical Computer Science (BCTCS): April 2019.
Durham, UK. Conference website.
Funded by AlgoUK and giving a talk on Cylindrical Algebraic Decomposition with Equational Constraints.
Slides.
• University of Bath Department of Computer Science: March 2019.
Bath, UK.
Invited to give a talk on Automated Feedback in Programming Modules at Coventry University.
Slides.
• Computing Education Practice (CEP): January 2019.
Durham University, UK. Conference website.
My colleage David Croft gave a talk on our joint work, Computing with Codio at Coventry University.
Slides.
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.
• Third International Workshop on Satisfiability Checking and Symbolic Computation (SC2): July 2018
Part of the 2018 Federated Logic Conference (FLoC)
University of Oxford, Oxford, U.K. FLoC website; SC2 Workshop website
I gave a talk titled Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.
Presentation Slides.
Alex Cowen-Rivers gave a talk on our joint work titled Towards Incremental Cylindrical Algebraic Decomposition in Maple. Presentation 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..
• Conferences on Intelligent Computer Mathematics (CICM): July 2017.
University of Edinburgh, Edinburgh, U.K. Conference website.
I was Calculemus Track Chair.
James Davenport presented our paper in the OpenMath Workshop, OpenMath and SMT-LIB.
Presentation Slides.
• 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.
• Coventry University Assessment Day: June 2017
Coventry University, Coventry, UK.
Invited to give a workshop on Running Online Tests for Large Modules.
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 Satisfiability Checking and Symbolic Computation (SC2): September 2016.
Timisoara, Romania. Conference website.
James Davenport presented a talk on our joint paper: Experience with Heuristics, Benchmarks and Standards for Cylindrical Algebraic Decomposition.
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.
• International Symposium on Symbolic and Algebraic Computation (ISSAC): July 2016.
Wilfrid Laurier University, Waterloo, Ontario, Canada. Conference website.
I presented a poster on behalf of the SC2 project. Click here for the poster as pdf.
• 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.
• British Applied Mathematics Colloquium: April 2016
University of Oxford, Oxford, UK. Conference website.
Invited to give a talk in the mini-symposium Applied and Computational Algebra.
Survey talk titled Recent Advances in Cylindrical Algebraic Decomposition. Presentation Slides.
2015
• Coventry University Applied Computing Research Seminar: October 2015.
I gave a talk surveying my research portfolio titled Recent Advances in Cylindrical Algebraic Decomposition. Presentation Slides.
• 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.
2014
• Computer Algebra in Scientific Computing (CASC): September 2014.
Warsaw, Poland. Conference website.
I gave a talk on Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. Presentation Slides.
• International Congress of Mathematicians (ICM): August 2014.
COEX Convention and Exhibition Center, Seoul, South Korea. Conference website.
I gave a talk on Truth table invariant cylindrical algebraic decomposition in the Mathematical Aspects of Computer Science section. Presentation Slides.
• International Congress on Mathematical Software (ICMS): August 2014.
Hanyang University, Seoul, South Korea. Conference website.
I am an author for two presentations in the session on Triangular Decompositions of Polynomial Systems:
- I gave a presentation on Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting.Presentation Slides.
- James Davenport (University of Bath) presented our joint paper on Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Presentation Slides.
I also gave a software demonstration on Algebraic and visual representations of branch cuts in Maple. Abstract (pdf). Demo Maple Worksheet.
• 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.
• XIV Encuentro de Álgebra Computacional y Aplicaciones (EACA): June 2014.
(14th Meeting on Computer Algebra and Applications).
The Institut d'Estudis Catalans, Barcelona, Spain. Conference website.
I gave a survey presentation on Problem Formulation for Real Algebraic Geometry. 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.
• Conferences on Intelligent Computer Mathematics (CICM): July 2013.
The University of Bath, Bath, UK. (Local organiser). Conference website.
I gave a presentation in the MKM strand on Understanding Branch Cuts of Expressions. Presentation Slides. David Wilson presented our joint paper on Problem Formulation for CAD in the Calculemus strand.
• The International Symposium on Symbolic and Algebraic Computation (ISSAC): June 2013.
Northeastern University, Boston, Massachusetts, USA. Conference website.
Presentation on Cylindrical Algebraic Decompositions for Boolean Combinations. 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 International Symposium on Symbolic and Algebraic Computation (ISSAC): July 2012.
University of Grenoble, Grenoble, France. Conference website.
• Conferences on Intelligent Computer Mathematics (CICM): July 2012.
Jacobs University, Bremen, Germany. Conference website.
• 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.
2011
• International Conference on Geometrical Methods in Mathematical Physics: Dec 2011.
Lomonosov Moscow State University, Moscow, Russia Conference website.
Poster on Generalised Hirota Operators and bases of Generalised elliptic functions. Poster.
• Tropical Geometry and Integrable Systems: July 2011.
The University of Glasgow, Glasgow, UK. (Local organiser). Conference Website.
• Finite Dimensional Integrable Systems in Geometry and Mathematical Physics (July 2011).
Friedrich-Schiller University, Jena, Germany. Conference website.
Joint presentation with Chris Athorne on Generalised Elliptic Functions. Presentation slides.
• Abelian Functions and equations of hydrodynamic type: April 2011.
The University of Glasgow, Glasgow, UK. (Organiser). Conference Website.
2010
• The higher-genus sigma function and applications: Oct 2010.
International Centre of Mathematical Sciences, Edinburgh, UK. Conference website.
Presentation on Bases and Addition Formulae of Higher Genus Abelian Functions. Presentation slides.
2009
• Symmetry in Nonlinear Mathematical Physics: July 2009.
Institute of Mathematics, National Academy of Sciences, Kyiv (Kiev), Ukraine. Conference website.
Presentation on Higher Genus Abelian Functions associated with Algebraic Curves. Presentation slides.
• 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.
• Invited seminar to the ISMP Group, University of Glasgow: Nov 2008.
Presentation on Abelian Function Theory. Presentation slides.
• National Physics Laboratory visit to Heriot Watt: Oct 2008.
Presentation on the Heriot Watt Maths department's use of Distributed Maple.
Presentation slides.
• Third RISC/SCIEnce Training School in Symbolic Computation: July 2008.
Research Institute for Symbolic Computation, Castle of Hagenberg, Linz, Austria. Course website.
• Nonlinear Waves-Theory and Applications: June 2008.
Tsinghua University, Beijing, China. Conference website.
Poster on Abelian functions associated with a cyclotomic tetragonal curve of genus six. Poster.
• 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.
• HW Joint MACS Seminar: Feb 2008.
Joint meeting of the Mathematics and Computer Science departments.
Presentation on Elliptic Curve Cryptography. Presentation slides.