CASC 2026 Registrations Open - Call for Participation

REGISTRATIONS ARE OPEN

The 28th International Workshop in Computer Algebra in Scientific Computing
                          CASC  2026

                         Bath, UK
                  31 August - 4 September 2026

                 http://www.casc-conference.org<http://www.casc-conference.org/>

############################################################
Please register by August 25 at https://www.casc-conference.org/registration.html
############################################################

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.

Registration for the conference is now open.

All registrations must be completed online. More details about the
registration and the registration link can be found at
https://casc-conference.org/registration.html

CASC 2026 also welcomes posters. Participants who wish to present a
poster during the conference are encouraged to bring one for display.

#####################################
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. Submission of extended
abstracts will be open until May 11.

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, Chin
     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
*
*                   [email protected]
*
*   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/
*
**********************************************************