[theshank]

Thank you for sharing this one. I was looking for a course like this! BTW this course is now offered on edx.

[schoen]

Oh, thanks for the update! It looks like the new version is at

https://www.edx.org/course/automata-theory

Definitely recommended if you like somewhat dry and mathematical stuff with deep relevance to many areas of computer science. :-)