Телефонный справочник
+7 (800) 550-41-72 Телефон горячей линии
+7 (812) 326-31-63 Многоканальный телефон
Россия, 193232, Санкт-Петербург,
пр. Большевиков д.22, к.1
rector@sut.ru
СобытияОткрытая лекция доцента из университета Тулузы

Открытая лекция доцента из университета Тулузы

20 декабря 2018

Приглашаем всех желающих на открытую лекцию на тему "Моделирование семантики языка программирования в системах проверки доказательств, с приложениями к типам информационных потоков", которая состоится 20 декабря в 10:45 в ауд. 122/1

Цель лекции - дать участникам представление об использовании интерактивных помощников по проверке доказательств, с приложениями к типам информационных потоков (Isabelle prover), и показать, как это можно использовать для моделирования семантики низкоуровнего языка программирования с возможными приложениями в области информационной безопасности. Будет представлено определение «высокоуровневого» императивного языка программирования, языка ассемблера и их компиляторов, а также показано, как проверить верность отладки и сборки средств разработки. Будет затронуто исследование системы особого типа, предназначенного для предотвращения незаконного обмена информацией, и как ее можно провести моделирование в помощнике по проверке доказательств, с приложениями к типам информационных потоков.

Читает лекцию Мартин Штрекер, PhD, доцент, университет Пола Сабатье (Тулуза III), Тулуза, Франция.

Далее студентов ожидает экскурсия по вузу, в частности знакомство с лабораторией «OpenStack Remote Security Laboratory» («RESELA»). 

 

При использовании материалов ссылка на сайт обязательна.
0
Поделиться:
Другие события
Kazan Digital Week - 2021 21-24 сентября Kazan Digital Week - 2021 АПИНО - 2021 24-25 февраля АПИНО - 2021 Cтажировка в Словении в 2021/2022 учебном году 15 февраля Cтажировка в Словении в 2021/2022 учебном году Большой Национальный форум информационной безопасности «Инфофорум-2021» 4-5 февраля Большой Национальный форум информационной безопасности «Инфофорум-2021» XXI Международная научно-практическая конференция «Новые информационные технологии в образовании» 2-3 февраля XXI Международная научно-практическая конференция «Новые информационные технологии в образовании» График проведения Дней открытых дверей СПбГУТ 27 января-26 мая График проведения Дней открытых дверей СПбГУТ Зимняя онлайн-школа в Университете Лас-Пальмас-де-Гран-Канария (Испания) 18 января-5 февраля Зимняя онлайн-школа в Университете Лас-Пальмас-де-Гран-Канария (Испания) Конкурс для студентов и выпускников с инвалидностью «Путь к карьере 2021» 1 января Конкурс для студентов и выпускников с инвалидностью «Путь к карьере 2021» Очередное занятие для слушателей Школы педагогического мастерства 23 декабря Очередное занятие для слушателей Школы педагогического мастерства Приём поздравлений на онлайн-концерт «Голубой огонёк СПбГУТ» 23 декабря Приём поздравлений на онлайн-концерт «Голубой огонёк СПбГУТ» Курсы подготовки к ЕГЭ и вступительным испытаниям в университет 23 декабря-1 февраля Курсы подготовки к ЕГЭ и вступительным испытаниям в университет Выборы Председателя Студенческого совета СПбГУТ 18 декабря Выборы Председателя Студенческого совета СПбГУТ День открытых дверей «Военное образование в гражданском вузе» 16 декабря День открытых дверей «Военное образование в гражданском вузе» Новогодние и рождественские мероприятия в Санкт-Петербурге 15 декабря-13 января Новогодние и рождественские мероприятия в Санкт-Петербурге Конкурс сценариев короткометражных мультфильмов «Мы из детства» 9 декабря Конкурс сценариев короткометражных мультфильмов «Мы из детства» День открытых дверей «Поступай онлайн: Институт магистратуры» 9 декабря День открытых дверей «Поступай онлайн: Институт магистратуры» Молодежный межвузовский онлайн-форум 9 декабря Молодежный межвузовский онлайн-форум Запись на факультативные занятия 8 декабря-15 февраля Запись на факультативные занятия BAFO-2020 4-6 декабря BAFO-2020 Всероссийский правовой (юридический) диктант 3-10 декабря Всероссийский правовой (юридический) диктант