Seminar: Elimination Techniques for Deeply Dependent Types
Speaker: Dmitrii Boulytchev
-
-
Seminar: Parallel complexity of CFL-reachability problemSpeaker: Ekaterina Shemetova
-
Seminar: Register Allocation and Puzzle SolvingSpeaker: Kosarev Dmitrii -
Seminar: Canonical Structures of CoqPresenter: Anton Trunov
-
Seminar: DeforestationPresenter: Daniil Berezun
-
Seminar: Property-Directed ReachabilityPresenter: Dmitrii Mordvinov
-
Seminar: Introduction to MetamathPresenter: Kirill K. Smirnov
-
Seminar: An overview of Kleene Algebra extensionsPresenter: Eugenii Moiseenko
-
Seminar: Structuring the Synthesis of Heap-Manipulating ProgramsPresenter: Peter Lozov
-
Seminar: Basic concepts of homotopy type theoryPresenter: Valery Isaev
- All News
- Common News
- Agent Systems and Reinforcement Learning
- Bioinformatics Group
- BioLabs
- Cryptographic Lab
- Machine Learning Applications and Deep Learning
- Machine Learning Methods in Software Engineering
- Mobile Robot Algorithms Laboratory
- Nuclear Physics Methods Laboratory
- Optimization Problems in Software Engineering
- Program Analysis and Verification Lab
- Programming Languages and Tools Lab