Week 10: Project Showcase, Competition, and Course Wrap-up

Overview

Celebrate your achievements! Every project gets a 3-5 minute demo, we award “Best Project,” discuss contributing to Mathlib, and present all Certificates of Distinction. This is just the beginning of your formal verification journey!

Lecturer

• Daniel Dia — Course creator, primary instructor & organizer (American University of Beirut); Computer & Communications Engineering (CCE) and Mathematics dual-degree student (AUB).

Session Information

• Date and Time: Wednesday 1 April, 15:00 — 17:00 (Beirut time)
• Place: Engineering Lecture Hall (ELH)
• Online Meeting Link
• Recording

Session Structure

• 5-10 minute demos from all projects
• “Best Project” award
• Discussion on contributing to Mathlib or CSlib
• Certificate of Distinction ceremony

Slides

Week 10 Slides: Download PDF

Navigation

• ← Previous Week: The Broader Landscape & Project Kick-off
• Back to Course Overview

Questions? Reach out on the course Discord!