今年の夏（2011年7月17〜27日）、Microsoft Researchは、HSEおよびISP RASとともに、ソフトウェアエンジニアリングとソフトウェア検証の問題に特化した国際的なサマースクールを開催します。 学校のスポンサーとパートナーには、Intel、Google、Kaspersky Lab、IEEE Computer Societyがあります。
校長は
、世界的に有名な科学者であり、チューリング賞受賞者
であるトニー・ホアirです。 アメリカとヨーロッパの主要な大学の有名な科学者や他の教授が学校の講師を務めます。
ロシア、CIS、および中央ヨーロッパとスカンジナビアの国々から興味を持ち活発な上級学生、大学院生、若い科学者が参加するよう招待されています。
興味がある場合は、登録を急いでください：5月1日までに公式の申請書と書類を提出できます。
詳細-カットの下、
私たちのグループおよび
公式ウェブサイト 。
主なコース- プログラム検証の基礎。 マイクロソフトリサーチ、トニーホアーir
イギリス - 証拠と反論を構築するプロセスの自動化。 アンドレイ・ヴォロンコフ、マンチェスター大学、英国
- ソフトウェアモデルの検証とテストモデルの自動生成
例。 Patrice Godefroid、Microsoft Research、米国 - 静的分析とエラー検出。 ジャニス・スマラグダキス、大学
マサチューセッツ州、アマースト、アメリカ合衆国 - マルチスレッドCプログラムとオペレーティングシステムの検証。 Stefan Tobies、マイクロソフト、ドイツ
- 効果的な検証のための抽象化と意思決定手順
ソフトウェアモデル。 ナターシャ・シャリギナ、ルガノ大学、スイス - プログラム分析とその応用分野。 ベン・リブシッツ、マイクロソフト
リサーチ、アメリカ。
宿泊と参加費用- 選択に合格した候補者の場合、トレーニングコースへの参加は完全に無料です。 また、学生はHSEホステルの1つで無料の場所を提供されます。
- 参加者自身が責任を負い、必要に応じてロシアへの輸送とビザの取得に関連するすべての金銭的費用を負担します。
サマースクールに参加するには：- イベントに登録します。 （注意！タイトルおよび要約フィールドは、登録時に「空」として入力されます）。 早期登録は、学校への参加候補者を選択する際に有利です。
- 参加のために書類を提出してください。 それらの中で：
- 記入済みの申請書 （.docx）;
- 概要。教育と研究の両方の経験に関する情報（.pdf）。
- 最近の科学的な出版物または作品/卒業プロジェクトの1つ。 学校の方向性に関するトピックは大歓迎です。 （.pdf）
- 監督者またはその作品に詳しい教授の推奨（できれば、.pdf）。
参照資料