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).

The talks will take place in room 0005, the first room on your left as you enter the building. Coffee breaks and discussions will be in room 2003 on Monday, Tuesday, and Wednesday, and in room 3003 on Thursday.

Hotels:  The closest hotel is the B&B Hotel Berlin-Tiergarten. See direction from this hotel to the conference venue below. See further hotel recommendations below as well.

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 

• Artur 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.

Lunch/Dinner recommendations: 

• Schleusenkrug, German & international food Address: Müller-Breslau-Straße 14b

• cafénero, Coffee and light lunch, very close to IMoS Address: Fasanenstraße 88

• ONNOYA, Japanese food and Asian fusion Address: Hardenbergstraße 19

• tiger club vegan sushi, Vegan Sushi and Asian bowls Address: Knesebeckstraße 99a

• Giro Coffee Bar, Coffee and light lunch (closes 18:00) Address: Knesebeckstraße 5

• Seoul Garden, Korean food Address: Knesebeckstraße 16

• Lulu's China Restaurant, Chinese food Address: Knesebeckstraße 18-19

• Satyam, Vegetarian Indian food Address: Goethestraße 5

You can also find information on TU Berlin's Mensas and cafeterias here. Note that these are only open at lunchtime.

Organizers: 

• Laura Ciobanu (TU Berlin, local organizer) 

• Florin Manea (Göttingen)

• Sobhi Massalha (TU Berlin, local organizer)

• Daniel Turaev (TU Berlin, local organizer)