IntroductionThe twenty-fifth annual High Confidence Software and Systems (HCSS) Conference will be held May 12-14, 2025, at the Historic Inns of Annapolis in Annapolis, Maryland. We solicit proposals to present talks at the conference. BackgroundOur