posted message: Hi everyone, Great to see the interest in this course! I set this up to gain experience implementing algorithms, but my personal need has evolved in a more theoretical direction. I will be coordinating Formal Reasoning in Computer Science [0] in lieu of this course for now. If anyone else is interested in running with THIS course (however you see fit), let me know and I can add you as a course organizer. Otherwise, if there is still interest I would be happy to run it at a later date. http://new.p2pu.org/en/groups/formal-reasoning-in-computer-science/