SS1 - Computer Algebra in Education

0. William Bauldry - Creating Stand-Alone Workspaces for Student Explorations with Maple
1. Yasuyuki Kubo - Utilization of Algebrite in KeTLTS
2. Setsuo Takato - Two Methods for Proving 'Japanese Theorem II' Using Maxima and KeTCindy: An Application of the MNR Method
3. Michael Monagan - Mathematical Experiments for Mathematics Majors
4. Masaki Suzuki - Cooperation of KeTCindyJS and Maxima
5. Koji Nishiura - Educational Applications of Solving Sangaku Problems by the MNR Method with Maxima
6. Chieko Komoda - Automatic Grading of Online Graph Plotting Problems
7. Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on
8. Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on
9. Margherita Guida - An educational proposal to interpret linear systems
10. Magdalena Skrzypiec - CAS and Improper Integral - a case study
11. Thierry Noah Dana-Picard - Automated methods applied for the exploration of singularities of some curves
12. Piedad Tolmos - Evaluation of the difficulty of a geometric statement: comparing ChatGPT and GeoGebra Discovery
13. Eli Bagno - Collaboration with ChatGPT for research and teaching in algebraic combinatorics

SS2 - Computer Algebra Software in the Life Sciences (CASinLife)

14. Fabrice Rouillier - On solving parametric systems
15. Atsushi Mochizuki - Biological functions and functional modules originated in the structure of chemical reaction network
16. Bryan Hernandez - Analyzing the dynamics and structure of biochemical reaction networks via network decomposition
17. Nicola Vassena - Symbolic bifurcation analysis of reaction networks with Python. Part I: Theory
18. Richard Golnik - Symbolic bifurcation analysis of reaction networks with Python. Part II: Implementation
19. Ovidiu Radulescu - Graph-Theoretic Algorithms for Reducing Chemical Reaction Networks
20. Robert Lewis - New Results about Bricard’s Flexible Octahedra
21. Sofia Triantafyllou - Learning treatment effects from multiple data
22. Marcus Aichmayr - Reaction networks with (generalized) mass-action kinetics: Sign vector conditions for the existence of a unique general equilibrium
23. Jack Jansma - Bayesian inference of interaction rates in a metabolite-bacteria network using time-series counts
24. Andrzej Mizera - Graph Neural Network-Based Reinforcement Learning for Controlling Biological Networks - the GATTACA framework

SS3 - Computer algebra in group theory and representation theory

25. Ilias Andreou - The representations of the Brauer-Chen algebra associated to the exceptional complex reflection groups
26. Maria Chlouveraki - Blocks and Schur elements for Hecke algebras of exceptional complex reflection groups
27. Dinushi Munasinghe - Steadied quotients of KLR algebras
28. Götz Pfeiffer - Reflection Groups in the Light of Formal Concept Analysis
29. Kostas Psaromiligkos - The generalized Springer correspondence for disconnected reductive groups
30. Benedek Dombos - Decomposition of affine crystals in levels 1 and 2
31. Christos Tatakis - TBA
32. Zafeirakis Zafeirakopoulos - TBA

SS4 - Computational Differential and Difference Algebra and Their Applications

33. Jing Yang - Subresultants of Several Ore Polynomials
34. Raffaele Vitolo - Reduce package for Differential Operators in Mathematical Physics and Theoretical PhysicsA
35. Bo Huang - Integrability and Linearizability of a Family of Three-Dimensional Polynomial Systems
36. Varadharaj RaviSrinivasan - Iterated strongly normal extensions and nonlinear differential equations
37. Alexander Levin - Gröbner type Bases with Respect to the Effective Order and Bivariate Dimension Polynomials of Difference Modules
38. Roberto La Scala - Stream cipher over Finite Fields: A Difference Algebra Approach
39. Thierry Combot - Symbolic integration on a planar differential foliation
40. Volodymyr Bavula - Affirmative answer to the Question of Leroy and Matczuk on injectivity of endomorphisms of semiprime left Noetherian rings with large images

SS5 - Computer algebra modeling in physics, classical and celestial mechanics, and engineering

41. Saltanat Bizhanova - Secular perturbations in the four-body system with anisotropically varying masses
42. Saltanat Bizhanova - Studying the secular perturbations in the three-planetary four-body problem with isotropically varying masses
43. Alexander Prokopenya - Symbolic computations in studying the stability of nonlinear oscillations of the mathematical pendulum
44. Haiduke Sarafian - Oscillation analysis of a bifilar pendulum with Mathematica
45. Haiduke Sarafian - Kinematics of a point-like charged particle under the influence of electric fields of unusually charged washers
46. Ryszard Kozera - Convergence order in trajectory estimation with piecewise Bezier cubic curves based on reduced data
47. Arkadiusz Orłowski - Possible ordering of mode, median, and mean in unimodal distributions
48. Arkadiusz Orłowski - Classification of universal decision elements using computer algebra system
49. Setsuo Takato - An attempt to create teaching materials for the Brachistochrone curve using Alberrite and TeTLTS

SS6 - Symbolic Linear Algebra and Its Applications

SS7 - History of Computer Algebra

SS8 - D-Finite Functions and Beyond: Algorithms, Combinatorics, and Arithmetic

50. Shachar Weinbaum - Conservative Matrix Fields - Algebra and Asymptotics
51. Ali K. Uncu - A MacMahon Partition Analysis View of Cylindric Partitions
52. Bertrand Teguia Tabuguia - Guessing and arithmetic of D-algebraic sequences
53. Georg Regensburger - Integro-differential rings and generalized shuffle relations
54. Jakob Obrovsky - A direct solver for coupled systems of recurrence equations over ΠΣ∗-fields
55. Manuel Kauers - TBA
56. Robert Green - Non-commutative D-finite & D-algebraic power series and formal languages

SS9 - Algebraic geometry from an algorithmic point of view

57. Martin Weimann - Improving convex-dense bivariate factorization
58. Pietro Sabatino - A computer-aided construction of non-homeomorphic double Kodaira fibrations that possess the same biregular invariants
59. Elena Sammarco - Constructing nonspecial divisors in the moduli space of cubic fourfolds
60. Simone Pesatori - The moduli space of rational elliptic surfaces
61. Abhiram Natarajan - Gröbner bases native to finitely generated commutative algebras with term order, with application to the Hodge algebra of minors
62. Gal Goren - Computational Generation of Zariski Pairs in Conic-Line Arrangements
63. Özhan Genç - Homogenous Instanton Bundles on Grassmannians
64. Barbara Betti - Khovanskii bases in computer algebra
65. Sara Asensio - On the shape of Betti diagrams of edge ideals
66. Meirav Amram (Topol) - Computational Classification and Generation of Algebraic Surfaces and Curves via Algorithms
67. Florent Corniquel - Solving parametric polynomial systems using generic Rational Univariate Representation
68. Yota Maeda - Geometric Foundations for Transformer in Gröbner Basis Computation
69. Matthias Orth - The Gröbner basis for powers of a general linear form in a monomial complete intersection
70. Alessandro Neri - Combinatorics of Schubert Cells in Random Network Coding

SS10 - Algebraic and Algorithmic Aspects of Differential and Integral Operators Session

71. Manuel Kauers - A Shape Lemma for Ideals of Differential Operators
72. Antonio Jiménez-Pastor - Computing centralizers for linear differential operators
73. Vincel Hoang Ngoc Minh - Solutions of Knizhnik-Zamolodchikov equation by dévissage
74. Clemens Hofstadler - Recent Advancements in Noncommutative Gröbner Basis Software
75. Florian Fürnsinn - An Effective Version of the Grothendieck p-curvature Conjecture for Order One Differential Equations
76. Thierry Combot - Hypergeometric solutions of elliptic difference equations
77. Cyrille Chenavier - Topological closure of formal powers series ideals and application to topological rewriting theory
78. Manfred Buchacher - Separated Variables on Plane Algebraic Curves
79. Hadrien Brochet - Faster multivariate integration in D-modules
80. Peter Krug - Undecidability of Noncommutative Ideal Membership and Counterexamples of Operator Statements
81. Vincel Hoang Ngoc Minh - Solutions of Knizhnik-Zamolodchikov equation by dévissage
82. Alexander Levin - Generalized Gröbner Bases and Dimension Polynomials of D-modules
83. Tobias Metzlaff - Combining Sparsity and Symmetry Exploitation for SOS-Certificates
84. Bertrand Teguia Tabuguia - Closed forms of power series with hypergeometric-type terms
85. Chia Zargeh - An algorithmic problem for Nijenhuis Lie algebras
86. Yi Zhang - The Expansion Complexity of Ultimately Periodic Sequences over Finite Fields
87. Khalil Ghorbal - The Shimizu–Morioka System Has No Nontrivial Darboux Polynomials

SS11 - Sparse Interpolation and Technology

88. Annie Cuyt -
89. Anthony O'Hare -
90. Ramonika Sengupta -
91. Garrett Paluck -

SS12 - Symbolic-Numeric Computation

92. Arnaud Minondo - Static bounds for straight-line programs
93. Matías Bender - Solving bihomogeneous polynomial systems with a zero-dimensional projection
94. Máté László Telek - Copositive geometry of Feynman integrals

SS13 - Advances in Coding Theory: Algebraic, Combinatorial and Computational Methods

95. Daniel Panario - TBA
96. Buket Özkaya - Characterization of Nearly Self-Orthogonal Quasi-Twisted Codes and Related Quantum Codes
97. Burcu Gülmez Temür - On the complete characterization of a class of permutation trinomials in characteristic five
98. Lucas Da Silva Reis - Some constructions of asymptotically optimal cyclic subspace codes
99. Giovanni Longobardi - Scattered trinomials of F_{q^6}[X] in even characteristic
100. Iliya Bouyukliev - Graph isomorphism and isomorphism of binary matrices
101. Mariya Dzhumalieva-Stoeva - Enumeration of optimal binary and ternary linear codes with different hull dimensions
102. Maryam Bajalan - On the minimum distance and covering radius of irredundant orthogonal arrays
103. Peter Boyvalenkov - On a spherical code with 2025 points
104. Stefka Bouyuklieva - On the hulls of linear codes
105. Stela Zhelezova - Resolutions of cyclic 2-(40,4,1) designs
106. Peter Dragnev - Universal polarization of sharp codes in the Leech lattice

SS14 - Finite Fields and Applications

107. Alev Topuzoglu - A new tool for differential analysis of functions in characteristic 2
108. Qiang (Steven) Wang - On constructing bent functions from cyclotomic mappings
109. Tekgül Kalaycı - Bent partitions, vectorial dual-bent functions, and association schemes
110. Irene Villa - Quadratic-like permutations over F_n^2
111. Dimitris Simos - Algebraic and SAT Methods for Classes of Covering Arrays
112. John Sheekey - Invariant Polynomials and Cyclic Line Spreads
113. Ferruh Ozbudak - Further results on covering radii of some codes and their connections
114. Giorgos Kapetanakis - Normal and primitive normal elements with prescribed traces in intermediate extensions of finite fields
115. Domingo Gómez-Pérez - Automatic Sequences Along Polynomial Subsequences and Their Applications
116. Michael Monagan - Factoring Multilinear Boolean Polynomials
117. Lucia Moura - New covering arrays of strength-4 and q symbols from three truncated Möbius planes in P G(3, q), for odd prime power q
118. Lucas Da Silva Reis - Nilpotent linearized polynomials and applications

SS15 - Reliable numerical computing and differential equations

119. Barbara Betti -
120. Alexandre Guillemot -
121. Fredrik Johansson -
122. Long Qian -

SS16 - Solving Matrix and Tensor Equations

123. Mengyan Xie - Fixed-Time Tensor Gradient Neural Network for Online Sylvester Tensor Equation Solving
124. Xiaodong Zhang - The A_α-spectral radius of uniform hypergraphs
125. Yang Zhang - Solving reduced biquaternion tensor equations and applications
126. Dingkang Wang - On minor prime factorization for rank-deficient multivariate polynomial matrices
127. Qingwen Wang - The generalized hand-eye calibration equation and its application

SS17 - Combinatorial and Geometrical Methods in Contemporary Coding Theory

128. Luca Bastioni - Characteristic polynomial of linearized polynomials
129. Francesco Ghiandoni - Towards the classification of scattered binomials
130. Valentina Pepe - Codes deriving from some subvarieties of the Segre variety
131. Elisa Junghans - Construction of LDPC convolutional codes from Latin squares
132. Julia Lieb - Construction of partial unit-memory MDP convolutional codes with low encoding and decoding complexity
133. Tefjol Pllaha - Quantum LDPC codes and decoding challenges
134. Michael Schaller - Lattices over Non-Archimedean Fields and Their Applications to Coding Theory
135. Valentino Smaldore - Equivalences of rank distance codes
136. Rocco Trombetti - On the minimum weight of some geometric codes
137. Cristina Fernández-Córdoba - Hamming weight distributions of linear simplex codes over finite chain rings and their Gray map
138. Carlos Vela Cabello - On some properties of the Gray map

SS18 - Noncommutative Symbolic Computation

139. Jianqiang Zhao - Unramified Variants of Motivic Multiple Zeta Values
140. Vincel Hoang Ngoc Minh - Various bialgebras of representative functions on free monoids
141. Steven Charlton - Goncharov's Programme, and Symmetries of Weight 6 Multiple Polylogarithms
142. Van Chien Bui - Various Products of Representative Series and Some Applications
143. Olivier Bouillot - Multiple Divided Bernoulli Polynomials and Numbers
144. Jean-Yves Enjalbert - Extension by continuity of the domain of Poly- and Hyper-logarithms