ЛЕТНЯЯ ШКОЛА В БАВАРИИ
В небольшом городке Марктобердорф, 100 км юго-восточнее Мюнхена
(Германия), со 2 по 14 августа прошла международная летняя
школа для студентов, аспирантов и молодых ученых в области
информатики и математики «Логические аспекты безопасных
компьютерных систем». Это были две недели интенсивного
тренинга для молодых специалистов, работающих над формальным
описанием вычислительных систем и их логических основ.
В этом году школа прошла в двадцать шестой раз.
Е. Харламов, магистрант ММФ НГУ
Лекции читали ведущие специалисты из Германии, США, Израиля,
Австрии и Франции. В частности, среди лекторов были такие
известные ученые, как Моше Варди (Университет Райс, США), Бруно
Бухбергер (Университет Кеплера, Австрия), Жан Довек (Эколь
Политекник, Франция). На занятиях рассматривались и
демонстрировались возможности применения логических методов для
спецификации, дизайна и верификации программ и «железа». Акцент
был сделан на применении логических методов для формального
описания вычислительных задач, для проверки наличия в программах
и (или) спецификациях ошибок при исполнении. Также внимание
лекторов было акцентировано на использовании логических методов
для проверки совместности программы и ее спецификации, для
синтеза программного кода по описанию алгоритма программы, а
также для доказательства безопасности операций вычислительных
систем. При этом были рассмотрены не только теоретические основы
применяемых методов, но и их индустриальная реализация.
Особенно был интересен доклад Бруно Бухбергера, получившего
широкую известность после введение такого понятия, как базис
Грёбнера в 1965-м году. В этом году он представил участникам
Школы программный продукт, являющийся последней разработкой
Института символьных вычислений (Австрия). Продукт позволяет
решать многие математические задачи через сведение их к проблеме
нахождения базиса Грёбнера и проверки его свойств.
Марктобердорфская летняя школа заслуженно считается одной из
лучших в Европе как по уровню преподавателей, так и по уровню
организации, в том числе проживания и отдыха участников. Поэтому
конкурс среди потенциальных слушателей всегда очень высок. В этом
году из огромного числа подавших заявки организаторы отобрали
около семидесяти человек. Участники приехали из Германии, США,
Франции, Украины, Израиля, Мексики и многих других стран. Россию
представляли пять участников, трое из которых — с кафедры
дискретной математики и информатики Новосибирского
государственного университета: Н. Когабаев, Е. Павловский и
Е. Харламов.
Проживание и занятия были организованы в гимназии города
Марктобердорф, в живописном месте в предгорье Альп на юге
Баварии. Слушателей и лекторов разместили в комфортных одно-трехместных номерах.
Многим слушателям особенно понравилось, что в
непосредственной близости были расположены несколько
спорткомплексов, где можно было без проблем заниматься различными
видами спорта. Любители футбола регулярно тренировались на
местном футбольном поле и даже испытали свои силы в матче с
марктобердорфской футбольной командой. К сожалению, местная
команда, как и все предыдущие двадцать пять лет, оказалась
сильнее молодых гостей.
График занятий был напряженным. Лекции проходили с полдевятого
утра до полшестого вечера. Каждый учебный день заканчивался
«круглым столом», на котором преподаватели отвечали на вопросы
аудитории. Среди активнейших особенно выделялся профессор Варди,
который задавал вопросов не меньше, чем все остальные участники
школы, вместе взятые. К тому же он часто комментировал
выступления лекторов, шутил, тем самым придавая лекциям
неформальный оттенок.
 |
|
Помимо занятий, организаторы школы устроили барбекю, где всех
угостили традиционными баварскими колбасками и знаменитым
баварским пивом. В один из дней участники имели возможность
посетить красивейший замок Баварии Нойшванштайн, построенный в
60-е годы ХIХ в. королем Людвигом II. За несколько дней до завершения
школы была устроена экскурсия в Альпы. От основания горной гряды
участников подняли на фуникулере на высоту около 2000 м, откуда
они имели возможность наслаждаться видом Альп. Интересно, что с
такой высоты одновременно можно видеть территорию четырех стран:
Германии, Австрии, Швейцарии и Италии, границы которых смыкаются
вблизи этого места.
Замечу, что при организации школы происходит чередование: первый
год больше ориентирован на теоретиков (так называемая «Синяя
школа»), а второй на программистов (так называемая «Оранжевая
школа»). Школа 2005 г. была «теоретической». Те, кто
заинтересованы в деталях узнать о прошедшей летней школы или в том, как
принять участие в последующих, могут получить более полную
информацию на интернет-сайте организаторов
http://www4.in.tum.de/misc/summerschool/2005/index.shtml
и сайте кафедры дискретной математики и информатики НГУ.
В этом году, благодаря финансовой поддержке
НАТО, организаторы имели возможность выделить большое количество
грантов, полностью или частично покрывших транспортные расходы
участников и их расходы на проживание.
стр. 7
|
