г. (Кондратьев Д.А.) Семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ

Uploaded By: Myvideo

Published on

15 Mar 2024

1 view

0

0 votes

0

About Share Download Add to

Объединенный семинар ИСИ СО РАН и кафедры программирования НГУ “ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ” 15 февраля 2024 года. Докладчики: Кондратьев Д.А., Гаранина Н.О. (ИСИ СО РАН) Тема: «VeHa-2023: первые в России соревнования по формальной верификации программ»

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/VTVZRU1FcXJNVmhOaFBKenBaL2FvMUdzNDNuc2JCQ2hxTWlNTWszakluQT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Атаман Кондратий Булавин

44 minutes ago

00:44:01

Атаман Кондратий Булавин

1 23%

Павел Пламенев - Никто вместо нас (документальное видео с записи).

1 day ago

00:04:37

Павел Пламенев - Никто вместо нас (документальное видео с записи).

1 5%

Манюня: Приключения в Москве | Уже в кино

2 days ago

00:00:15

Манюня: Приключения в Москве | Уже в кино

1 88%

Огненные вёрсты (4К, драма, реж. Самсон Самсонов, 1957 г.)

2 days ago

01:23:28

Огненные вёрсты (4К, драма, реж. Самсон Самсонов, 1957 г.)

1 13%

ПРАВЛЕНИЕ ПЕТРА 3 СЕР: СОЦИАЛЬНО-ЭКОНОМИЧЕСКИЕ РЕФОРМЫ ФАКЕЛ ГЕКАТЫ ЛОЛИТА 272 #ПЁТР_ПЕРВЫЙ_ВЕЛИКИЙ

3 days ago

00:17:41

ПРАВЛЕНИЕ ПЕТРА 3 СЕР: СОЦИАЛЬНО-ЭКОНОМИЧЕСКИЕ РЕФОРМЫ ФАКЕЛ ГЕКАТЫ ЛОЛИТА 272 #ПЁТР_ПЕРВЫЙ_ВЕЛИКИЙ

1 35%

С. ЕСЕНИН. - ТРИО РЕЛИКТ.

3 days ago

00:20:48

С. ЕСЕНИН. - ТРИО РЕЛИКТ.

1 28%

Хоровые эпизоды из оперы-предания Покорение Новгорода.

4 days ago

00:23:36

Хоровые эпизоды из оперы-предания Покорение Новгорода.

1 84%

Третье действие. Покорение Новгорода.

4 days ago

00:27:28

Третье действие. Покорение Новгорода.

1 43%

Второе действие. Покорение Новгорода.

4 days ago

00:26:55

Второе действие. Покорение Новгорода.

1 94%

Первое действие. Покорение Новгорода.

4 days ago

00:33:17

Первое действие. Покорение Новгорода.

1 88%

Покорение Новгорода. Опера-предание в 4-х действиях.

4 days ago

01:57:03

Покорение Новгорода. Опера-предание в 4-х действиях.

1 53%

Балет Иван Грозный. Большой театр 19 апреля 2015 г.

5 days ago

02:51:21

Балет Иван Грозный. Большой театр 19 апреля 2015 г.

2.5K 93%

Открытие культурно-делового центра Геленджик Арена || РБК Спецрепортаж

6 days ago

00:04:47

Открытие культурно-делового центра Геленджик Арена || РБК Спецрепортаж

1 80%

Манюня: Приключения в Москве трейлер

7 days ago

00:02:07

Манюня: Приключения в Москве трейлер

3 91%

Мёртвые души

1 week ago

01:37:21

Мёртвые души

1 27%

ОЦХВЕ г. Канск г., проповедует Владимир Кондратьев

1 week ago

00:25:19

ОЦХВЕ г. Канск г., проповедует Владимир Кондратьев

18 78%

Кондратьев+Ярослав_г.+Кыштым_МОУ+КНШ-ДС+№14

1 week ago

00:00:51

Кондратьев+Ярослав_г.+Кыштым_МОУ+КНШ-ДС+№14

3 46%

18 мая 2024 Отчетный концерт студентов АМУ при МГК им. П.И. Чайковского (1 отделение)

1 week ago

01:36:05

18 мая 2024 Отчетный концерт студентов АМУ при МГК им. П.И. Чайковского (1 отделение)

1 8%

Пайщики Краснодара. Старость в коробке

2 weeks ago

00:14:56

Пайщики Краснодара. Старость в коробке

1 45%

Волга-Волга (комедия, реж. Григорий Александров, 1938 г.)

2 weeks ago

01:44:30

Волга-Волга (комедия, реж. Григорий Александров, 1938 г.)

1 41%

ПРАВЛЕНИЕ ПЕТРА ПЕРВОГО 5 СЕРИЯ: ПЕТРОВСКИЕ РЕФОРМЫ ЛЕКЦИИ ВУЗ ВСЕМ ФРАГМЕНТЫ ФАКЕЛ ГЕКАТЫ ЛОЛИТА #ПЁТР_ПЕРВЫЙ_ВЕЛИКИЙ

2 weeks ago

00:18:17

ПРАВЛЕНИЕ ПЕТРА ПЕРВОГО 5 СЕРИЯ: ПЕТРОВСКИЕ РЕФОРМЫ ЛЕКЦИИ ВУЗ ВСЕМ ФРАГМЕНТЫ ФАКЕЛ ГЕКАТЫ ЛОЛИТА #ПЁТР_ПЕРВЫЙ_ВЕЛИКИЙ

9 65%

ПРАВЛЕНИЕ ПЕТРА ПЕРВОГО 5 СЕРИЯ: ПЕТРОВСКИЕ РЕФОРМЫ ЛЕКЦИИ ВУЗ ВСЕМ ФРАГМЕНТЫ ФАКЕЛ ГЕКАТЫ ЛОЛИТА #ПЁТР_ПЕРВЫЙ_ВЕЛИКИЙ

2 weeks ago

00:18:17

ПРАВЛЕНИЕ ПЕТРА ПЕРВОГО 5 СЕРИЯ: ПЕТРОВСКИЕ РЕФОРМЫ ЛЕКЦИИ ВУЗ ВСЕМ ФРАГМЕНТЫ ФАКЕЛ ГЕКАТЫ ЛОЛИТА #ПЁТР_ПЕРВЫЙ_ВЕЛИКИЙ

5 94%

Писатели-фронтовики. Они показали войну без прикрас

2 weeks ago

00:40:43

Писатели-фронтовики. Они показали войну без прикрас

71 6%

Генплан Новоросса. Реквием по мечте

2 weeks ago

00:20:48

Генплан Новоросса. Реквием по мечте

1 68%

0 Comments

Guest