Artificial Intelligence for Time Series Analysis (AI4TS) Workshop at AAAI 2025: Theory, Algorithms, and Applications