3. Check out: Friday 4th July.

——————————————————————————————————————

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

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

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

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

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

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

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

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)

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

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

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)

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

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

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

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

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

---

Plenary Session I
Monday 30 June, 09:00–10:30  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Henrique Leitão (Universidade de Lisboa)
   Alentejo in Science: Scientific Discussions at the Badajoz-Elvas Border in 1524 [09:00–09:45]
2. Robert Calderbank (Duke University)
   Teaching Old Sequences New Tricks [09:45–10:30]

---

Thematic Session: Design of Experiments: Mathematical, Computational and Statistical Aspects
Monday 30 June, 11:00–12:30  •  Auditorium
Chair: Susan Homes (Stanford University)

1. Terry Speed (Walter and Eliza Hall Institute of Medical Research)
   Removing unwanted variation using design of experiments: 1925-2025. [11:00–11:30]
2. Susan Holmes (Stanford University)
   Computational Design of Experiments using Generative Models [11:30–12:00]
3. Rosemary Bailey (University of St. Andrews)
   Semi-Latin squares and their extensions [12:00–12:30]

---

Thematic Session: Groups and Graphs
Monday 30 June, 11:00–12:28  •  Room 103
Chair: Ted Dobson (University of Primorska)

1. Đorđe Mitrović (University of Auckland)
   A new family of transitive permutation groups with exponential graph growth [11:00–11:22]
2. Stefan Gyurki (Slovak University of Technology, Bratislava)
   Small vertex transitive directed strongly regular graphs [11:22–11:44]
3. Jozef Širáň (Slovak University of Technology, Bratislava)
   Orientably-regular embeddings of complete multigraphs [11:44–12:06]
4. Marcel Jackson (La Trobe University)
   Chromatic Algebras [12:06–12:28]

---

Thematic Session: New models of formal language recognition
Monday 30 June, 11:00–12:30  •  Room 106
Chair: TBA ( )

1. Jorge Almeida (Universidade do Porto)
   New models of formal language recognition [11:00–12:30]

---

Thematic Session: Geometric and combinatorial (inverse) semigroup theory 1
Monday 30 June, 11:00–12:30  •  Room 110
Chair: Igor Dolinka (University of Novi Sad)

1. Carl-Fredrik Nyberg Brodda (Korea Institute for Advanced Study)
   An introduction to combinatorial inverse semigroup theory [11:00–12:30]

---

Thematic Session: Groups 1
Monday 30 June, 14:00–16:00  •  Room 103
Chair: Kamilla Rekvényi (University of Manchester)

1. Marina Anagnostopoulou-Merkouri (University of Bristol)
   Permutation groups, partition lattices and block structures [14:00–14:30]
2. Dimitri Leemans (Université Libre de Bruxelles)
   Gluing methods for string C-group representations [14:30–15:00]
3. Daniele Nemmi (University of Padova)
   Graphs encoding generating properties of finite groups [15:00–15:30]
4. Robert Bailey (Memorial University of Newfoundland)
   On distance-regular graphs with primitive automorphism groups [15:30–16:00]

---

Thematic Session: Inverse semigroups, restriction semigroups and related algebras
Monday 30 June, 14:00–16:00  •  Room 106
Chair: Mikhailo Dokuchaev and João Araújo (Universidade de São Paulo)

1. Ruy Exel (Universidade Federal de Santa Catarina, Florianópolis)
   Twisted Steinberg algebras, regular inclusions and induction [14:00–14:30]
2. Ganna Kudryavtseva (University of Ljubljana )
   Generalizing Steinberg algebras to algebras of ample categories [14:30–15:00]
3. Mikhailo Dokuchaev (Universidade de São Paulo)
   (Co)homology of skew product algebras by inverse monoid actions with application to Steinberg algebras [15:00–15:30]
4. José Luis Vilca Rodríguez (Universidade de São Paulo)
   Inverse semialgebras [15:30–16:00]

---

Thematic Session: Algebra and Machine Learning
Monday 30 June, 14:00–16:00  •  Room 110
Chair: Antonio Ricciardo (Algebraic AI)

1. Fernando Martin-Maroto and Antonio Ricciardo (Champalimaud Foundation and Algebraic AI)
   How Algebra can help Machine Learning [14:00–16:00]

---

Plenary Session II
Monday 30 June, 16:30–17:15  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Pablo Spiga (University of Milano-Bicocca)
   Kronecker classes, Isbell’s conjecture and derangement graphs [16:30–17:15]

---

Plenary Session III
Tuesday 1 July, 09:00–10:30  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Mikhail V. Volkov ( )
   Completely Reachable Automata: an interplay between (semi)groups, finite automata, and binary trees [09:00–09:45]
2. Gordon Royle (University of Western Australia)
   Cubic graphs and spectral gap sets [09:45–10:30]

---

Short Communications I
Tuesday 1 July, 11:00–12:12  •  Room 103
Chair: Wolfram Bentz (Universidade Aberta)

1. Claudia Justus (Stellenbosch University)
   Constructing Q-ideals for Boolean semiring partitioning using seeds [11:00–11:09]
2. Stefano Bonzio (University of Cagliari (Italy))
   On the structure and theory of McCarthy algebras [11:09–11:18]
3. Jesus Baena Gomez (Universidad de Sevilla. Dpto. Geometria y Topologia)
   Finite dimensional Tortkara algebras and combinatorial structures [11:18–11:27]
4. João Dias (Universidade de Évora)
   A Survey of Meadows in Algebra [11:27–11:36]
5. Nelson Martins-Ferreira (Polytechnic of Leiria)
   On semibiproducts of semigroups and their magma-actions [11:36–11:45]
6. Jung-Miao Kuo (National Chung-Hsing University, Taiwan)
   Hirata separability, partial Galois extension and inner partial group action [11:45–11:54]
7. Anton Baykalov (University of Galway)
   Computing zeta functions of groups and algebras [11:54–12:03]
8. Lia Malato (Universidade de Aveiro)
   A logical future for algebra [12:03–12:12]

---

Short Communications II
Tuesday 1 July, 11:00–12:30  •  Room 106
Chair: André Carvalho (University of Porto)

1. Jamie Smith (University of York)
   The endomorphism tower problem for the symmetric group [11:00–11:09]
2. Jessica Anzanello (University of Milano-Bicocca)
   On the Chebotarev invariant of a finite group [11:09–11:18]
3. Luca Sabatini (University of Warwick)
   Breaking symmetry of permutation groups [11:18–11:27]
4. Daniela Bubboloni (University of Florence (Italy))
   Null players in finite groups [11:27–11:36]
5. Ranjit Mehatari (National Institute of Technology Rourkela, India)
   On $P_4$-free power graphs [11:36–11:45]
6. Marco Barbieri (University of Lubljana)
   Separating subsets from their images [11:45–11:54]
7. Alessandro Montinaro (Università del Salento)
   The Higman-M\lowercase{c}Laughlin Theorem for the flag-transitive $2$-designs with $\lambda$ prime [11:54–12:03]
8. Justin Vast (UCLouvain)
   BMW groups [12:03–12:12]
9. Philippe Tranchida (Max Planck Institute for Mathematics in the Sciences)
   Merging Coset Geometries: Free Amalgamated Products and HNN-extensions [12:12–12:21]
10. Claudio Alexandre Piedade (Centro de Matemática da Universidade do Porto, Portugal)
    Merging Coset Geometries: Split extensions and Twistings [12:21–12:30]

---

Short Communications III
Tuesday 1 July, 11:00–12:12  •  Room 110
Chair: Inês Rodrigues (NOVA University of Lisbon)

1. Antoine Abram (UQAM)
   The stylic monoid [11:00–11:09]
2. Ambroise Grau (Universidade Nova de Lisboa)
   Extended Green’s relations of the stylic monoid [11:09–11:18]
3. Carlos M. Saiago (Universidade NOVA de Lisboa)
   Fundamental Graphs for the Maximum Multiplicity Eigenvalue [11:18–11:27]
4. So\v{n}a Pavl\’ikov\’a (Slovak University of Technology, Bratislava, Slovakia)
   Spectral indices of signable Moore-Penrose inverses of graphs [11:27–11:36]
5. Ignacio M. Pelayo (Universitat Politècnica de Catalunya (Barcelona, Spain))
   THE PROBLEM OF RECONSTRUCTING A GRAPH FROM ITS BOUNDARY DISTANCE MATRIX [11:36–11:45]
6. Lei Chen (Bielefeld University)
   Finite highly-arc-transitive digraphs [11:45–11:54]
7. Nohra Hage (Université Catholique de Lille)
   Shifted Yamanouchi domino tableaux and Q-Schur Products [11:54–12:03]
8. Adrian Lillo (Universidad de Sevilla)
   Records on trees [12:03–12:12]

---

Short Communications IV
Tuesday 1 July, 11:00–12:12  •  Room 122
Chair: Ana Catarina Monteiro (NOVA University of Lisbon)

1. Sergey Gusev (Ural Federal University, Russia)
   Finiteness conditions for lattices of monoid varieties [11:00–11:09]
2. Dmitry Kudryavtsev (University of York)
   On semigroup properties respected by finitary approximations [11:09–11:18]
3. Matthias Fresacher (Western Sydney University)
   Categorical representation of DRC-semigroups [11:18–11:27]
4. Neeraj Kumar (University of Porto)
   Counting numerical semigroups and asymptotic Wilf’s conjecture [11:27–11:36]
5. Jung Won Cho (University of St Andrews)
   Howson property for monogenic inverse semigroups [11:36–11:45]
6. Eugenia Kochubinska (Taras Shevchenko National University of Kyiv and Kyiv School of Economics)
   Wreath product of monogenic inverse monoids [11:45–11:54]
7. Catherine Reilly (University of East Anglia (UEA))
   Some decidability results for one-relator inverse monoids with two generators [11:54–12:03]
8. Callum Barber (University of St Andrews)
   Congruences and Diagonal Subsemigroups [12:03–12:12]

---

Thematic Session: Groups 2
Tuesday 1 July, 14:00–16:00  Auditorium
Chair: Marina Anagnostopoulou-Merkouri (University of Bristol)

1. Kamilla Rekvényi (University of Manchester)
   Prime Simplicial Complexes of Finite Groups [14:00–14:30]
2. Cheng Yeaw Ku (Nanyang Technological University)
   Continuos-time Quantum Walk on Cayley graph of the symmetric group. [14:30–15:00]
3. David Bradley-Williams (Computer Science Institute of Charles University, Prague.)
   Extending partial automorphisms of graphs. [15:00–15:30]
4. Scott Harper (University of Birmingham)
   Generating infinite simple groups [15:30–16:00]

---

Thematic Session: Spatio-temporal and extreme statistical analysis
Tuesday 1 July, 14:00–16:00  •  Room 106
Chair: João Araújo and Jorge Milhazes (NOVA University of Lisbon and University of Porto)

1. Ana Cristina Moreira Freitas (Universidade do Porto )
   Extremal index, rare events point processes, clustering and periodicit [14:00–14:30]
2. Ana Ferreira ( Instituto Superior Técnico da Universidade de Lisboa )
   Non-stationary extremes: a spatio-temporal scedasis approach [14:30–15:00]
3. Fernanda Cipriano (Universidade Nova de Lisboa)
   Invariant measures for a class of stochastic third grade fluid equations in 2D and 3D bounded domains [14:48–15:12]
4. Jorge Milhazes Freitas (Universidade do Porto )
   Spatio-temporal analysis of multivariate extremes for dynamical systems [15:00–15:30]
5. Lígia Henriques-Rodrigues (University of Évora)
   Improved Estimation of the Extreme Value Index for Risk Assessment: Bias-Reduced Methods and Applications [15:30–16:00]

---

Thematic Session: Geometric and combinatorial (inverse) semigroup theory 2
Tuesday 1 July, 14:00–16:00  •  Room 110
Chair: Carl-Fredrik Nyberg Brodda (Korea Institute for Advanced Study)

1. Mark Kambites (University of Manchester)
   Maximal subgroups of special inverse monoids 1 [14:00–14:30]
2. Jan Philipp Wächter (University of Manchester)
   Maximal subgroups of special inverse monoids 2 [14:30–15:00]
3. Nóra Szakács (University of Manchester)
   Inverse semigroups with bounded group distortion [15:00–15:30]
4. Igor Dolinka (University of Novi Sad)
   Some new results on right units of special inverse monoids [15:30–16:00]

---

Plenary Session IV
Tuesday 1 July, 16:30–17:15  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Nik Ruskuc (University of St Andrews)
   Heights of congruence lattices of semigroups [16:30–17:15]

---

Plenary Session V
Wednesday 2 July, 09:00–10:30  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Martin Liebeck (Imperial College London)
   Fixed point spaces for actions of finite and algebraic groups [09:00–09:45]
2. Eamonn O’Brien (University of Auckland)
   Challenging problems for matrix groups [09:45–10:30]

---

Plenary Session VI
Wednesday 2 July, 11:00–11:45  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Maria Elisa Fernandes (Universidade de Aveiro)
   Independent sets and geometries for symmetric and alternating groups [11:00–11:45]

---

Short Communications V
Wednesday 2 July, 11:45–12:21  •  Room 103
Chair: Wolfram Bentz (Universidade Aberta)

1. Emmanuel Briand (Universidad de Sevilla)
   Piecewise quasipolynomial functions [11:45–11:54]
2. Haleh Hamdi (CEMAT, Faculty of Science, University of Lisbon)
   Clifford regularity in the context of graded integral domains [11:54–12:03]
3. Josiah Aakre (University of Manchester)
   Simplicity of algebras associated to self-similar groupoids [12:03–12:12]
4. Michael Levet (College of Charleston, Department of Computer Science)
   Computational Complexity of Identifying Groups without Abelian Normal Subgroups [12:12–12:21]

---

Short Communications VI
Wednesday 2 July, 11:45–12:21  •  Room 106
Chair: André Carvalho (University of Porto)

1. C. Correia Ramos (Departamento de Matemática, CIMA, Universidade de Évora)
   Algebraic invariants for discrete dynamical systems [11:45–11:54]
2. Matevž Miščič (Institute of Mathematics, Physics and Mechanics, Ljubljana)
   Random Lie bracket on $\mathfrak{sl}_2(F_p)$ [11:54–12:03]
3. Rustam Turdibaev (New Uzbekistan University)
   Noncommutative Poisson structure and invariants of matrices [12:03–12:12]
4. Rémi Delaby (Université Libre de Bruxelles)
   Geometries with trialities arising from linear spaces [12:12–12:21]

---

Short Communications VII
Wednesday 2 July, 11:45–12:21  •  Room 110
Chair: Inês Rodrigues (NOVA University of Lisbon)

1. Andrew Ryzhikov (University of Warsaw, Poland)
   Free hulls and decompositions of codes: old results, new open problems [11:45–11:54]
2. José Carlos Costa (CMAT, University of Minho)
   The $\omega$-word problem over the pseudovariety of aperiodic block groups [11:54–12:03]
3. Azeef Ajmal (Western Sydney University)
   Left reductive regular semigroups [12:03–12:12]
4. Alen Đurić (Institute of Mathematics, Physics and Mechanics (Slovenia))
   Garside’s coherent presentations of monoids [12:12–12:21]

---

Short Communications VIII
Wednesday 2 July, 11:45–12:21  •  Room 122
Chair: Ana Catarina Monteiro (NOVA University of Lisbon)

1. Yayi Zhu (University of St Andrews)
   Relational depth of transformation semigroups [11:45–11:54]
2. Serhii Bardyla (University of Vienna)
   Topological transformation monoids [11:54–12:03]
3. Tânia Paulista (NOVA University of Lisbon & NOVA Math)
   Commuting graph of a $0$-Rees matrix semigroup over a group [12:03–12:12]
4. Francisco Loureiro da Silva Mendes Moreira (CEMS.UL/FCUL)
   Constructing supercharacter theories for inverse semigroups [12:12–12:21]

---

Plenary Session VII
Wednesday 2 July, 14:00–15:35  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Cheryl E Praeger (University of Western Australia)
   (The Fun of) Working with Peter [14:00–14:45]
2. Colva Roney-Dougal (University of St Andrews)
   Bases and relational complexity [14:50–15:35]

---

Plenary Session VIII
Wednesday 2 July, 16:30–17:15  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Persi Diaconis (Stanford University)
   Combinatorics and the Sylow theorems [16:30–17:15]

---

Plenary Session IX
Thursday 3 July, 09:00–10:30  •  Auditorium
Chair: Peter Cameron (University of St Andrews)

1. Victoria Gould (University of York)
   Diameter of pseudo-finite semigroups [09:00–09:45]
2. Marianne Johnson (University of Manchester)
   Forbidden configurations for coherency [09:45–10:30]

---

Thematic Session: Advances in Inference and Modeling: formal and computational aspects
Thursday 3 July, 11:00–12:28  •  Room 106
Chair: Carlos A. Coelho, Marta Lopes (NOVA FCT)

1. Carlos A. Coelho (NOVA University of Lisbon)
   A likelihood Ratio Test for High-dimensional Sphericity based on a Dual Approach [11:00–11:22]
2. Luís M. Grilo (University of Évora)
   Estimator-Related Matrix Issues in Structural Equation Modeling with Ordinal Data [11:22–11:44]
3. Filipe J. Marques (NOVA University of Lisbon)
   Tests for Complete Independence under Structured Covariance Assumptions [11:44–12:06]
4. Marco André da Silva Costa (University of Aveiro)
   Improving Parameter Estimation in State-Space Models via Double-Iterated GMM [12:06–12:28]

---

Thematic Session: Conjugacy and Induced actions in groups, semigroups, and automata
Thursday 3 July, 11:00–12:28  •  Room 110
Chair: Wolfram Bentz and António Malheiro (Universidade Aberta and NOVA University of Lisbon)

1. Michael Kinyon (University of Denver)
   The inverse monoid of partial inner automorphisms of a semigroup [11:00–11:22]
2. Ana Catarina Monteiro (NOVA University of Lisbon)
   Product of Formations of Congruences on Groups [11:22–11:44]
3. Jacques Sakarovitch (LTCI, Télécom Paris, Institut Polytechnique de Paris )
   The computational aspect of equivalence of weighted automata [11:44–12:06]
4. André Carvalho (University of Porto)
   Geodesic languages for rational subsets and conjugates in virtually free groups [12:06–12:28]

---

Thematic Session: Automated Reasoning and the Future of Mathematical Practice
Thursday 3 July, 11:00–12:30  •  Room 122
Chair: António Malheiro (NOVA University of Lisbon)

1. Tom Goertzen (University of Sydney)
   Extracting Proofs from Magma into Lean [11:00–11:30]
2. João Araújo ( NOVA University of Lisbon)
   An Overview of ProverX: Capabilities and Achievements [11:30–12:00]
3. Ursula Martin (University of Oxford)
   Will machines change mathematics? [12:00–12:30]

---

Thematic Session: Groups 3
Thursday 3 July, 14:00–16:00  • Auditorium
Chair: João Araújo (NOVA University of Lisbon)

1. Coen del Valle (University of St. Andrews)
   Cameron’s Greedy Conjecture [14:00–14:30]
2. Claude Marion (Centro de Matemática da Universidade do Porto)
   Finite and profinite groups with the Magnus Property [14:30–15:00]
3. Ori Parzanchevski (The Hebrew University of Jerusalem)
   Bounded cutoff on matrix groups [15:00–15:30]
4. Marston Conder (University of Auckland, New Zealand)
   Some unexpected theoretical consequences of computations involving symmetry [15:30–16:00]

---

Thematic Session: Commutative Monoids
Thursday 3 July, 14:00–16:00  •  Room 106
Chair: Manuel Branco and Inacio Ojeda (Universidade de Lisboa and Universidad de Extremadura)

1. M. Ángeles Moreno Frías (Universidad de Cádiz)
   Elasticity of a numerical semigroup and packed semigroups [14:00–14:20]
2. Isabel Colaço (Instituto Politécnico de Beja, Portugal)
   Minimal free resolution of Generalized Repunit Algebras [14:20–14:40]
3. Alberto Vigneron-Tenorio (Universidad de Cádiz)
   Generalisation of some results for numerical semigroups to affine semigroup [14:40–15:00]
4. Raquel Tapia-Ramos (Universidad de Cádiz)
   An approach to ideals of affine semigroups and MED-semigroups [15:00–15:20]
5. Carlos Jesús Moreno (Universidad de Extremadura)
   Numerical semigroups linked to curves with only one place at infinity [15:20–15:40]
6. José Navarro (Universidad de Extremadura)
   Exploring Toric Varieties with Condensed Mathematics: some open problems [15:40–16:00]

---

Thematic Session: Geometric and combinatorial (inverse) semigroup theory 3
Thursday 3 July, 14:00–16:00  •  Room 110
Chair: Mark Kambites (University of Manchester)

1. Carl-Fredrik Nyberg Brodda (Korea Institute for Advanced Study)
   The growth of free inverse monoids [14:00–14:30]
2. Daniel Heath (University of Manchester)
   Growth of monogenic free adequate monoids [14:30–15:00]
3. Ajda Lemut Furlani (University of of Ljubljana)
   The solution of the word problem in the free $F$-birestriction monoid in enriched signature [15:00–15:30]
4. James East (Western Sydney University)
   Transformation representations of diagram monoids [15:30–16:00]

---

Plenary Session X
Thursday 3 July, 16:30–17:15  •  Auditorium
Chair: Persi Diaconis (Stanford University)

1. Peter Cameron (University of St Andrews)
   SEMPER ABSTRACTA [16:30–17:15]