Program
Sunday, 30 June 2024
18:00 Registration (Department of Mathematics, Building 11)
20:00 Welcome Dinner (University Restaurant - Building F)
Monday, 1 July 2024
08:00 - 10:00 Late registration (Department of Mathematics, Building 11)
08:45 Opening Ceremony - Don't miss it!
(Sala de Atos Académicos - Building 25)
09:00 Anne Schilling: From quasi-symmetric to Schur expansions: crystal skeletons and the quasi-Kostka matrix
(Sala de Atos Académicos - Building 25)
09:45 Dimitri Leemans: Highly symmetric polytopes: recent results and future challenges
(Sala de Atos Académicos - Building 25)
10:30 Coffee-Break
11:00 Short Communications - full details here
(Sala de Atos Académicos - Building 25)
12:30 Lunch (Crasto Canteen Complex, Building M)
14:15 Thematic Session: Algebraic aspects of symbolic dynamics I (Room 23.1.5. - Building 23)
(organizers: Jorge Almeida, Alfredo Costa and Herman Goulet-Ouellet)
14:15 Thematic Session: Solving Equations in Algebraic Structures (Room 23.1.7. - Building 23)
(organizers: Volker Diekert and Alexei Miasnikov)
16:15 Coffee-Break (Building 23)
16:45 Augmented Intelligence Theorem Proving I (Room 11.1.32 - Building 11)
(organizers: João Araújo and Michael Kinyon)
Exercises for the session can be found here
Tuesday, 2 July 2024
09:00 Olga Kharlampovich: Subgroup Separability in RAAGs via representations
(Sala de Atos Académicos - Building 25)
09:45 James East: Projection algebras and free regular *-semigroups
(Sala de Atos Académicos - Building 25)
10:30 Coffee-Break
11:00 Short Communications - full details here
(Sala de Atos Académicos - Building 25)
12:45 Lunch (Crasto Canteen Complex, Building M)
14:15 Thematic Session: Algebraic aspects of symbolic dynamics II (Room 23.1.5. - Building 23)
(organizers: Jorge Almeida, Alfredo Costa and Herman Goulet-Ouellet)
14:15 Thematic Session: Symmetries in discrete objects (Room 23.1.6. - Building 23)
(organizer: Maria Elisa Fernandes)
14:15 Thematic Session: Identities and quasi-identities: finite axiomatization and complexity issues (Room 23.1.7. - Building 23)
(organizer: Mikhail Volkov)
16:15 Coffee-Break (Building 23)
16:45 Augmented Intelligence Theorem Proving II (Room 11.1.32 - Building 11)
(organizers: João Araújo and Michael Kinyon)
Exercises for the session can be found here
Wednesday, 3 July 2024
09:00 Martin Liebeck: On a problem of Araújo and Cameron
(Sala de Atos Académicos - Building 25)
09:45 Victoria Gould: Coherency for monoids and purity for their acts
(Sala de Atos Académicos - Building 25)
10:30 Coffee-Break
11:00 Short Communications - full details here
(Sala de Atos Académicos - Building 25)
12:45 Lunch (Crasto Canteen Complex, Building M)
14:15 Thematic Session: Algebraic aspects of symbolic dynamics III (Room 23.1.5. - Building 23)
(organizers: Jorge Almeida, Alfredo Costa and Herman Goulet-Ouellet)
14:15 Thematic Session: Language theory in (semi)group theory (Room 23.1.6. - Building 23)
(organizer: Carl-Fredrik Nyberg Brodda)
14:15 Thematic Session: Numerical Semigroups: From Algebraic Geometry to Error Correction and Beyond (Room 23.1.7. - Building 23)
(organizer: Mahir Can)
16:15 Coffee-Break (Building 23)
16:45 Stuart Margolis: Complexity 1 is Decidable For Finite Semigroups
(Room 23.1.6. - Building 23)
17:30 Pascal Weil: Average-case complexity of certain algorithms on subgroups of free groups
(Room 23.1.6. - Building 23)
19:00 Boat trip (Cais 8, Rua João Mendonça, n. 25)
20:00 Banquet
Thursday, 4 July 2024
09:00 Laurent Bartholdi: Automatic Actions
(Sala de Atos Académicos - Building 25)
09:45 Persi Diaconis: What makes “Wild” wild?
(Sala de Atos Académicos - Building 25)
10:30 Coffee-Break
11:00 Short Communications - full details here
(Sala de Atos Académicos - Building 25)
12:45 Lunch (Crasto Canteen Complex, Building M)
14:15 Thematic Session: Combinatorial and geometric inverse monoid theory (Room 23.1.6. - Building 23)
(organizer: Robert Gray)
14:15 Thematic Session: Stallings graphs and the lattice of subgroups of a free group (Room 23.1.7. - Building 23)
(organizer: Enric Ventura)
16:15 Coffee-Break (Building 23)
16:45 Augmented Intelligence Theorem Proving III (Room 23.1.7 - Building 23)
(organizers: João Araújo and Michael Kinyon)
Exercises for the session can be found here
Friday, 5 July 2024
10:00 Closing Session
To encourage participants to gather, enjoy meals together, and possibly discover new collaborative projects, we recommend the following dining options:
Monday: Espeto do Sul (Brazilian), Adamastor (Cervejaria), or San Marco (Italian)
Tuesday: Forneria (Italian), Telheiro (Traditional), or Nossa Casa (Seafood)
Thursday: Espeto do Sul (Brazilian), Forneria (Italian), or Nossa Casa (Seafood)
We hope these suggestions help make your evenings enjoyable and fruitful!