(a) The following are legal public holidays:
New Year's Day, January 1.
Birthday of Martin Luther King, Jr., the third Monday in
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.
(b) For the purpose of statutes relating to pay and leave of
employees, with respect to a legal public holiday and any other day
declared to be a holiday by Federal statute or Executive order, the
following rules apply:
(1) Instead of a holiday that occurs on a Saturday, the Friday
immediately before is a legal public holiday for -
(A) employees whose basic workweek is Monday through Friday;
(B) the purpose of section 6309 (!1) of this title.
(2) Instead of a holiday that occurs on a regular weekly non-
workday of an employee whose basic workweek is other than Monday
through Friday, except the regular weekly non-workday
administratively scheduled for the employee instead of Sunday,
the workday immediately before that regular weekly nonworkday is
a legal public holiday for the employee.
(3) Instead of a holiday that is designated under subsection
(a) to occur on a Monday, for an employee at a duty post outside
the United States whose basic workweek is other than Monday
through Friday, and for whom Monday is a regularly scheduled
workday, the legal public holiday is the first workday of the
workweek in which the Monday designated for the observance of
such holiday under subsection (a) occurs.
This subsection, except subparagraph (B) of paragraph (1), does not
apply to an employee whose basic workweek is Monday through
(c) January 20 of each fourth year after 1965, Inauguration Day,
is a legal public holiday for the purpose of statutes relating to
pay and leave of employees as defined by section 2105 of this title
and 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.