CSCI B619 - Topics In Applied Logic
Spring 2024
- Instructor: Carlo Angiuli (cangiuli)
- Sections: 34893
- Topic: Modern Dependent Types
- Supplementary Description: This is a graduate seminar on the modern design of full-spectrum dependent type theories, such as the core calculi of proof assistants like Agda, Coq, and Lean. The goal of this course is to prepare students to engage with current research on dependent type theory and to understand the motivations behind recent extensions of these systems. Topics include extensional, intensional, homotopy, and cubical type theory.
- Homepage: https://homes.luddy.indiana.edu/classes/spring2024/csci/b619-cangiuli
Spring 2019
- Instructor: Daniel Leivant (leivant)
- Sections: 32858
- Topic: Program Verification
Fall 2018
- Instructor: Daniel Leivant (leivant)
- Sections: 34458
- Topic: Proof Thry & Contructive Math
Spring 2013
Fall 2011
- Instructor: Daniel Leivant (leivant)
- Sections: 31629
- Topic: Verification and Logics Of Programs