|
|
| Строка 1: |
Строка 1: |
| − | == Весна 2008 года ==
| |
| − | {| class="wide" width="100%"
| |
| − | ! Дата
| |
| − | ! Тема доклада
| |
| − | ! Докладчик
| |
| − | |-
| |
| − | | 22 февраля
| |
| − | | О проблеме эквивалентности операторных программ
| |
| − | | [[Захаров Владимир Анатольевич]]
| |
| − | |-
| |
| − | | 15 марта
| |
| − | | Minimization of lattice finite automata and its application to the decomposition of lattice languages <ref> Yongming Li, Witold Pedrycz, 2007, [http://portal.acm.org/citation.cfm?id=1243507.1243662 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, [http://www.cs.technion.ac.il/users/orna/submitted-ATVA05-multival.ps.gz Multi-Valued Model Checking Games]. </ref> <ref> Orna Kupferman Yoad Lustig, 2007, [http://www.cs.huji.ac.il/~ornak/publications/atva07.pdf Latticed Simulation Relations and Games]</ref> <ref> Marsha Chechick, Benet Devereux, Arie Gurfinkel, Steve Easterbrook, 2004, [http://www.cs.toronto.edu/~chechik/pubs/tosem04.pdf Multi-Valued Symbolic Model-Checking] </ref>
| |
| − | | [http://lvk.cs.msu.su/~peterbul Булычёв Пётр Евгеньевич]
| |
| − | |-
| |
| − | | 11 апреля
| |
| − | | Применение техники следов для распознавания эквивалентности схем программ
| |
| − | | [[Студенты кафедры математической кибернетики|Герасимов Сергей Алексеевич]]
| |
| − | |-
| |
| − | | 18 апреля
| |
| − | | Коммутативная эквивалентность схем программ
| |
| − | | [[Студенты кафедры математической кибернетики|Герасимов Сергей Алексеевич]]
| |
| − | |-
| |
| − | | 25 апреля
| |
| − | | Применение алгоритмов анти-унификации к задаче поиска клонов в исходных кодах программ. Средство Clone Digger. <ref> Peter Bulychev, Marius Minea, 2008 [http://clonedigger.sourceforge.net/duplicate_code_detection_bulychev_minea.pdf Duplicate Code Detection Using Anti-Unification] </ref> <ref> [http://clonedigger.sourceforge.net Clone Digger: the tool for finding duplicate code in Python and Java] </ref>
| |
| − | | [http://lvk.cs.msu.su/~peterbul Булычёв Пётр Евгеньевич]
| |
| − | |}
| |
| − |
| |
| | == Осень 2007 года == | | == Осень 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 декабря
|
Теория конформности для функционального тестирования программных систем на основе формальных моделей
|
Бурдонов Игорь Борисович
ИСП РАН
|
