Będzie to przegląd wyników dotyczących czasu dyskretnego na podstawie prac N. Bauerle, A. Biswas, H. Phama.
W maju seminarium jest chwilowo zawieszone (w przypadku zmiany będę informował).
Identyfikator spotkania: 251 152 4038 Kod dostępu: 276466