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: Friday 10 April, 15:00 — 17:00 (Beirut time)
• Place: TBD
• Online Meeting Link (Meeting number: 2391 346 5462; Password: yfW8bE2wD9)
• Recording (to be uploaded)

Session Structure

• 3-5 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!