University of Maryland study group on mathematical proofs, theoretical arguments, probability theory and randomized algorithms. This is targeted pretty much exclusively on hands on work solving problems, developing proofs, and discussing solutions. The content has been chosen to complement graduate-level work in computer science. It should be accessible to varying levels of experience with logical reasoning, probability and algorithms, depending on the time you are willing to invest.  

We are using two excellent textbooks. Probability and Computing (PDF), by Mitzenmacher and Upfal, which focuses on randomized algorithms and probabilistic analysis; and Mathematics for Computer Science (PDF), by Lehman and Leighton, with a focus on rigorous proof techniques. 

This is a self-taught course for those of us who would like to strengthen our relevant skills. There is no expert among us and we are all learning together. 

For those on campus at UMD, there will be weekly in-person meetings on Wednesdays at 6pm EST to review practice problems and questions about the material. All are welcome to participate and keep pace with the material and discussions. If there is interest we will determine a way to support remote meeting participation.