BA Studiengang an der Otto-von-Guericke Universität Magdeburg.

From foundations of algorithmic information theory to asymptotically optimal yet infeasible methods showing the ultimate limits of machine learning, and all the way down to practically useful tricks for recurrent nets.

"We focus on learning agents interacting with an initially unknown world. Since the world is dynamic, unlike many other machine learning courses ours will put strong emphasis on learning to deal with sequential data."

Daemon Proof Checker, Quizmaster, Countermodel Checker, Wff Checker, Equivalency Checker.

Some cogsci master study programs, ordered by country.