بحث علمي, ذكاء اصطناعي, علوم الحاسوب, مؤتمرات, منطقالمؤتمر الدولي حول الاستدلال الآلي باستخدام جداول التحليل والطرق ذات الصلة (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods – TABLEAUX)
البرمجيات, الذكاء الاصطناعي, المنطق, علوم الحاسوب, مؤتمراتندوة المنطق في علوم الحاسوب (Symposium on Logic in Computer Science)