Held by Isabela Drămnesc, Adrian Crăciun, and Mircea Marin in 24 September 2020 on Google Meet
1. An overview of our teaching materials related to Automated Reasoning:
Logic for Computer Science,
Logic and Functional Programming,
Algorithm Synthesis and Mathematical Theory Exploration,
2. A brief introduction to the Problem based Learning as a student centered approach.