This Friday, Darius Kazemi from Orbus Gameworks and Boston Post Mortem will present a talk on the procedural content algorithms of Derek Yu's Spelunky, and we'll play some other games with procedural level generation (that are not roguelikes!) such as:

Dwarf Fortress
Diablo
Infinite Mario
Strange Adventure in Infinite Space
Left For Dead
The TIGSource Procedural Generation Competition
Canabalt
Yoda Stories