The aim of this Dagstuhl Seminar is to bring together researchers from different subfields of computer science that study or use techniques in knowledge compilation.
ينظم Dagstuhl-Seminar — Knowledge Compilation in Artificial Intelligence, Databases, and Formal Methods في Schloss Dagstuhl، ألمانيا بين 25 ماي 2026 و 29 ماي 2026.يتم تنظيمها بواسطة Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH.ويغطي المؤتمر مجالات محددة من علوم الحاسوب مثل 0. يرجى زيارة الموقع الإلكتروني للمؤتمر للحصول على مزيد من المعلومات التفصيلية أو الاتصال بالمنظم للاستفسار عن أسئلة محددة.
تنويه:
نحن نهدف إلى توفير المعلومات الصحيحة والموثوقة حول الأحداث القادمة، لكن لا يمكن أن نقبل المسؤولية عن نص الإعلانات أو حسن نية منظمي الحدث. لا تتردد في الاتصال بنا إذا لاحظت معلومات غير صحيحة أو مضللة وسنحاول تصحيحها.نحن لا نشارك في تنظيم أي من الأحداث المدرجة ولا نتعامل مع مدفوعات التسجيل نيابة عن المنظمين.