البرمجيات, الذكاء الاصطناعي, المنطق, علوم الحاسوب, مؤتمراتندوة المنطق في علوم الحاسوب (Symposium on Logic in Computer Science)