Thematic Sessions

TS1: Group Action, Symmetry, and Combinatorial Structures, Organizer: Kamilla Rekvényi (University of Manchester)

Marina Anagnostopoulou-Merkouri (University of Bristol)
Permutation groups, partition lattices and block structures

Dimitri Leemans (Universit é Libre de Bruxelles)
Gluing methods for string C-group representations

Daniele Nemmi (Istituto Nazionale di Alta Matematica “Francesco Severi”)
Graphs encoding generating properties of finite groups

Robert Bailey (Memorial University of Newfoundland)
On distance-regular graphs with primitive automorphism groups

TS2: Generation, Symmetry, and Structures in Finite Groups, Organizer: Marina Anagnostopoulou-Merkouri (University of Bristol)

Kamilla Rekvényi (University of Manchester)
Prime Simplicial Complexes of Finite Groups

Scott Harper (University of Birmingham)
Probabilistic generation of finite groups

Cheng Yeaw Ku (Nanyang Technological University)
Continuos-time Quantum Walk on Cayley graph of the symmetric group.

David Bradley-Williams (Computer Science Institute of Charles University)
Extending partial automorphisms of graphs.

TS3: Algebraic Properties and Symmetries in Group Theory, Organizer: João Araújo (Universidade Nova de Lisboa)

Coen del Valle (University of St Andrews)
Cameron’s Greedy Conjecture

Marston Conder (University of Auckland)
Some unexpected theoretical consequences of computations involving symmetry

Ori Parzanchevski ( Hebrew University of Jerusalem)
Bounded cutoff on matrix groups

Claude Marion (Centro de Matemática da Universidade do Porto)
Finite and profinite groups with the Magnus Property

TS4: Groups and Graphs, Organizer: Ted Dobson (University of Primorska)

Đorđe Mitrović (University of Auckland)
A new family of transitive permutation groups with exponential graph growth

Stefan Gyurki (Slovak University of Technology)
Small vertex transitive directed strongly regular graphs

Jozef Širáň (Slovak University of Technology)
Orientably-regular embeddings of complete multigraphs

Marcel Jackson (La Trobe University)
Chromatic Algebras

TS5: Automated Reasoning and the Future of Mathematical Practice, Organizer: António Malheiro (Universidade Nova de Lisboa)

Tom Goertzen (University of Sydney)
Extracting Proofs from Magma into Lean

João Araújo (NOVA University of Lisbon)
An Overview of ProverX: Capabilities and Achievements

Ursula Martin (University of Oxford)
Will machines change mathematics?

TS6: Algebra and Machine Learning, Organizer: Antonio Ricciardo ( Algebraic AI)

Fernando Martin-Maroto (Champalimaud Foundation),  Antonio Ricciardo ( Algebraic AI).
How Algebra can help Machine Learning

TS7: Commutative Monoids, Organizer: Ignacio Ojeda (Universidad de Extremadura)

M. Ángeles Moreno Frías (Universidad de Cádiz)
Elasticity of a numerical semigroup and packed semigroups

Isabel Colaço (Instituto Politécnico de Beja)
Minimal free resolution of Generalized Repunit Algebras

Alberto Vigneron-Tenorio (Universidad de Extremadura)
Generalisation of some results for numerical semigroups to affine semigroup

Raquel Tapia-Ramos (Universidad de Cádiz)
An approach to positioned C-semigroups

Carlos Jesús Moreno (Universidad de Extremadura)
Numerical semigroups linked to curves with only one place at infinity

José Navarro (Universidad de Extremadura)
Exploring Toric Varieties with Condensed Mathematics: some open problems

TS8: Inverse semigroups, restriction semigroups and related algebras, Organizers: Mikhailo Dokuchaev (Universidade de São Paulo) and João Araújo (Universidade Nova de Lisboa)

Ruy Exel (Universidade Federal de Santa Catarina)
Twisted Steinberg algebras, regular inclusions and induction

Ganna Kudryavtseva (University of Ljubljana)
Generalizing Steinberg algebras to algebras of ample categories

Mikhailo Dokuchaev (Universidade de São Paulo)
(Co)homology of skew product algebras by inverse monoid actions with application to Steinberg algebras

José Luis Vilca Rodríguez (Universidade de São Paulo)
Inverse semialgebras

TS9: Design of Experiments: Mathematical, Computational and Statistical Aspects, Organizer: Susan Holmes (Stanford University)

Terry Speed (Walter and Eliza Hall Institute of Medical Research)
Removing unwanted variation using design of experiments: 1925-2025.

Susan Holmes (Stanford University)
Computational Design of Experiments using Generative Models

Rosemary Bailey (University of St Andrews)
Semi-Latin squares and their extensions

TS10: Spatio-temporal and extreme statistical analysis, Organizers: João Araújo (Universidade Nova de Lisboa) and Jorge Milhazes (Universidade do Porto)

Ana Freitas (Universidade do Porto)
Extremal index, rare events point processes, clustering and periodicity

Ana Ferreira (Instituto Superior Tecnico da Universidade de Lisboa)
Non-stationary extremes: a spatio-temporal scedasis approach

Fernanda Cipriano (Universidade Nova de Lisboa)
Invariant measures for a class of stochastic third grade fluid equations in 2D and 3D bounded domains

Jorge Milhazes de Freitas (Universidade do Porto)
Spatio-temporal analysis of multivariate extremes for dynamical systems

Lígia Henriques Rodrigues (Universidade de Évora)
Improved Estimation of the Extreme Value Index for Risk Assessment: Bias-Reduced Methods and Applications

TS11: Advances in Inference and Modeling: formal and computational aspects, Organizers: Carlos Agra Coelho (Universidade Nova de Lisboa) and João Araújo (Universidade Nova de Lisboa)

Filipe Marques (Universidade Nova de Lisboa)
Tests for Complete Independence under Structured Covariance Assumptions

Luís Grilo (Universidade de Évora)
Estimator-Related Matrix Issues in Structural Equation Modeling with Ordinal Data

Marco Costa (University of Aveiro)
Improving Parameter Estimation in State-Space Models via Double-Iterated GMM.

Carlos Agra Coelho (Universidade Nova de Lisboa)
A likelihood Ratio Test for High-dimensional Sphericity based on a Dual Approach

TS12: Geometric and combinatorial (inverse) semigroup theory 1, Organizer Igor Dolinka (University of Novi Sad)

Carl-Fredrik Nyberg Brodda ((Korea Institute for Advanced Study)
An introduction to combinatorial inverse semigroup theory (1 & 2)

TS13: Geometric and combinatorial (inverse) semigroup theory 2, Organizer Carl-Fredrik Nyberg Brodda (Korea Institute for Advanced Study)

Mark Kambites (University of Manchester)
Maximal subgroups of special inverse monoids 1

Jan Philipp Wächter (University of Manchester)
Maximal subgroups of special inverse monoids 2

Nóra Szakács (University of Manchester)
Inverse semigroups with bounded group distortion

Igor Dolinka (University of Novi Sad)
Some new results on right units of special inverse monoids

TS14: Geometric and combinatorial (inverse) semigroup theory 3, Organizer Mark Kambites (University of Manchester)

Carl-Fredrik Nyberg Brodda (Korea Institute for Advanced Study)
The growth of free inverse monoids

Daniel Heath (University of Manchester)
Growth of monogenic free adequate monoids

Ajda Lemut Furlani (University of Ljubljana)
The solution of the word problem in the free F-birestriction monoid in enriched signature

James East (Western Sydney University)
Transformation representations of diagram monoids

TS15: New models of formal language recognition, Organizer Jorge Almeida (Universidade do Porto)

Stone recognition of languages

How to use Stone recognition for arbitrary word languages

TS16: Conjugation in semigroups, Organizers: Wolfram Bentz (Universidade Aberta) and António Malheiro (Universidade Nova de Lisboa)

Michael Kinyon (University of Denver)
The inverse monoid of partial inner automorphisms of a semigroup

Ted Dobson (University of Primorska)
TBA

Jacques Sakarovitch (Institut Polytechnique de Paris)
The computational aspect of equivalence of weighted automata

Ana Catarina Monteiro (Universidade Nova de Lisboa)
Product of Formations of Congruences on Groups