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. 

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 

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.

Titles and Abstracts: 

• The titles and abstracts of the talks are available in this document.

Registration: 

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

Speakers: 

• Montserrat Cassals-Ruiz, University of the Basque Country 

• Volker Diekert, University of Stuttgart

• Albert Garetta, Nethermind 

• Arthur Jeż, University of Wrocław

• Ilya Kazachkov, University of the Basque Country

• Olga Kharlampovich, Hunter College CUNY (online talk)

• Alex Levine, University of East Anglia

• Florin Manea, Georg-August-Universität Göttingen

• Alexei Miasnikov, Stevens Institute of Technology (online talk)

• Aleksi Saarela, University of Turku

• Nicole Schweikardt, Humboldt Universität zu Berlin

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

• Motiejus Valiunas, University of Wrocław

Short talks: 

• Corentin Bodart (Luxembourg)

• Martina Conte (Bielefeld)

• Michal Hecko (Brno)

• Zahra Mohammadi Khangheshlaghi (Münster)

• Matthew Konefal (Loughborough)

• Leon Pernak (Lund)

• Moritz Petschick (Bielefeld)

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)