منح مالية لطلاب البكالوريوس والماجستير في مجال المنطق وعلم الحاسوب من مؤسسة LogiCS

تدعو جامعة فيينا للتكنولوجيا إلى ترشيح مؤلفي الأطروحات المتميزة والأعمال العلمية في مجال المنطق وعلوم الحاسوب في الفئتين التاليتين:

• جائزة أطروحة الماجستير المتميزة.
• جائزة أطروحة البكالوريوس أو ما يعادلها.

للحصول على المنحة المالية التي أقيمت تخليداً لذكرى هيلموت فيث عالم الكمبيوتر اللامع الذي توفي بشكل مأساوي في مارس 2016، وتهدف إلى مواصلة التزامه بتعزيز المواهب الشابة والباحثين الواعدين في مجالات الجائزة.

تتمثل مجالات الجائزة الرئيسية فيما يلي:

• المنطق الحسابي الذي يغطي الأسس النظرية والرياضية مثل نظرية الإثبات، نظرية النموذج، نظرية الحوسبة، الرضا المنطقي (SAT) ، QBF ، إرضاء القيد، نظريات نموذج الرضا، الاستنتاج الآلي (القرار، التفنيد، إثبات النظرية)، المنطق غير الكلاسيكي (المنطق تحت البنيوي والمنطق متعدد القيم، والمنطق الواجب، والمنطق الشرطي والزمني).
• الخوارزميات والتعقيد الحسابي، بما في ذلك تصميم وتحليل الخوارزميات المنفصلة، وتحليل التعقيد، والحدود الخوارزمية المنخفضة، والخوارزميات المحددة، وطرق التحلل، وخوارزميات التقريب، والخوارزميات العشوائية، وهندسة الخوارزميات، وكذلك نظرية الألعاب الخوارزمية، والاختيار الاجتماعي الحسابي، والخوارزميات المتوازية وخوارزميات الرسم البياني والخوارزميات الموزعة.
• قواعد البيانات والذكاء الاصطناعي المتعلقة بالطرق المنطقية للنمذجة والتخزين واستخلاص الاستنتاجات من البيانات والمعرفة. يتضمن ذلك موضوعات مثل لغات الاستعلام بناءً على المفاهيم المنطقية (كتالوج البيانات ومتغيرات SQL وXML وSPARQL)، وطرق نظرية قواعد البيانات الجديدة (تعيينات المخططات، واستخراج المعلومات، والتكامل)، والبرمجة المنطقية، وتمثيل المعرفة، والاستدلال (برمجة مجموعة الإجابات، تغيير المعتقدات، معالجة التناقض، الجدل، التخطيط).
• التحقق الذي يهتم بالطرق المنطقية والأدوات الآلية للاستدلال على سلوك وصحة الأنظمة المعقدة القائمة على الحالة مثل تصميمات البرامج والأجهزة وكذلك الأنظمة الهجينة. يتضمن هذا فحص النموذج وتحليل البرنامج والتجريد ومجالات جديدة متعددة التخصصات مثل توطين الأخطاء وإصلاح البرامج وتوليف البرامج وتحليل الأنظمة البيولوجية.

• جائزة رسالة الماجستير المتميزة: 1200 يورو
• جائزة أطروحة البكالوريوس المتميزة: 800 يورو
• سيتم دعوة الفائزين لعرض أعمالهم في حفل توزيع الجوائز في فيينا، إذا سمح الوضع بذلك

• يجب أن تكون الشهادة قد منحت بين 15 نوفمبر 2019 و31 ديسمبر 2020.
• لا يمكن إعادة تقديم الطلبات المقدمة بالفعل إلى جوائز VCLA لعام 2020.
• الطلاب الذين حصلوا على شهادتهم في TU Wien غير مؤهلين.

حول مؤسسة LogiCS:

 LogiCS هو موقع إلكتروني يركز على أنشطة جامعة فيينا للتكنولوجيا في المنطق والحساب. في فيينا، يعتبر تطبيق المنطق الرياضي على العلوم ذو تقليد طويل وغني، حيث يركز الموقع على الأساليب المنطقية في علم الكمبيوتر. استنادًا إلى خبرة قوية في كل من الأساسيات الرياضية والتطبيقات في العالم الحقيقي، يقدم كل من الموقع والجامعة إسهامات في النظرية والخوارزميات وقواعد البيانات والذكاء الاصطناعي وتمثيل المعرفة ونظرية البرهان والطرق الرسمية وفحص النماذج ولغات البرمجة والأمن.

اطّلع على المزيد من منح الماجستير المتاحة على فرصة

اطّلع على المزيد من ورشات العمل     

اقرأ أيضًا: 8 نصائح تساعد الاشخاص المماطلين على ترتيب اولوياتهم