News and events archive
Research & development
1 2 3 … 9 10 11 12 13 14 15 16 17 18 19
-
-
Informatics Colloquium 16.4. Machine learning in verification
-
Informatics Colloquium 2.4. Approximating edit distance within constant factor in sub-quadratic time
-
Informatics Colloquium 9.4. Interactive Visualization Techniques for Molecular Structures
-
Register your team for InterSoB high school competition
-
Arcadii Rubailo: Study programme Software Systems and Services Management exceeded my expectations
-
Informatics Colloquium 19.3. Semantic data modeling – conceptual view
-
Joseph Fourier Prize 2019
-
Informatics Colloquium 12.3. Recent progress in AI research
-
Informatics Colloquium 26.2. Causality in Time Series: A Short Introduction and Current Challenge