Spring Formal Digital Program