Conducted in
terms:
2024, 2025, 2026
ECTS credits:
6
Organized by:
Faculty of Mathematics, Informatics, and Mechanics
(in Polish) Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
This course has not yet been described...
Course coordinators
Term 2026: | Term 2024: | Term 2025: |
Assessment criteria
A PhD student to get its mark needs to give at least two talks, one in each semester.