Word Equations: from Theory to Applications 

The Applied Algebra Group of TU Berlin will be hosting a workshop in the areas of (semi)group theory, theoretical computer science, formal languages, and logic with the aim to bring together mathematicians working in group and semigroup theory, Diophantine geometry and logic; and computer scientists working on word equations, string solvers, complexity theory and formal language theory. 

Location: 

Mathematikgebäude, Technische Universität Berlin, Straße des 17.Juni 136, 10623 Berlin

Room TBD

Dates: 

• Week of October 5, 2026 (3.5 days) 

Topics: 

• Equations in groups and semigroups (with constraints) 

• Algebraic geometry over free groups 

• Formal languages and automata theory 

• Complexity theory 

• String solvers 

• Logic and model theory 

Organizers: 

• Laura Ciobanu (TU Berlin, local organizer) 

• Florin Manea (Göttingen)

• Sobhi Massalha (TU Berlin, local organizer)

• Daniel Turaev (TU Berlin, local organizer)

Registration: 

Registration is now closed

Speakers include: 

• Montserrat Cassals-Ruiz, University of the Basque Country 

• Volker Diekert, University of Stuttgart

• Vijay Ganesh, Georgia Institute of Technology

• Albert Garetta, Nethermind 

• Arthur Jeż, University of Wrocław

• Ilya Kazachkov, University of the Basque Country

• Olga Kharlampovich, Hunter College CUNY

• Ondřej Lengál, Brno University of Technology

• Alex Levine, University of East Anglia

• Alexei Miasnikov, Stevens Institute of Technology

• Chloé Perin, Hebrew University of Jerusalem (TBC)

• Aleksi Saarela, University of Turku

• Nicole Schweikardt, Humboldt Universität zu Berlin

• Nicholas Touikan, University of New Brunswick (TBC)

Contributed short talks: 

• Corentin Bodart

• Michal Hečko

• Zahra Mohammadi Khangheshlaghi

• Matthew Konefal

• Leon Pernak

• Jan Moritz Petschick

• Motiejus Valiunas

Schedule: 

• Arrival Sunday or Monday evening, TBD