Seminar: Optimizing graph queries using Datalog
Speaker: 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
-
Seminar: Structuring the Synthesis of Heap-Manipulating ProgramsPresenter: Peter Lozov
- 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