Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию, г. Новосибирск
-
Декомпозиция булевых функций и приложения - вторая часть (завершение доклада)
П. Г. Емельянов
25 декабря 2024 г. 14:10
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Соревнование по формальной верификации программ VeHa-2024: два года большого пути
Д. А. Кондратьев
23 декабря 2024 г. 08:40
г. Новосибирск, Компьютерный класс 305 Главного (Старого) Корпуса Новосибирского Государственного Университета и онлайн в Skype (https://join.skype.com/IWWUHjUgNnfo)
-
Декомпозиция булевых функций и приложения
П. Г. Емельянов
20 декабря 2024 г. 14:10
г. Новосибирск, Семинар пройдет гибридно: в аудитории 4140 нового корпуса НГУ и онлайн в Skype (https://join.skype.com/IWWUHjUgNnfo, можно смотреть в браузере)
-
A Relational Solver for Constraint-based Type Inference
Доморацкий Эридан Алексеевич
10 декабря 2024 г. 17:00
г. Новосибирск, Семинар пройдет гибридно: в 203 комнате факультета Математики и компьютерных наук СПбГУ и онлайн в Skype (https://join.skype.com/IWWUHjUgNnfo, можно смотреть в браузере)
-
Прагматически-ориентированные модели и методы обработки естественно-языковых вопросно-ответных текстов
Прокопьев Николай Аркадьевич
29 ноября 2024 г. 13:00
г. Новосибирск, Семинар прошел гибридно: в 111 комнате Университета Иннополис и онлайн в Skype.
-
UOOR: an Object-Oriented Approach for Requirements engineering
Наумчева Мария Евгеньевна
15 ноября 2024 г. 13:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Процессный подход к верификации криптографических протоколов
А. М. Миронов
11 октября 2024 г. 13:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Обзор выразительных возможностей формальных языков с захватом в память
А. Н. Непейвода
27 сентября 2024 г. 13:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Классификация коммитов в git репозиториях для поиска наиболее частых исправлений ошибок в системном программном обеспечении (ядро Linux и проекты кибефизических систем)
С. М. Старолетов
21 августа 2024 г. 14:00
г. Новосибирск, Онлайн
-
Архитектурное программирование. Языки Арс и Арвиль
А. Е. Недоря
3 июля 2024 г. 16:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling (the final, 3nd part)
Бурмяков Артем Сергеевич
26 июня 2024 г. 15:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) – вторая часть (завершение доклада)
Н. В. Шилов
19 июня 2024 г. 15:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Процедурно-параметрический полиморфизм и его интеграция с языком программирования C
А. И. Легалов
29 мая 2024 г. 16:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…)
Н. В. Шилов
22 мая 2024 г. 16:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Modelling C++ inheritance and dynamic semantics using a C++ virtual machine
Зуев Евгений Александрович
8 мая 2024 г. 16:00
г. Новосибирск, 422 аудитория Университета Иннополис и онлайн Skype
-
Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling (2nd part)
Burmyakov Artem Sergeevich
24 апреля 2024 г. 16:00
г. Новосибирск, 422 аудитория Университета Иннополис и онлайн Skype
-
Объектно-ориентированное программирование без встроенных типов
А. В. Когтенков
3 апреля 2024 г. 16:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией
А. Ю. Зубарев
20 марта 2024 г. 19:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Automated Reasoning with Continuous Data
M. V. Korovina
8 марта 2024 г. 14:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling
Burmyakov Artem Sergeevich
6 марта 2024 г. 19:00
г. Новосибирск, Институт систем информатики им. А. П. Ершова
-
Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем
В. С. Секорин
28 февраля 2024 г. 19:00
г. Новосибирск, Семинар пройдет гибридно: в 422 аудитории Университета Иннополис и онлайн в Skype (https://join.skype.com/DOsdMMwFpqsm - можно смотреть в браузере).
-
Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ
И. С. Ануреев
14 февраля 2024 г. 19:00
г. Новосибирск, Онлайн
-
О "граблях" в инициализации объектов в современных языках программирования
А. Е. Недоря
2 февраля 2024 г. 10:00
г. Новосибирск, Онлайн
© , 2025
|
