Student writeups
Proof that Earley's algorithm runs in quadratic time on unambiguous grammars.
Lists of open problems
Autoboz
(automata, games, logic)
Open Problem Garden
(logic, including finite model theory)
Courses
Mikołaj Bojańczyk's courses
An Automata Toolbox
Surveys
Ron Fagin's surveys
Videos
Simon's institute (finite model theory)