Where does the formal evening take place in movie national treasure?

The formal evening in National Treasure takes place at The Library of Congress in Washington, D.C.

Specifically, the scene is set in the Thomas Jefferson Building, which houses the Library's main reading room and other significant collections.