C e n t r e d e r e c h e r c h e s m a t h é m a t i q u e s
Une série de conférence
A series of lectures
PROF. ALEXEI MIASNIKOV
The City
College
CUNY
This is a series of lectures on equations over free groups
and free semigroups. In theoretical computer science this topic is known as
the unification problem.
I will discuss recent developments in this area related to algebraic geometry
over groups, Tarski's problems, and complexity of the unification problem.
LE 2 MARS / MARCH 2 1. Equations over free groups I 2. Equations over free groups II |
LE 9 MARS / MARCH 9 3. Equations over free groups III 4. Equations over free semigroups I |
LE 16 MARS / MARCH 16 5. Equations over free semigroups II 6. Equations over free groups IV |
LE 23 MARS / MARCH 23 7. Equations over free groups V 8. Equations over free groups VI |
LE 30 MARS / MARCH 30 9. Equations over free groups VII 10. Equations over free groups VIII |
Pour de plus amples informations: ACTIVITES@CRM.UMONTREAL.CA