|
|
|
|
The conference will take place from June 6th to June 13th at the
Stevens Institute of Technology.
All talks will be held in Room 104 of Babbio Center (Building #3 on the campus map).
The talks will be available online via Zoom. Please note that each of the six sessions has its own unique Zoom link.
Below is the tentative schedule for each day of the conference.
|
|
(Online Day) Friday, June 6, 2025
|
| 7:20-8:05 |
  E. Zelmanov, On Growth and Complexity functions. |
| 8:10-8:55 |
R. Sklinos, First-order sentences in random groups. |
| 9:00-9:45 |
M. Gromov, Contextual and Structural Entropy in Biology and in Languages. |
| 9:55-10:40 |
A. Atkarskaya, n-Engel groups for large n. |
| 10:50-11:35 |
N. Romanovskiy, Morley rank of a definable set over a divisible rigid group. |
| |
| 11:35-11:50 |
Short Break |
| |
| 11:50-12:30 |
E. Daniyarova, Interpretation theory using the metabelian Baumslag–Solitar group \(BS(1, k)\) as an example |
| 12:40-13:20 |
A. Treyer, Definable subgroups of nilpotent groups. |
| 13:30-14:10 |
S. Andre, Around first-order rigidity of Coxeter groups. |
| 8:30-9:00 |
Coffee |
| 9:00-9:45 |
T. Riley, The lengths of conjugators in finitely presented groups. |
| 9:55-10:40 |
T. Nagnibeda, Generalized word problem in automata groups. |
| 10:50-11:35 |
(Schupp Lecture) L. Bartholdi, The domino problem on groups and Schreier graphs. |
| 11:45-12:10 |
O. Kharlampovich, Non-standard free groups. |
| |
| 12:10-13:30 |
Lunch |
| |
| 13:30-14:10 |
E. Bunina, Automorphisms of Twisted Chevalley Groups. |
| 14:20-15:00 |
M. Casals-Ruiz, On the isomorphism problem for generalised Baumslag-Solitar groups. |
| 15:00-15:20 |
Coffee |
| 15:20-15:45 |
T. Ho, The first-order theory of torsion-free Tarski monsters. |
| 15:55-16:35 |
I. Kapovich, On the Cannon-Thurston map for mapping tori of free group endomorphisms. |
| 16:45-17:10 |
A. Nikolaev, Nonstandard Group Theory. |
| |
| 18:00-20:00 |
Conference Reception in Babbio Atrium |
| 8:30-9:00 |
Coffee |
| 9:00-9:45 |
M. Lohrey, Streaming algorithms for (semi)groups. |
| 9:55-10:40 |
L. Ciobanu, Ordering groups and the Identity Problem. |
| 10:50-11:35 |
V. Shpilrain, Automorphic orbits in free groups. |
| 11:45-12:10 |
A. Ushakov, Spherical equations in \(\mathbb{Z}_2 \wr (F_2\times F_2)\) are undecidable. |
| |
| 12:10-13:30 |
Lunch |
| |
| 13:30-14:10 |
R. Skipper, Random Branched Covers of Finitely Presented Groups. |
| 14:20-15:00 |
E. Plotkin, Model theory of algebraic groups. |
| 15:00-15:20 |
Coffee |
| 15:20-15:45 |
B. Greenfeld, When is an almost-solution, almost a solution? |
| 15:55-16:35 |
B. Khoussainov, Semigroups, groups, algebras, and their finitely presented expansions. |
| 16:45-17:10 |
D. Puder, Detecting primitivity in the free group algebra. |
| 8:30-9:00 |
Coffee |
| 9:00-9:45 |
D. Osin, Classifying group actions on hyperbolic spaces. |
| 9:55-10:40 |
I. Kazachkov, On automorphisms of graphs of groups with cyclic edge groups. |
| 10:50-11:35 |
R. Grigorchuk, The Collatz \(3x + 1\) Conjecture and Self-Similar Groups. |
| 11:45-12:10 |
B. Gilman, The Relative Complexity of Formal Languages Associated with Finitely Generated Groups |
| |
| 12:10-13:30 |
Lunch in Babbio 104 with 15-Minute Preview of Workshop on Applied AI in Mathematical Research (sponsored by Nebius) |
| |
| 13:30-14:10 |
T. Koberda, Homeomorphism groups of manifolds through logic. |
| 14:20-15:00 |
A. Vdovina, Groups acting on buildings and their subgroups. |
| 15:00-15:20 |
Coffee |
| 15:20-15:45 |
L. Shneerson, On identities and free subsemigroups of inverse semigroups with zero defined by positive relations. |
| 15:55-16:35 |
D. Savchuk, Diagonal Actions of Groups Acting on Rooted Trees. |
| 16:45-17:10 |
T. Bokelavadze, Malcev correspondence and bi-interpretability. |
| |
| 17:20-17:40 |
L. Bartholdi, Demo.lean |
| 17:40-18:50 |
V. Stepanov, Applied AI in Mathematical Research: A Practical Workshop. |
| 8:30-9:00 |
Coffee |
| 9:00-9:45 |
V. Diekert, Diophantine Problems: Forever Young. |
| 9:55-10:40 |
A. Weiss, Membership in finite inverse semigroups. |
| 10:50-11:35 |
P. Weil, On the average-case complexity of the word problem in subgroups of \(GL_d(\mathbb{Z})\) |
| 11:45-12:10 |
M. Sohrabi, First-order Rigidity of Finitely Generated Rings. |
| |
| 12:10-13:30 |
Lunch |
| |
| 13:30-14:10 |
I. Shestakov, Admissible varieties of algebras. |
| 14:20-15:00 |
M. Elder, On the complexity of the epimorphism problem. |
| 15:00-15:20 |
Coffee |
| 15:20-15:45 |
A. Duncan, How to blow up almost all words of a multiple context free language. |
| 15:55-16:35 |
B. Steinberg, The homology of groupoids and groups associated to self-similar groups. |
| 16:45-17:10 |
D. Ovchinnikov, Undecidable Diophantine problems in groups and rings. |
|
(AI and Mathematics: Current Trends and Future Directions II) Friday, June 13, 2025
|
| For more information see: https://ericgramos.github.io/ai_day/index.html |
| |
| 8:30-9:00 |
Coffee |
| 9:00-9:45 |
Y. Beloshapka, AI for Mathematical Reasoning: Formal vs. Natural Language Approaches |
| 9:50-10:35 |
H. Kera, AI for Symbolic Computation - via Symbolic Computation |
| 10:45-11:30 |
S. Gukov, AI and AC. |
| 11:35-12:20 |
A. Venkatesh, TBA |
| |
| 12:00-13:30 |
Lunch in Babbio 104 with a 15-Minute presentation "Security in AI: cryptographic approaches" by A. Garreta (sponsored by Nebius) |
| |
| 13:30-13:55 |
E. Bunina, Teaching "AI in Mathematics": Designing and Delivering an Experimental Course for Mathematicians |
| 14:00-14:30 |
A. Miasnikov, TBA |
| 15:00-15:20 |
Coffee |
| 14:35-15:20 |
V. Stepanov, AI In Math Education – Practical Side |
| 15:25-16:10 |
D. Halpern-Leistner, TBA |
| 16:15-16:40 |
A. Garreta, Solving word equations with Reinforcement Learning and SMT solvers |
| 16:50-17:50 |
Roman Chernin and speakers (panel discussion) |
| |
| 18:00-20:00 |
Conference Banquet at The Ainsworth Restaurant (sponsored by Nebius) |
|
|
