Теоретические проблемы программирования (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
Root (обсуждение | вклад) (→Весна 2010 года) |
Root (обсуждение | вклад) (→Весна 2009 года) |
||
| Строка 1: | Строка 1: | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Осень 2008 года == | == Осень 2008 года == | ||
Версия 13:53, 30 января 2014
Осень 2008 года
| Дата | Тема доклада | Докладчик |
|---|---|---|
| 3 октября | Спецификация и верификация объектно-ориентированных программ, по материалам лекций Рустана Лейно <ref> [1] </ref> <ref> [2] </ref> | Коннов Игорь |
| 10 октября | Использование временных автоматов для задач верификации и синтеза программных систем <ref> Thomas A. Henzinger The Theory Of Hybrid Automata </ref> <ref> UPPAAL model checker </ref> | Булычёв Пётр Евгеньевич |
| 24 октября | Равномерная проблема останова и синтез функций ранжирования | Влад Щербина |
| 31 Октября | Какая польза от многоленточных автоматов? | Захаров Владимир Анатольевич |
| 7 ноября | Техника следов в разрешении проблемы эквивалентности для алгебраических моделей программ | Подловченко Римма Ивановна |
| 14 ноября | Программы с зацеплениями состояний и простые функции | Александр Якушкин |
Весна 2008 года
| Дата | Тема доклада | Докладчик |
|---|---|---|
| 22 февраля | О проблеме эквивалентности операторных программ | Захаров Владимир Анатольевич |
| 15 марта | Minimization of lattice finite automata and its application to the decomposition of lattice languages <ref> Yongming Li, Witold Pedrycz, 2007, Minimization of lattice finite automata and its application to the decomposition of lattice languages. </ref> | Кувалдин Кирилл Сергеевич |
| 28 марта | Алгоритмы сжатия строковых данных | |
| 4 апреля | Проверка моделей на решётках (lattice model checking) <ref> Sharon Shoham, Orna Grumberg, 2005, Multi-Valued Model Checking Games. </ref> <ref> Orna Kupferman Yoad Lustig, 2007, Latticed Simulation Relations and Games</ref> <ref> Marsha Chechick, Benet Devereux, Arie Gurfinkel, Steve Easterbrook, 2004, Multi-Valued Symbolic Model-Checking </ref> | Булычёв Пётр Евгеньевич |
| 11 апреля | Применение техники следов для распознавания эквивалентности схем программ | Герасимов Сергей Алексеевич |
| 18 апреля | Коммутативная эквивалентность схем программ | Герасимов Сергей Алексеевич |
| 25 апреля | Применение алгоритмов анти-унификации к задаче поиска клонов в исходных кодах программ. Средство Clone Digger. <ref> Peter Bulychev, Marius Minea, 2008 Duplicate Code Detection Using Anti-Unification </ref> <ref> Clone Digger: the tool for finding duplicate code in Python and Java </ref> | Булычёв Пётр Евгеньевич |
Осень 2007 года
| Дата | Тема доклада | Докладчик |
|---|---|---|
| 28 сентября | По материалам конференции WING 2007 | Коннов Игорь |
| 5 октября | Элиминация кванторов в линейных арифметических теориях | Щербина Владислав |
| 12 октября | Изоморфизм Карри-Ховарда | Щербина Владислав |
| 19 октября | Минимальность и тупиковость многоленточных автоматов | Хачатрян Владимир Ервандович |
| 26 октября | Язык UML | Немцан М.Ю. |
| 2 ноября | Верификация UML | Немцан М.Ю. |
| 9 ноября | Верификация UML | Немцан М.Ю. |
| 16 ноября | Логические методы в информационной безопасности. BAN-логика. <ref> Michael Burrows, Martín Abadi, Roger Needham, 1996, A Logic of Authentication. </ref> <ref> Colin Boyd, Wenbo Mao, 1993, On a Limitation of BAN Logic. </ref> | Масюк Дмитрий Викторович |
| 23 ноября | Логические методы в информационной безопасности. BAN-логика. (продолжение) | Масюк Дмитрий Викторович |
| 30 ноября | Алгебраические модели продукционной логики и возможности их применения в интеллектуальных системах | Махортов Сергей Дмитриевич Воронежский государственный университет |
| 7 декабря | Теория конформности для функционального тестирования программных систем на основе формальных моделей | Бурдонов Игорь Борисович ИСП РАН |
Ссылки
<references/>
