The 28th International Workshop in Computer Algebra in Scientific Computing CASC 2026 Bath, UK 31 August - 4 September 2026 http://www.casc-conference.org LAST CALL FOR PAPERS ############################################################ Note: the deadline for submitting has been extended to May 4th, 2026. The tools of Scientific Computing play an important role in the natural sciences and engineering. Computer Algebra Systems and the underlying algorithms for Symbolic Computation play an increasingly important role within Scientific Computation. The CASC workshop series has been running for two and a half decades to explore the interaction of these topics, their implementation, and their application. The 28th CASC workshop will be held in Bath, UK from 31st August - 4th September 2026. There will be three invited talks, along with a program of contributed talks for which we now invite submissions. ##################################### SCOPE ##################################### The topics addressed in the workshop cover the following. (1) The theory of symbolic computation and its implementation in computer algebra systems. This includes, but is not limited to: - new methods in exact computation; - symbolic algorithms and their complexity; - automated reasoning in algebra and geometry; - parallel symbolic / symbolic-numeric computation; - symbolic / symbolic-numeric methods for differential, differential-algebraic and difference equations; - symbolic / symbolic-numeric methods for polynomial equations and inequalities; and - the embedding of computer algebra technology within different software and hardware environments. (2) All other areas of scientific computing in regards to their benefit from or use of computer algebra methods and software. This includes, but is not limited to: - the use of computer algebra in approximate computation; - computer algebra methods in big data analytics; and - computer algebra methods for simulation and modelling. (3) Applications of the above throughout the natural sciences and engineering. We welcome papers on both fundamental research and implementation issues. We also accept survey papers but these MUST BE CLEARLY LABELLED as such in the title. ##################################### CONFERENCE PARTICIPATION OPTIONS ##################################### We encourage wide participation at the workshop. In light of this, and that the conference scope spans computer science and mathematics (with their different publication traditions), we offer a variety of participation options. 1. Participation with an accompanying paper in LNCS: CASC has a long running relationship with the Springer book series Lecture Notes in Computer Science to publish conference proceedings. Work submitted here should contain an original research result. Submissions should be prepared in the LNCS style and not exceed 20 pages. Survey papers may have up to 25 pages. 2. Participation with abstract only: Participants may opt to submit an extended abstract instead. These should have at least 2 and at most 4 pages in the LNCS style. They must contain the main results of the talk (without proofs). They will be lightly reviewed and distributed locally at the conference. We see three main audiences for this option: - Those who wish to talk on previously published work (in which case that work should be clearly cited in the abstract). - Those whose work is not yet ready for publication, but wish to receive feedback. - Those who plan to submit a journal paper on the work shortly. For the second group, there will be a subsequent journal special issue call after the conference (see below). ##################################### SUBMISSION LINK ##################################### All submissions should be done via easychair: https://www.easychair.org/conferences/?conf=casc2026 Submissions must be prepared in the LNCS style and within the declared page count. ##################################### IMPORTANT DATES ##################################### Paper submission deadline: May 4th, 2026 Notification to Authors: May 31st, 2026 Submission of Final Version: June 5th, 2026 Conference: August 31 – September 4, 2026 ##################################### ACCOMPANYING SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE ##################################### CASC has formed a relationship with the Springer Birkhäuser journal Mathematics in Computer Science (MCS) for an ongoing series of special issues on topics presented at CASC. Work submitted here must be of journal quality and will be reviewed to the usual standards of MCS. Submission will be opened after the conference for authors of extended abstracts presented at that year’s conference. There is no a priori page limit, but the length must be justified by the contents of the paper. At notification authors may be asked to revise their paper for a secondary deadline. Deadline for MCS Special Issue submission: Autumn 2026 MCS submission is only open if an extended abstract is presented at the conference - eligible authors will be sent a separate submission link for this after the conference. ##################################### INVITED TALKS ##################################### Carsten Schneider, Director of Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria Joseph Tooby-Smith, University of Bath, UK Thi Xuan Vu - Université de Lille, France ##################################### COMMITTEES ##################################### Program Committee Chairs Ali Kemal Uncu - University of Bath, UK Chenqi Mou - Beihang University, China Program Committee Francois Boulier - Université de Lille, France Florent Bréhard – Laboratoire CRIStAL, France Changbo Chen - Chinese Academy of Sciences, China Victor F. Edneral - Lomonosov Moscow State University, Russia Matthew England - Coventry University, UK Jonathan Hauenstein - University of Notre Dame, USA Rui-Juan Jing - Jinagsu University, China François Lemaire – Laboratoire CRIStAL, France Fatemeh Mohammadi – KU Leuven, Belgium Michael Monagan - Simon Fraser University, Canada Marc Moreno Maza - University of Western Ontario, Canada Chenqi Mou - Beihang University, China Katsusuke Nabeshima - Tokyo University of Science, Japan Sonia Perez-Diaz - Universidad de Alcala, Spain Daniel Robertz - RWTH Aachen University, Germany Timur Sadykov - Plekhanov Russian University, Russia Éric Schost - University of Waterloo, Canada Thomas Sturm - CNRS, France Sergue Vinitsky - Joint Institute for Nuclear Research, Russia Victor Selivanov - A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences, Russia Svetlana Selivanova - KAIST, South Korea Akira Terui - University of Tsukuba, Japan Ali Kemal Uncu - University of Bath, UK General Chairs François Boulier – University of Lille, France Timur Sadykov - Plekhanov Russian University, Russia Publicity Chairs Thi Xuan Vu - Université de Lille, France Dmitry Lyakhov - KAUST, Saudi Arabia Advisory Board Wolfram Koepf - University of Kassel, Germany Ernst W. Mayr - Technical University of Munich, Germany Werner M. Seiler - University of Kassel, Germany Evgenii V. Vorozhtsov - Khristianovich Institute of Theoretical and Applied Mechanics, Russia Local Organisation James Davenport - University of Bath, UK Ali Kemal Uncu - University of Bath, UK ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************