(Department seminar no. 68)

Time: November 30th, 2017, 11:15
Place: room 208 C-3

Speaker: Arkadiusz Mielczarek

Subject: Theoretical and practical results on pre-controls generated with gCBHD formula

Speaker: Ignacy Dulęba

Subject: Impressions on STLC in the task space

Theoretical and practical results on pre-controls generated with gCBHD formula 

During the presentation, a proof of  zero prefix control for  layers> = 2 will be presented. The original and optimal algorithm for calculating pre-controls will be compared to a naive and a found in literature algorithms.

Impressions on STLC in the task space

Through a series of digressions and observations we will try to define STLC for the task space and a couple of other concepts.