Equations and formal languages in algebra

6 - 10 March 2016

Hôtel les Sources, Les Diablerets, Switzerland


This conference will bring together mathematicians and theoretical computer scientists working in semigroup and group theory, complexity theory and formal language theory.

The formal language characterization of solutions of equations in various algebraic structures will be at the center of the workshop, as will be the time and space complexity of algorithms which solve such equations. We hope that the recent developments in the area in theoretical computer science will lead to an improved understanding of the algebraic structure of the solutions sets of equations.


Monserrat Cassals-Ruiz (UPV, Spain) Alexei Miasnikov (Stevens) Robert Gilman (Stevens) Stepan Holub (Prague)
Artur Jez (Wroclaw) Ilia Kazachkov (UPV, Spain) Dirk Nowotka (Kiel) Alina Vdovina (Newcastle, UK)
Murray Elder (Newcastle, Australia)                    Géraud Sénizergues (Bordeaux)              Olga Kharlampovich (CUNY) Armin Weiss (Stevens)
Maranda Franke (Nebraska) Yago Antolín (Vanderbilt) Markus Lohrey (Siegen) Bryan Jacobson (Vanderbilt)
Georg Zetzsche (Cachan, France) Albert Garreta-Fontelles (Stevens)

NEW! Slides of all the talks

Slides of all the talks


Laura Ciobanu (local organizer) laura.ciobanu@unine.ch

Yago Antolín (Vandebilt)
Volker Diekert (Stuttgart)
Murray Elder (Newcastle)

Scientific Committee

Volker Diekert (Stuttgart)
George Metcalfe (Bern)
Jacques Duparc (Lausanne)


1. Murray Elder: Languages in groups
2. Montse Cassals-Ruiz and Ilia Kazachkov: Makanin-Razborov Diagrams

Schedule of Talks, Titles and Abstracts


The arrival day is Sunday, March 6. Dinner will be served in the Hotel les Sources at about 7 p.m.
The scientific program begins on Monday, March 7, at 9 a.m.
The conference ends at lunchtime on Thursday, March 10.

There will be five lectures per day: three morning lectures from 9 a.m. till noon, and two afternoon lectures at 5 p.m.
Coffee and tea will be served at 9.50 a.m. in the conference center and at 4:30 p.m. in the Hotel les Sources.
Lunch time is 12.30 (with a possibility to order a picnic: orders have to be placed before 9 a.m. the same day). Dinner time is 7:30 p.m.

Your stay

Rooms have been booked for all participants at Hôtel les Sources. The talks take place in the hotel's seminar room.

The price of accommodation and full board at the Hôtel Les Sources (to be paid at the conference site)
in a double room: CHF 143 per person per night,
in a single room: CHF 167 per person per night.

You have to count 4 full days if you are arriving Sunday evening before dinner and leaving on Thursday after lunch.

How to get there

One usually gets to Les Diablerets by train from either the Geneva or Zurich airports, with a change in Aigle. There is no need to reserve train tickets in advance, as they can be bought at machines in any train station. You should consult the train schedule on the page Swiss Railroad.

From the Diablerets train station there is a 5-10 minute walk to the hotel. You can view a small map of the hotel surroundings, including the railway station in Les Diablerets, on the hotel Les Sources website.

Supported by the Swiss Mathematical Society, University of Neuchâtel (Institute of Mathematics), and


Titles and Abstracts