Introduction to Metamath
Speaker -- Kirill K. Smirnov
-
-
An overview of Kleene Algebra extensionsSpeaker -- Eugenii Moiseenko
-
Seminar: Structuring the Synthesis of Heap-Manipulating ProgramsSpeaker: Peter Lozov
-
Seminar: Basic concepts of homotopy type theorySpeaker: Valery Isaev
-
Seminar: Convergence of program transformers in the metric space of treesSpeaker: Kate Verbitskaya
-
Seminar: Curry-Howard-Lambek correspondence and uniform proofsSpeaker: Dmitrii Rozplokhas
-
Seminar: A Quantum Computer: Why so Effective and also so Hard to ImplementA Quantum Computer: Why so Effective and also so Hard to Implement
-
Seminar on Proof Automation with Coq HammerProof Automation with Coq Hammer
-
Seminar on Application of Specialization for High-Performance Dynamic Language RuntimesApplication of Specialization for High-Performance Dynamic Language Runtimes
-
Summer School on Probabilistic ProgrammingSummer School on Probabilistic Programming
- 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