Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (→Доклады на спецсеминарах) |
PodymovVV (обсуждение | вклад) (→Доклады на спецсеминарах) |
||
| Строка 2: | Строка 2: | ||
{| | {| | ||
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | |colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | ||
| + | {{announce Seminar| | ||
| + | | | ||
| + | | }} | ||
| + | |||
|- | |- | ||
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]''' | |colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]''' | ||
{{announce Seminar | 2 октября 2020 | {{announce Seminar | 2 октября 2020 | ||
| − | | | + | | "Условное тестирование схем Кардо" (Вороненко А.А.) |
| Пенкин В.А. (студент группы 418)}} | | Пенкин В.А. (студент группы 418)}} | ||
{{announce Seminar | 9 октября 2020 | {{announce Seminar | 9 октября 2020 | ||
| − | | | + | | "Универсальные функции для классов линейных функций двух переменных" (Вороненко А.А., Окунева А.С.) |
| Журавлева С.А. (студент группы 318)}} | | Журавлева С.А. (студент группы 318)}} | ||
{{announce Seminar | 16 октября 2020 | {{announce Seminar | 16 октября 2020 | ||
| − | | | + | | "Универсальные функции для классов линейных функций трех переменных" (Вороненко А.А., Окунева А.С.) |
| Фаерштейн И.С. (студент группы 518мк_дс)}} | | Фаерштейн И.С. (студент группы 518мк_дс)}} | ||
{{announce Seminar | 23 октября 2020 | {{announce Seminar | 23 октября 2020 | ||
| − | | | + | | "О сложности pаспознавания монотонности" (Вороненко А.А.) |
| Китаев С.Н. (асп. 1 г.о.)}} | | Китаев С.Н. (асп. 1 г.о.)}} | ||
| Строка 31: | Строка 35: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 8 октября 2020 |
| − | | | + | | "Modelling and Verification of Timed Interaction and Migration" (G. Ciobanu, M. Coutny) |
| − | | }} | + | | Евгений Винарский (студент группы 618мк_дус)}} |
| + | {{announce Seminar| 15 октября 2020 | ||
| + | | Проверка эквивалентности в одном классе многоленточных автоматов | ||
| + | | Шынар Жайлауова (асп.)}} | ||
| + | {{announce Seminar| 22 октября 2020 | ||
| + | | Принципы устройства протокола блокчейна Ethereum и языка описания смарт-контрактов Solidity | ||
| + | | Сергей Портнов (студент группы 418)}} | ||
| + | {{announce Seminar| 29 октября 2020 | ||
| + | | "Minimizing GFG Transition-Based Automata" (O. Kupferman, B. Abu Radi) | ||
| + | | Артур Хашаев (асп.)}} | ||
| + | {{announce Seminar| 12 ноября 2020 | ||
| + | | "TCTL-preserving translations from timed-arc Petri nets to networks of timed automata" (J. Byg, M. Jacobsen, L. Jacobsen, K.Y. Jørgensen, M.H. Møller, J. Srba) | ||
| + | | Георгий Попков (студент группы 518мк_дус)}} | ||
| + | {{announce Seminar| 19 ноября 2020 | ||
| + | | "Deterministic 1-counter automata" (M. Paterson, L. Valiant) | ||
| + | | Нурлан Рахимжанов (студент группы 418)}} | ||
| + | {{announce Seminar| 26 ноября 2020 | ||
| + | | "2-Way Finite Automata" (Serena Rietbergen) | ||
| + | | Диана Оспанова (студент группы 418)}} | ||
| + | {{announce Seminar| 3 декабря 2020 | ||
| + | | "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen) | ||
| + | | Нина Куцак (студент группы 618мк_дус)}} | ||
| + | {{announce Seminar| 10 декабря 2020 | ||
| + | | "The mu-calculus and model checking" (I. Walukievicz, J. Bradfield) | ||
| + | | Антон Гнатенко (ВШЭ)}} | ||
| + | {{announce Seminar| 17 декабря 2020 | ||
| + | | "Model Checking with Multi-Valued Logics" (G. Bruns, P. Godefroid) | ||
| + | | Илья Мушкин (студент группы 418)}} | ||
Версия 20:44, 6 октября 2020
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 2 октября 2020 | "Условное тестирование схем Кардо" (Вороненко А.А.) | Пенкин В.А. (студент группы 418) |
| 9 октября 2020 | "Универсальные функции для классов линейных функций двух переменных" (Вороненко А.А., Окунева А.С.) | Журавлева С.А. (студент группы 318) |
| 16 октября 2020 | "Универсальные функции для классов линейных функций трех переменных" (Вороненко А.А., Окунева А.С.) | Фаерштейн И.С. (студент группы 518мк_дс) |
| 23 октября 2020 | "О сложности pаспознавания монотонности" (Вороненко А.А.) | Китаев С.Н. (асп. 1 г.о.) |
| Теория управляющих систем и математические модели СБИС | ||
| Сложность решения дискретных задач | ||
| Теоретические проблемы программирования | ||
| 8 октября 2020 | "Modelling and Verification of Timed Interaction and Migration" (G. Ciobanu, M. Coutny) | Евгений Винарский (студент группы 618мк_дус) |
| 15 октября 2020 | Проверка эквивалентности в одном классе многоленточных автоматов | Шынар Жайлауова (асп.) |
| 22 октября 2020 | Принципы устройства протокола блокчейна Ethereum и языка описания смарт-контрактов Solidity | Сергей Портнов (студент группы 418) |
| 29 октября 2020 | "Minimizing GFG Transition-Based Automata" (O. Kupferman, B. Abu Radi) | Артур Хашаев (асп.) |
| 12 ноября 2020 | "TCTL-preserving translations from timed-arc Petri nets to networks of timed automata" (J. Byg, M. Jacobsen, L. Jacobsen, K.Y. Jørgensen, M.H. Møller, J. Srba) | Георгий Попков (студент группы 518мк_дус) |
| 19 ноября 2020 | "Deterministic 1-counter automata" (M. Paterson, L. Valiant) | Нурлан Рахимжанов (студент группы 418) |
| 26 ноября 2020 | "2-Way Finite Automata" (Serena Rietbergen) | Диана Оспанова (студент группы 418) |
| 3 декабря 2020 | "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen) | Нина Куцак (студент группы 618мк_дус) |
| 10 декабря 2020 | "The mu-calculus and model checking" (I. Walukievicz, J. Bradfield) | Антон Гнатенко (ВШЭ) |
| 17 декабря 2020 | "Model Checking with Multi-Valued Logics" (G. Bruns, P. Godefroid) | Илья Мушкин (студент группы 418)
|
