About
Areas
Groups
People
Publications
Calendar
Ru
JetBrains Research unites scientists working in challenging new disciplines
About
News
Vacancies
9 December 2019
Seminar: Elimination Techniques for Deeply Dependent Types
Speaker: Dmitrii Boulytchev
Dmitrii Kosarev
27 November 2019
Seminar: Parallel complexity of CFL-reachability problem
Speaker: Ekaterina Shemetova
Dmitrii Kosarev
20 November 2019
Seminar: Register Allocation and Puzzle Solving
Speaker: Kosarev Dmitrii
Dmitrii Kosarev
5 November 2019
Seminar: Canonical Structures of Coq
Presenter: Anton Trunov
Dmitrii Kosarev
26 October 2019
Seminar: Deforestation
Presenter: Daniil Berezun
Dmitrii Kosarev
18 October 2019
Seminar: Property-Directed Reachability
Presenter: Dmitrii Mordvinov
Dmitrii Kosarev
11 October 2019
Seminar: Introduction to Metamath
Presenter: Kirill K. Smirnov
Dmitrii Kosarev
2 October 2019
Seminar: An overview of Kleene Algebra extensions
Presenter: Eugenii Moiseenko
Dmitrii Kosarev
26 September 2019
Seminar: Structuring the Synthesis of Heap-Manipulating Programs
Presenter: Peter Lozov
Dmitrii Kosarev
16 September 2019
Seminar: Basic concepts of homotopy type theory
Presenter: Valery Isaev
Dmitrii Kosarev
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
#conference
#education
#seminar
Subscribe to RSS
1
2
3
4
5
6
7
8
9
10