here since we are encouraging reading
Federal law (5 U.S.C. 6103)
Birthday of Martin Luther King, Jr., the third Monday in January.
Washington’s Birthday, the third Monday in February.
Memorial Day, the last Monday in May.
Independence Day, July 4.
Labor Day, the first Monday in September.
Columbus Day, the second Monday in October.
Veterans Day, November 11.
Thanksgiving Day, the fourth Thursday in November.
Christmas Day, December 25.
[1]of this title.
section 2105 of this titleand individuals employed by the government of the District of Columbia employed in the District of Columbia, Montgomery and Prince Georges Counties in Maryland, Arlington and Fairfax Counties in Virginia, and the cities of Alexandria and Falls Church in Virginia. When January 20 of any fourth year after 1965 falls on Sunday, the next succeeding day selected for the public observance of the inauguration of the President is a legal public holiday for the purpose of this subsection.
(d)
(1)For purposes of this subsection—
(A)
the term “compressed schedule” has the meaning given such term by section 6121(5); and
(B)
the term “adverse agency impact” has the meaning given such term by section 6131(b).
(2)
An agency may prescribe rules under which employees on a compressed schedule may, in the case of a holiday that occurs on a regularly scheduled non-workday for such employees, and notwithstanding any other provision of law or the terms of any collective bargaining agreement, be required to observe such holiday on a workday other than as provided by subsection (b), if the agency head determines that it is necessary to do so in order to prevent an adverse agency impact.