Computer Algebra Applications in the Life Sciences
ACA 2022 Special Session
15-19 August 2022, Istanbul-Gebze, Turkey
AmirHosein Sadeghimanesh (Coventry University, UK)
Ali Kemal Uncu (Austrian Academy of Sciences, Johann Radon Institute for Computational and Applied Mathematics, Austria & University of Bath, UK)
Hamid Rahkooy (Max Planck Institute for Informatics, Germany)
Matthias Seiß (University of Kassel, Germany)
James H. Davenport (University of Bath, UK)
Daniel Lichtblau (Kernel Technology group at Wolfram Research, US)
Valery Romanovski (University of Maribor, Slovenia)
Alexey Ovchinikov (City University of New York, US)
Nicola Vassena (Free University of Berlin, Germany)
Murad Banaji (Middlesex University London, UK)
Oskar Henriksson (University of Copenhagen, Denmark)
Máté László Telek (University of Copenhagen, Denmark)
Klaus Kieseberg (SBA Research, Austria)
Berina Celic (SBA Research, Austria)
Aims and Scope
Initially one would think that doing symbolic computation with a computer would be a hard task, but later through the advent of new algebraic objects such as Gröbner basis invented by Bruno Buchberger in 1965 or Cylindrical Algebraic Decomposition by George Collins in 1975, things started to look different. Now thanks to rapid developments in computer algebra, instead of studying bifurcation events of a biological model for only a specific value of the parameters, one can decompose the whole parameter space according to the types of bifurcations that the model can exhibit. This emphasizes the strength of a symbolic approach which lets us treat free parameters in contrast with using numerical and simulations. However, still many of algebraic algorithms have high complexity and there is still a long path ahead to the point where one can use these tools for realistic examples in biology or chemistry with more than a few parameters and variables.
This special session is focused on three main aspects of computational algebra with application in biology and chemistry:
how to model questions from the realm of biology and chemistry using algebra,
algorithms that can be used to answer questions of interest of experimentalists about the models,
implementations of developed algorithms effectively in computer algebra systems.
We would like to assemble a diverse group of researchers from (experimental and theoretic) biology and chemistry, mathematics, computer science, etc. We hope that diverse backgrounds coming together within the frame of shared interests will lead to future collaborations.
Topics of interests include, but are not limited to the developments and applications in the following:
Modelling biological/chemical questions using algebra
Cylindrical algebraic decomposition
Quantifier elimination theory
Comprehensive Gröbner basis
Chemical reaction network theory
Computer algebra packages for real algebraic geometry
Parametric system of polynomial equations
Our session is scheduled for the first three days of ACA, 15th-17th August. Below you can see which talk is in-person and which is online plus the title of the talks. You can see the abstract of each talk by clicking on its title. The talks are ordered alphabetically by the last name of the speaker. Some of the speakers gave permission to share their slides which you can access by clicking on "<slides>" in front of title of their talks.
Dr. Murad Banaji, online. Nondegenerate Andronov-Hopf bifurcations in a class of bimolecular mass-action systems (Part I)
Dr. Balazs Boros, online. Nondegenerate Andronov-Hopf bifurcations in a class of bimolecular mass-action systems (Part II) <slides>
Berina Celic, in-person. Disaster Incident Analysis via Algebra Stories.
Prof. James H. Davenport, in-person. Polynomial Systems Theories in Biology.
Oskar Henriksson, in-person. Detecting and precluding toricity in reaction network theory
Klaus Kieseberg, in-person. Algebraic sequence modelling for disaster management.
Dr. Daniel Lichtblau, in-person. Estimating Genomic Periodicities.
Prof. Alexey Ovchinikov, in-person. Open problems in parameteric dynamical systems from life sciences.
Prof. Valery Romanovski, online. Stability analysis and Hopf bifurcations in a tumor growth model.
Mate Laszlo Telek, in-person. The shape of the parameter region of multistationarity in reaction networks.
Dr. Nicola Vassena, in-person. Are generic bifurcations always generic on chemical reaction networks?
The exact time of the talks can be found in the following table (in Turkey time zone GMT+03:00). We will have CASinLife group photos in each day a few minutes before the start of the session or a few minutes after the end of the session.
Photos of the session
For the photos of the session click on "Photo gallery" at top right side of the page. Thanks to Fatih Yilmaz, the professional photographer of ACA.
Call for Contributions
If you are interested in presenting your recent work in this session, please send your title and abstract to one of the session organizers, no later than May 30, 2022. Please use the LaTeX template for your submission.
Images at the top of the page: The photo in the middle is taken by Patporn Chankong, the two other images are created by AmirHosein Sadeghimanesh.
For permission to use these images out of this page, contact the corresponding creator.