Wprowadzenie do grup automatycznych

Przypomnienie definicji automatu skonczonego, języka regularnego. Definicje grup automatycznych i biautomatycznych. Klasyczne przykłady (grupy hiperboliczne, warkocze, grupy podstawowe rozmaitości trójwymiarowych). Przegląd podstawowych własności (niezależność od wyboru generatorów, kwadratowa nierówność izoperymetryczna, efektywne rozwiązanie problemu słów i elementów sprzężonych, ...). Związki z niedodatnią krzywizną. Przegląd kilkunastu bardziej i mniej znanych problemów otwartych.