Информационные технологии мехмата ЮФУ
Вычисления высших порядков и верификация моделей программ (19.10.09)
11.10.09 18:17

19 октября, в 16:30 (ауд. 311) на заседании межкафедрального семинара по информатике будет выступать А. М. Пеленицын с докладом «Вычисления высших порядков и верификация моделей программ».

Доклад посвящён популярному подходу к верификации ПО — model checking. Обсуждаются сложности, возникающие при переходе от аппаратного  model checking к программному. Описывается ряд моделей вычислений высших порядков, сравниваются их выразительные возможности. Вводится язык спецификаций вычислений высших порядков, основанный на монадической теории второго порядка. Перечисляются теоретико-сложностные результаты задачи model checking для введённых моделей и языков.

Основой сообщения служит курс лекций, прослушанный докладчиком в Летней школе по формальным методам доказательства надёжности ПО (г. Марктобердорф, 2009 год).

>>> Презентация: [pdf], [tex.zip]

 
Начало занятий аспирантов
07.10.09 09:38

Начало занятий аспирантов естественных факультетов, поступивших в этом году:

  • Английский язык (организационный сбор) — 9 октября, 11:00, физфак, 239 ауд.
  • История и философия науки (лекции) — с 13 октября, 17:00, СКНЦ ВШ (Пушкинская 140).

>>> Подробности

 
Список зачисленных в аспирантуру ЮФУ
01.10.09 16:42
По итогам вчерашнего заседания приёмной комиссии опубликован список зачисленных в аспирантуру ЮФУ. На мехмат (очная форма, бюджет) поступило 18 человек, выпускники мехмата есть также среди зачисленных в аспирантуру ЮГИНФО, НИИ Механики и прикладной математики и физического факультета.
 
Собрание поступивших в аспирантуру ЮФУ
27.09.09 11:42
Собрание поступивших в аспирантуру ЮФУ состоится 2 октября в 11:00 в актовом зале по адресу Пушкинская 160, 7 этаж.
 
Факультатив «Программная инженерия и приложения баз данных»
05.09.09 22:45
Определено время занятий факультатива — пятница, 17:40, а. 211. Первое занятие — 11 сентября.
 
«Актуальные проблемы безопасности информационных технологий»
04.10.09 14:54

10–12 ноября 2010 года в Красноярске пройдёт IV научно-техническая конференция «Актуальные проблемы безопасности информационных технологий» (АПроБИТ-2010). К участию приглашаются специалисты по информационной безопасности, студенты, аспиранты и молодые ученые, работающие в этой области, а также преподаватели, ведущие специальные дисциплины направления «Информационная безопасность».

>>> Официальный сайт

 
CSR 2010 пройдёт в Казани
28.09.09 11:15

Пятая международная конференция по информатике Computer Science Symposium in Russia, CSR 2010, пройдёт в Казани 16–20 июня 2010. Последний срок подачи работ — 7 декабря 2009. Труды конференции публикуются в серии LNCS издательства Springer.

>>> Официальный сайт

>>> Труды CSR 2009

 
Соревнования по компьютерной безопасности
27.09.09 10:18

Собирается команда мехмата для участия в конкурсе RuCTFE 2009. Это командные соревнования, целью которых является оценка умения участников атаковать и защищать компьютерные системы. Каждая команда получает выделенный сервер или небольшую сеть для поддержания её функционирования и защиты. Во время игры команды получают очки за корректную работу своего сервера и за украденную информацию (флаги) с серверов противников.

 
Расписание занятий
28.08.09 18:16

Опубликовано расписание занятий по направлению «Информационные технологии» в осеннем семестре 2009/10 учебного года.

 
<< Начало < Предыдущая 11 12 13 14 15 16 17 18 19 20 Следующая > Последняя >>

Страница 13 из 21

Последнее на форуме

Направление «Фундаментальная информатика и информационные технологии»
факультета математики, механики и компьютерных наук, 2005–2017
Разработка сайта: В.Н. Брагилевский, С.С. Михалкович, А.М. Пеленицын