Формальная философия-13

16 Апреля состоялось совместное заседание семинара "Формальная философия" и семинара "Математические модели информационных технологий". Dr. Meghyn Bienvenu (Université Paris Sud) выступила с докладом "Ontologies in Computer Science and Description Logics".