Promising Semantics 2.0
Promising Semantics 2.0
-
-
Seminar: Optimizing graph queries using DatalogSpeaker: Rustam Azimov
-
Seminar: Elimination Techniques for Deeply Dependent TypesSpeaker: 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
- All News
- Common News
- Agent Systems and Reinforcement Learning
- Bioinformatics Group
- BioLabs
- Cryptographic Lab
- HoTT and Dependent Types Group
- 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