To jest stara, nieaktualizowana już wersja portalu wydziałowego. Zapraszamy na www.mimuw.edu.pl.
Wydział MIM Uniwersytet WarszawskiFaculty of MIM University of Warsaw

Wyszukiwarka

Pomiń menu

Teoria automatów

Teoria automatów i języków formalnych. Tematy badawcze dotyczą między innymi różnych odmian automatów skończonych, związków między automatami, logikami i grami, oraz zastosowań automatów w weryfikacji formalnej.

Pracownicy
Dowiązania
Seminaria
  • Seminarium Teoria Automatów
    Cotygodniowe seminarium badawcze
    środy, 14:15, s. 5870
    lista referatów
  • Seminarium Zakładu Analizy Algorytmów
    Cotygodniowe seminarium badawcze
    czwartki, 12:15, s. 5870
    lista referatów | strona domowa
  • Seminarium Logika i Teoria Typów
    Cotygodniowe seminarium badawcze
    piątki, 12:15, s. 5820
    strona domowa