Parallel sessions

Note: all parallel session information is included in the book of abstracts.

Session A
Monday 3 July, 11:00–12:30  •  Main auditorium
Chair: Volker Diekert (University of Stuttgart)

  1. Carl-Fredrik Nyberg Brodda (Université Gustave Eiffel)
    One relation: the story so far [11:00–11:20]
  2. Alexei Lisitsa (University of Liverpool )
    New AC-simplifications found by automated reasoning [11:20–11:40]
  3. Luís Oliveira (CMUP, Dep. Mat., Fac. Ciências, Univ. Porto, Portugal)
    Weakly generated regular semigroups [11:40–12:00]
  4. André Carvalho (NOVA University of Lisbon & NOVA Math, Portugal)
    Algebraic and context-free subsets of subgroups [12:00–12:20]

Session B
Partial actions and partial representations
Organized by: Ganna Kudryavtseva (University of Ljubljana)
Monday 3 July, 11:00–12:30  •  Living room
Chair: Carlos Santos (NOVA University of Lisbon & NOVA Math)



  1. Mikhailo Dokuchaev (University of Sao Paulo)
    Group (co)homology related to partial representations [11:00–11:20]
  2. William Hautekiet (ULB - Université libre de Bruxelles)
    Partial comodules of groups [11:20–11:40]
  3. Ganna Kudryavtseva (University of Ljubljana)
    $\mathrm{Hom}$-set globalization of partial semigroup actions [11:40–12:00]
  4. Valdis Laan (University of Tartu)
    Tensor product globalization of partial semigroup actions [12:00–12:20]

Session C
Semigroups of transformations
Organized by: Vítor Hugo Fernandes (NOVA University of Lisbon & NOVA Math, Portugal)
Monday 3 July, 16:30–18:00  •  Main auditorium
Chair: Vítor Hugo Fernandes (NOVA University of Lisbon & NOVA Math)



  1. Jörg Koppitz (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia )
    Ranks and presentations for order-preserving transformations with one fixed point [16:30–16:50]
  2. Teresa M. Quinteiro (Instituto Superior de Engenharia de Lisboa & NOVA Math, Portugal)
    Generators of semigroups of endomorphisms of a finite path [16:50–17:10]
  3. Apatsara Sareeto (Institute of Mathematics, University of Potsdam, Germany )
    The rank of the semigroup of order-, fence-, and parity-preserving partial injections on a finite set [17:10–17:30]
  4. Tânia Paulista (NOVA University of Lisbon & NOVA Math, Portugal)
    Commutative nilpotent transformation semigroups [17:30–17:50]

Session D
Monday 3 July, 16:30–18:00  •  Living room
Chair: Mark Kambites (University of Manchester)

  1. Trevor Jack (Illinois Wesleyan University)
    Deterministic Logspace Algorithms for Checking Conjugacy in Inverse Semigroups [16:30–16:50]
  2. Craig Miller (University of York)
    The heights of Green's posets of semigroups [16:50–17:10]
  3. Samuel Herman (CUNY Graduate Center)
    Pointlike sets with respect to ER [17:10–17:30]
  4. Volker Diekert (University of Stuttgart)
    Decidability of membership problems for flat rational subsets of GL(2, Q) [17:30–17:50]

Session E
Tropical matrix and plactic-like monoids
Organized by: Duarte Chambel Ribeiro (NOVA University of Lisbon & NOVA Math, Portugal)
Tuesday 4 July, 11:00–12:30  •  Main auditorium
Chair: Carl-Fredrik Nyberg Brodda (Université Gustave Eiffel)



  1. Alice Clayphan-Taylor (University of Manchester)
    Congruences on 2 x 2 tropical matrices [11:00–11:20]
  2. Thomas Aird (University of Manchester)
    Semigroup Identities and Varieties of Plactic Monoids [11:20–11:40]
  3. Duarte Ribeiro (NOVA University of Lisbon & NOVA Math, Portugal)
    Tropical representations and identities of the stylic monoid [11:40–12:00]
  4. Ricardo Guilherme (NOVA University of Lisbon & NOVA Math, Portugal)
    Generalizing the hypoplactic monoid through quasi-crystals for arbitrary root systems [12:00–12:20]

Session F
Combinatorial Game Theory — Dicotic Misère Structure
Organized by: Carlos Pereira dos Santos (NOVA University of Lisbon & NOVA Math, Portugal)
Tuesday 4 July, 11:00–12:30  •  Living room
Chair: Alan J. Cain (NOVA University of Lisbon & NOVA Math)



  1. Neil A. McKay (University of New Brunswick, Saint John, Canada)
    The scale of ups [11:00–11:20]
  2. Richard Nowakowski (Dalhousie University, Canada)
    Absolute Combinatorial Game Theory [11:20–11:40]
  3. Rebecca Milley (Grenfell Campus, Memorial University of Newfoundland, Canada)
    Progress on misère dicots: game comparison, canonical forms, and conjugate inverses [11:40–12:00]
  4. Carlos Pereira dos Santos (NOVA University of Lisbon & NOVA Math, Portugal)
    Invertible elements of the misère dicotic universe [12:00–12:20]

Session G
Structure and Computation in General Algebras
Organized by: Peter Mayr (University of Colorado Boulder)
Tuesday 4 July, 11:00–12:30  •  Canteen
Chair: Peter Mayr (University of Colorado Boulder)



  1. Armin Weiß (Universität Stuttgart)
    Hardness of equation satisfiability for finite solvable groups [11:00–11:20]
  2. Piotr Kawałek (Marii-Curie-Slodowska University in Lublin)
    A probabilistic approach to solving equations in finite algebraic structures [11:20–11:40]
  3. Michael Kompatscher (Charles University, Prague)
    Algebras with short pp-definitions [11:40–12:00]
  4. Bernardo Rossi (Johannes Kepler Universität Linz)
    Polynomial completeness properties of Mal’cev algebras with (SC1) [12:00–12:20]

Session H
Nilpotency and Geometry in Algebra
Organized by: Wolfram Bentz (Universidade Aberta)
Wednesday 5 July, 11:00–12:30  •  Main auditorium
Chair: Robert D. Gray (University of East Anglia)



  1. Peter Mayr (University of Colorado Boulder)
    Commutator theory for semigroups [11:00–11:20]
  2. Csaba Schneider (Universidade Federal de Minas Gerais)
    The Hilbert series of the invariant algebras of the standard filiform Lie algebras [11:20–11:40]
  3. Nora Szakacs (University of Manchester)
    Geometric properties of inverse semigroups [11:40–12:00]
  4. Wolfram Bentz (Universidade Aberta)
    Extending the congruences of transformation monoids to its products [12:00–12:20]

Session I
Wednesday 5 July, 11:00–12:30  •  Living room
Chair: Marianne Johnson (University of Manchester)

  1. Ana-Catarina C. Monteiro (FCUL and CEMAT, Universidade de Lisboa)
    Formations on Orthodox Semigroups [11:00–11:20]
  2. Dmitry Kudryavtsev (University of Manchester)
    Local embeddability into finite semigroups [11:20–11:40]
  3. Ambroise Grau (University of York)
    Restrictions and extensions in the endomorphism monoid of an independence algebra [11:40–12:00]
  4. Matthew Brookes (University of St Andrews)
    A method to determine coherency of monoids [12:00–12:20]

Session J
Logic and Computation
Organized by: Paulo Guilherme Santos (NOVA University of Lisbon & NOVA Math, Portugal)
Wednesday 5 July, 11:00–12:30  •  Canteen
Chair: João Araújo (NOVA University of Lisbon & NOVA Math)



  1. Gilda Ferreira (FCUL)
    System F: the convergent journey of Logic and Computer Science [11:00–11:20]
  2. Isabel Oitavem (NOVA University of Lisbon & NOVA Math, Portugal)
    On a shortest proof of \phi implies \phi [11:20–11:40]
  3. Eduardo Skapinakis (NOVA University of Lisbon & NOVA Math, Portugal)
    Implicit complexity and term rewriting systems [11:40–12:00]
  4. Paulo Guilherme Santos (NOVA University of Lisbon & NOVA Math, Portugal)
    Provability Implies Provable Provability' using FLINSPACE [12:00–12:20]

Session K
Combinatorics on Words
Organized by: Conceição Nogueira / Inês Rodrigues (IPLeiria, CMAT / NOVA University of Lisbon & NOVA Math, Portugal)
Thursday 6 July, 11:00–12:30  •  Main auditorium
Chair: Inês Rodrigues (NOVA University of Lisbon & NOVA Math)



  1. Manuel Silva (NOVA University of Lisbon & NOVA Math, Portugal)
    Ramsey-type results for infinite words [11:00–11:20]
  2. Conceição Nogueira (IPLeiria, CMAT)
    The overlap gap between left-infinite and right-infinite words [11:20–11:40]
  3. José Carlos Costa (CMAT, Universidade do Minho)
    Asymptotic behavior of the overlap gap between left-infinite and right-infinite words [11:40–12:00]
  4. Francesco Dolce (FIT - CTU in Prague)
    Dendric languages and the Finite Index Basis Property [12:00–12:20]

Session L
With the help of the machine
Organized by: Gilda Ferreira (Universidade Aberta / CMAFcIO)
Thursday 6 July, 11:00–12:30  •  Living room
Chair: Gilda Ferreira (Universidade Aberta / CMAFcIO)



  1. José Santos (Microsoft)
    Large Language Models as generic machine learning models [11:00–11:20]
  2. Ludwig Krippahl (NOVA LINCS)
    A quick introduction to deep learning [11:20–11:40]
  3. Luís Cruz-Filipe (University of Southern Denmark)
    Mathematics and Symbolic AI [11:40–12:00]
  4. Hugo Penedones (Inductiva Research Labs)
    AI for scientific computing [12:00–12:20]

Session M
Thursday 6 July, 11:00–12:30  •  Canteen
Chair: António Malheiro (NOVA University of Lisbon & NOVA Math)

  1. Maria Elisa Fernandes (Universidade de Aveiro)
    The number of string C-groups of high rank [11:00–11:20]
  2. Inês Legatheaux Martins (Universidade de Lisboa)
    Schur-Weyl dualities for the rook monoid: an approach via Schur algebras [11:20–11:40]
  3. Tânia Z. Silva (FCUL CEAFEL)
    A Schur ring approach to supercharacters of groups associated with finite radical rings [11:40–12:00]
  4. Maria Loukaki (Department of Mathematics & Applied Mathematics, University of Crete )
    On the common transversal probability in finite groups. [12:00–12:20]