The First Workshop on Artificial Intelligence for Time Series Analysis: Theory, Algorithms, and Applications