Sedan 1960 hade det officiella namnet på Tjeckoslovakien varit Tjeckoslovakiska socialistiska republiken ("Československá socialistická republika", ČSSR). I spåren av Sammetsrevolutionen, meddelade president Vaclav Havel att namnet "Socialistiska" skulle plockas bort från landets officiella namn.