Logical Methods in Computer Science (LogiCS)

عن المؤسسة

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