While works produced by Federal Employees in the course of their employment are in the public domain as far as copyright is concerned; trademarks are different

While works produced by Federal Employees in the course of their employment are in the public domain as far as copyright is concerned; trademarks are different than copyright. And while the Federal Government and States and State owned Universities don't normally register trademarks with the patent office; they generally have a similar-to-trademark-protection of their marks, seals, and insignias under a seperate federal of state code.