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:  IMoS building, Technische Universität Berlin, Fasanenstr. 89, 10623 Berlin. 

                        See Campus Map. Enter from Müller-Breslau-Straße (between "HF" and "L"; follow the signs).

Hotels:  see a list of recommendations below.

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 

Registration: 

The registration form is now closed. Please contact Sobhi Massalha or Daniel Turaev if you still wish to attend.

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

• Alex Levine, University of East Anglia

• Alexei Miasnikov, Stevens Institute of Technology

• Aleksi Saarela, University of Turku

• Nicole Schweikardt, Humboldt Universität zu Berlin

• Nicholas Touikan, University of New Brunswick (online talk)

• Chloé Perin, Hebrew University of Jerusalem (online talk)

Contributed short talks: 

• Corentin Bodart (TBC)

• Michal Hečko

• Zahra Mohammadi Khangheshlaghi

• Matthew Konefal

• Leon Pernak

• Jan Moritz Petschick

• Motiejus Valiunas

Hotel recommendations: 

• B&B Hotel Berlin-Tiergarten (closest to conference venue, next to the S-Bahn station Tiergarten) 

• Pension Peters (15-20 minute walk to conference location, next to S-Bahn station Savignyplatz)

• Adagio Aparthotel Kurfürstendamm (30 minute walk to conference venue, most rooms have a small kitchen)

• Hotel Vivaldi (20 minute walk to conference venue, next to S-Bahn station Savignyplatz)

• Hotel Indigo Berlin Ku'damm (5-10 minute walk to conference venue, close to Zoologischer Garten train station/S-Bahn/U-Bahn)

• Townhouse Berlin Hotel (nice location, 10 minute walk to conference venue, on the pricier side)

For other hotel options, please see our Oberseminar link.

Organizers: 

• Laura Ciobanu (TU Berlin, local organizer) 

• Florin Manea (Göttingen)

• Sobhi Massalha (TU Berlin, local organizer)

• Daniel Turaev (TU Berlin, local organizer)