Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Teoria automatów

Opis

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.

Seminaria

  • Seminarium "Algorytmika"

    Research seminar (FRIDAYS, usually biweekly at 14.15 in room 5060 or online)

    For schedule or link to online meetings, see https://semalgo.wordpress.com/

    Rules for PhD studens: https://www.mimuw.edu.pl/~mp248287/algorithmsSeminarRules.pdf

    Google calendar: https://calendar.google.com/calendar/embed?src=q1pbv62cra5jf9satch9ip49ms%40group.calendar.google.com&ctz=Europe%2FWarsaw

    YouTube cannel: https://www.youtube.com/playlist?list=PLzdZSKerwrXpfAgaKQpsH8ElCik3pINPp

  • Seminarium „Teoria automatów”

    Cotygodniowe seminarium badawcze

  • Seminarium „Logika i teoria typów”

    Cotygodniowe seminarium badawcze

    Plan referatów/Talks schedule

Pracownicy i doktoranci