Visite de Arina Britz (Université de Stellenbosch, Afrique du Sud)
Arina Britz, professeur à l’Université de Stellenbosch, Afrique du sud, sera en visite au CRIL du 21 au 30 juin 2016.
Arina Britz est membre du Centre for Artificial Intelligence Research en Afrique du Sud. Elle travaille sur les logiques modales, de description, l’abduction, la modularité.