|
|
| Строка 1: |
Строка 1: |
| − | == Осень 2007 года ==
| |
| − |
| |
| − | {| class="wide" width="100%"
| |
| − | ! Дата
| |
| − | ! Тема доклада
| |
| − | ! Докладчик
| |
| − | |-
| |
| − | | 28 сентября
| |
| − | | По материалам конференции WING 2007
| |
| − | | [http://lvk.cs.msu.su/~konnov Коннов Игорь]
| |
| − | |-
| |
| − | | 5 октября
| |
| − | | Элиминация кванторов в линейных арифметических теориях
| |
| − | | [[Аспиранты кафедры математической кибернетики|Щербина Владислав]]
| |
| − | |-
| |
| − | | 12 октября
| |
| − | | Изоморфизм Карри-Ховарда
| |
| − | | [[Аспиранты кафедры математической кибернетики|Щербина Владислав]]
| |
| − | |-
| |
| − | | 19 октября
| |
| − | | Минимальность и тупиковость многоленточных автоматов
| |
| − | | Хачатрян Владимир Ервандович
| |
| − | |-
| |
| − | | 26 октября
| |
| − | | Язык UML
| |
| − | | [[Студенты кафедры математической кибернетики|Немцан М.Ю.]]
| |
| − | |-
| |
| − | | 2 ноября
| |
| − | | Верификация UML
| |
| − | | [[Студенты кафедры математической кибернетики|Немцан М.Ю.]]
| |
| − | |-
| |
| − | | 9 ноября
| |
| − | | Верификация UML
| |
| − | | [[Студенты кафедры математической кибернетики|Немцан М.Ю.]]
| |
| − | |-
| |
| − | | 16 ноября
| |
| − | | Логические методы в информационной безопасности. BAN-логика. <ref> Michael Burrows, Martín Abadi, Roger Needham, 1996, [http://citeseer.ist.psu.edu/burrows90logic.html A Logic of Authentication]. </ref> <ref> Colin Boyd, Wenbo Mao, 1993, [http://citeseer.ist.psu.edu/boyd93limitation.html On a Limitation of BAN Logic]. </ref>
| |
| − | | [[Студенты кафедры математической кибернетики|Масюк Дмитрий Викторович]]
| |
| − | |-
| |
| − | | 23 ноября
| |
| − | | Логические методы в информационной безопасности. BAN-логика. (продолжение)
| |
| − | | [[Студенты кафедры математической кибернетики|Масюк Дмитрий Викторович]]
| |
| − | |-
| |
| − | | 30 ноября
| |
| − | | Алгебраические модели продукционной логики и возможности их применения в интеллектуальных системах
| |
| − | | Махортов Сергей Дмитриевич <br> Воронежский государственный университет
| |
| − | |-
| |
| − | | 7 декабря
| |
| − | | Теория конформности для функционального тестирования программных систем на основе формальных моделей
| |
| − | | Бурдонов Игорь Борисович <br> ИСП РАН
| |
| − | |}
| |
| − |
| |
| | == Ссылки == | | == Ссылки == |
| | | | |
