Spire is a great toolkit of mathematical abstractions and algorithms. Despite mathematical "focus", many instruments in Spire are defined in an abstract, composable way. This allows to leverage the power of spire for tasks, that don't look like mathematical at first glance. In this talk we'll explore how Spire can help with solving various time resource allocation tasks. Required knowledge * Type classes * Basic interval arithmetics Learning objectives * Get familiar with Interval and Interva…