Thematic Sessions

Chair: Mai Gehrke (CNRS and Université Côte d'Azur, France)

Speakers:

• "Adding quantifiers via Stone duality", Marco Abbadini (Université Catholique de Louvain, Belgium)

• "Duality theory of algebras of partial functions", Brett McLean (Ghent University, Belgium)

• "Dualities for T0 spaces", Anna Laura Suarez (University of the Western Cape, South Africa)

Chair: Pedro Lopes (IST & CAMSGD, University Lisbon, Portugal)

Speakers:

• "Quandle colorings of tangles", António Salgueiro (University of Coimbra, Portugal)

• "Biracks and LF-(left) quasigroups", Anna Zamojska-Dzienio (Warsaw University of Technology, Poland)

• "The category of weak Hopf quasigroups.", Ramón González Rodríguez (CITMAga and Universidade de Vigo, Spain)

Chair: Lilya Budaghyan (University of Bergen, Norway)

Speakers:

• "A notion on S-boxes for a partial resistance to some integral attacks", Claude Carlet (Universities of Bergen, Norway and Paris 8, France)

• "Secondary Constructions for Cryptographically Optimal Functions", Nadiia Ichanska (University of Bergen, Norway)

• "On k-to-1 functions", Nikolay Kaleyski (University of Bergen, Norway)

Chair: André Carvalho (University of Évora, Portugal) and João Araújo (NOVA University of Lisbon, Portugal)

Speakers:

• "Some Results on the base size of permutation groups", Pablo Spiga (University of Milano-Bicocca, Italy)

• "Towards inductive proofs in algebraic graph theory with applications", Ted Dobson (University of Primorska, Slovenia)

• "Above and below primiticity", Peter J Cameron (University of St. Andrews, UK)

Chair: Marianne Johnson (University of Manchester, UK)

Speakers:

• "Generalizing the hypoplactic monoid via quasi-crystals: contrasting words and Littelmann paths", Ricardo Guilherme (University Aberta, Portugal)

• "From Row Presentations to Coherence for the Stylic Monoid", Nohra Hage (Université Catholique de Lille, France)

• "Extended Green's relations for the stylic monoid.", Thomas Aird (University of Manchester, UK)

Chair: Catarina Carvalho (University of Hertfordshire, UK)

Speakers:

• "Introduction to the QCSP", Barnaby Martin (Durham University, UK)

• "QCSP on Tadpoles", Kristina Asimi (Durham University, UK)

• "Majority Functions and Cacti Graphs", Mathison Knight (University of Hertfordshire, UK)

Chair: Ana Catarina Monteiro (NOVA University Lisbon) and Fernando Martin-Maroto (Champalimaud Foundation, Portugal)

Speakers:

• "New research directions in Algebraic Machine Learning and open discussion", Marcel Jackson (La Trobe University, Australia)

• "Atomized Semilattices and congruences", Antonio Ricciardo (Algebraic AI, Spain)

• "Introduction to Algebraic Machine Learning", Fernando Martin-Maroto (Champalimaud Foundation, Portugal)

Chair: Emanuele Rodaro (Politecnico di Milano, Italy) and João Araújo (Nova University Lisbon)

Speakers:

• "Synchronizing groups", Peter J Cameron (University of St. Andrews, UK)

• "Careful synchronisation and primitive sets of nonnegative matrices", Antoni Wiśniewski (University of Warsaw, Poland)

• "Totally Synchronizing k-Out Graphs: Symmetry, Quotients, and Complexity", Emanuele Rodaro (Politecnico di Milano, Italy)

Chair: Mikhailo Dokuchaev (University of São Paulo, Brazil)

Speakers:

• "A brisk walk in partial representation theory", Paolo Saracco (University of Torino, Italy)

• "Homology of epsilon-strongly graded algebras", Emmanuel Jerez (Guangdong Technion-Israel Institute of Technology, China)

• "On the relation between two notions of spectrum in quaternionic Hilbert spaces", Cristina Diogo (ISCTE, Portugal)

Chair: Ivan Shestakov (University of São Paulo, Brazil) and Mikhail Volkov (no affiliation, Guest Honoree)

Speakers:

• "Differential identities of matrix algebras", Jose Ramon Brox Lopez (University of Valladolid, Spain)

• "Compatible Lie algebras and their representations", Samuel Lopes (University of Porto, Portugal)

• "The Tangent Lie Algebras of Automorphism Groups of Free Algebras", Ivan Shestakov (University of São Paulo, Brazil)

Chair: Ana Moura (ISEP&CMUP, Portugal)

Speakers:

• "Free profinite monoids, S-adic representations, and relative invertibility", Herman Goulet-Ouellet (Université de Moncton, Canada) 

• "A topological approach to maximal bifix decoding", Alfredo Costa (University of Coimbra, Portugal)

• "Numerical Semigroups and Formal Languages", Manuel Delgado (University of Porto, Portugal)

Chair: Carl-Fredrik Nyberg Brodda  (KIAS, South Korea)

Speakers:

• "Finite presentations of Thompson's monoids", Alex Levine (University of East Anglia, UK)

• "Thompson groups meet partition monoids.", Luna Elliott (University of Manchester, UK)

• "A language-theoretic characterisation of subgroups of Thompson's group V", Corentin Bodart (University of Oxford, UK)

Chair:  Victoria Gould (University of York, UK)

Speakers:

• "The Identities of the free (left) Ehresmann monoid", Thomas Aird (University of Manchester, UK)

• "Free Ehresmann monoids and coherency", Marianne Johnson  (University of Manchester, UK)

• "The free F-restriction semigroups", Ajda Lemut Furlani (IMFM Ljubljana and University of Ljubljana, Slovenia)

Chair: Corentin Bodart (University of Oxford, UK)

Speakers:

• "Hyperbolic surfaces and 3-manifolds", David Xu  (KIAS, South Korea)

• "Profinite rigidity and the second homology group", Carl-Fredrik Nyberg Brodda  (KIAS, South Korea)

• "Möbius transformations in higher dimensions", David Xu  (KIAS, South Korea)

Chair: Mikolas Janota (Czech Technical University, Czceh Republic) 

Speakers:

• "Automated Reasoning for Proving Non-Orderability of Groups and Quandles", Alexei Lisitsa (University of Liverpool, UK)

• "Understandable Autoformalization", Atle Hahn (AI4REASON, Czech Republic)

• "Connecting the Past, Present, and the Future in AI for Math", Jan Hula  (Czech Technical University, Czech Republic)

Chair: Ted Dobson (University of Primorska, Slovenia)

Speakers:

• "Graphs on groups and algebras", Peter J Cameron (University of St. Andrews, UK)

• "Exploring the graphs associated with groups", Samir Zahirovic (University of Novi Sad, Serbia)

• Tânia Paulista (Center of Mathematics University of Porto, Portugal)

Chair: Manuel Branco (University of Evora, Portugal)

Speakers:

• "On two questions on numerical semigroups posed by Herbert S. Wilf", Manuel Delgado (University of Porto, Portugal)

• "Partial Results Toward Wilf’s Conjecture", Neeraj Kumar (CMUP, Portugal)

• "The covariety of Bracelet numerical  semigroups", Ilvécio Ramos (University of Evora, Portugal)

• "A stroll in the meadows", João Dias (University of Evora, Portugal)

Chair: Conceição Nogueira (Polytechnic University of Leiria, CMAT, Portugal)

Speakers:

• "The finite basis problem revisited", Marcel Jackson (La Trobe University, Australia) 

• "Elementary definability of algebraic linear groups over rings", Elena Bunina (Bar-Ilan University, Israel)

• "Poset block structures and generalized wreath products", Rosemary Bailey (St Andrews University, UK)