सॉफ्टवेयर इंजीनियरिंग और सत्यापन की ग्रीष्मकालीन स्कूल

यह समर (जुलाई 17-27, 2011), माइक्रोसॉफ्ट रिसर्च, एचएसई और आईएसपी आरएएस के साथ मिलकर, सॉफ्टवेयर इंजीनियरिंग और सॉफ्टवेयर सत्यापन मुद्दों के लिए समर्पित एक अंतर्राष्ट्रीय समर स्कूल का आयोजन करेगा। स्कूल के प्रायोजकों और साझेदारों में इंटेल, गूगल, कास्परस्की लैब, और साथ ही IEEE कंप्यूटर सोसायटी भी हैं।

स्कूल के निदेशक सर टोनी होरे हैं, जो विश्व प्रसिद्ध वैज्ञानिक और ट्यूरिंग पुरस्कार विजेता हैं। संयुक्त राज्य अमेरिका और यूरोप के प्रमुख विश्वविद्यालयों के प्रसिद्ध वैज्ञानिक और अन्य प्रोफेसर स्कूल में व्याख्याता होंगे।

इच्छुक और सक्रिय वरिष्ठ छात्रों, स्नातक छात्रों, और रूस के युवा वैज्ञानिकों, सीआईएस, साथ ही मध्य यूरोप और स्कैंडिनेविया के देशों को भाग लेने के लिए आमंत्रित किया जाता है।

यदि आप रुचि रखते हैं, तो पंजीकरण करने की जल्दी करें: आप एक मई तक एक आधिकारिक आवेदन और दस्तावेज जमा कर सकते हैं।

विवरण - कट के तहत, हमारे समूह में और आधिकारिक वेबसाइट पर ।



मुख्य पाठ्यक्रम

• कार्यक्रम सत्यापन के बुनियादी ढांचे। सर टोनी होर, माइक्रोसॉफ्ट रिसर्च,
  ग्रेट ब्रिटेन
• सबूत और खंडन के निर्माण की प्रक्रिया का स्वचालन। एंड्रे वोरोंकोव, मैनचेस्टर विश्वविद्यालय, यूके
• सॉफ्टवेयर मॉडल और परीक्षण मॉडल की स्वचालित पीढ़ी का सत्यापन
  उदाहरण। पैट्रिस गोडेफायर, माइक्रोसॉफ्ट रिसर्च, यूएसए
• स्थैतिक विश्लेषण और त्रुटि का पता लगाने। जैनिस स्मार्गदाकिस, विश्वविद्यालय
  मैसाचुसेट्स, एमहर्स्ट, संयुक्त राज्य अमेरिका
• मल्टीथ्रेडेड सी कार्यक्रमों और ऑपरेटिंग सिस्टम का सत्यापन। स्टीफन टॉबीज, माइक्रोसॉफ्ट, जर्मनी
• प्रभावी सत्यापन के लिए सार और निर्णय लेने की प्रक्रिया
  सॉफ्टवेयर मॉडल। नताशा शैरीगिना, यूनिवर्सिटी ऑफ लुगानो, स्विट्जरलैंड
• कार्यक्रम विश्लेषण और इसके आवेदन क्षेत्रों। बेन Livshits, Microsoft
  रिसर्च, यूएसए।

आवास और भागीदारी की लागत

• जिन उम्मीदवारों ने चयन पास कर लिया है, उनके लिए प्रशिक्षण पाठ्यक्रम पूरा करना नि: शुल्क है। छात्रों को एचएसई हॉस्टल में से एक में भी मुफ्त स्थानों की पेशकश की जाएगी।
• प्रतिभागी स्वयं जिम्मेदारी और परिवहन से जुड़े सभी वित्तीय खर्चों को सहन करते हैं और यदि आवश्यक हो तो रूस को वीजा प्राप्त करते हैं।

समर स्कूल में भाग लेने के लिए आपको चाहिए:

• घटना के लिए रजिस्टर करें । (ध्यान दें! शीर्षक और सार फ़ील्ड पंजीकरण के दौरान "खाली" के रूप में भरे गए हैं)। प्रारंभिक पंजीकरण स्कूल में भागीदारी के लिए उम्मीदवारों का चयन करने में एक लाभ प्रदान कर सकता है।
• भागीदारी के लिए दस्तावेज जमा करें। उनमें से:
  
  • भरा हुआ आवेदन पत्र (.docx);
  • सारांश, शैक्षिक और अनुसंधान अनुभव (.pdf) दोनों के बारे में जानकारी सहित;
  • हाल के वैज्ञानिक प्रकाशनों या कार्यों / स्नातक परियोजना में से एक। विद्यालय की दिशा से संबंधित विषय स्वागत योग्य हैं। (.Pdf)
  • पर्यवेक्षक की सिफारिश या काम से परिचित प्रोफेसर (अधिमानतः, पीपीपी)।

संदर्भ

• VKontakte समूह (एक FAQ भी है)
• पंजीकरण प्रक्रिया का विवरण
• स्कूल विवरण
• संपर्क ई-मेल: SSSEV_2011@hotmail.com