Simon Initiative’s LearnLab Summer School

The LearnLab Summer School is an intensive one-week course focused on creating technology-enhanced learning experiments and building intelligent tutoring systems. The summer school will provide you with a conceptual background and considerable hands-on experience in designing, setting up, and running …

LearnLab Corporate Partners Meeting

LearnLab’s 7th annual LearnLab Corporate Partners Meeting will be held on Thursday, May 18 and Friday, May 19, 2017 at Carnegie Mellon University. This year’s theme is “Carnegie Mellon University’s Learning Engineering Ecosystem” with the underlying goal to accelerate technology …

Logic & Proofs

Screenshot of a subformulae activity in the course.

Logic & Proofs


Logic is a remarkable discipline. It is deeply tied to mathematics and philosophy, as correctness of argumentation is particularly crucial for these abstract disciplines. Logic systematizes and analyzes steps in reasoning: correct steps guarantee the truth