Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars


Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
March 8, 2024 14:00–15:30, Novosibirsk, A.P. Ershov Institute of Informatics Systems 		 

Automated Reasoning with Continuous Data

M. V. Korovina

Number of views:
This page:92




Language: English

Website: https://youtu.be/L0IT0RXrKcI
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024