Version Control with GitIntroduces version control with Git, focusing on repository setup, committing changes, and collaboration.
Project Configuration WorkshopCovers the configuration of a project management tool and defining project structures, geographical locations, and risks.
Relational Model: BasicsIntroduces the relational model, SQL, keys, integrity constraints, ER translation, weak entities, ISA hierarchies, and SQL vs. noSQL.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Relational Query OptimizationCovers relational query optimization, including logical and physical query plans, cost estimation, equivalences, and the System R strategy.
