Prelegent: Stanisław Gawiejnowicz (Pracownia Algorytmiki)
Miejsce: B4-6
Data i godzina: 3 marca 2020 r., g. 12:30
Streszczenie: W referacie przedstawione zostaną wybrane wyniki dotyczące szeregowania zadań czasowo-zależnych, otrzymane w ciągu ostatnich 10 lat, ze szczególnym uwzględnieniem stosowanych metod oraz technik dowodowych.