|
Вычисления высших порядков и верификация моделей программ (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 |
Направление «Фундаментальная информатика и информационные технологии»