Under the auspices of the Computational Complexity Foundation (CCF)
We survey time hierarchies, with an emphasis on recent attempts to prove hierarchies for semantic classes.