Department of Mathematical Logic and Applications


English version Bulgarian version

Past Events

7-9 October 2016

The department organizes a conference in honour of the 80-th anniversary of Prof. Dimiter Skordev at Gyulechitsa

English poster for Skordev 80

6 October 2016

Tatyana Ivanova on her dissertation “Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics”

19 May 2016

Philippe Balbiani (Institute IRIT Toulouse) “Formal concept analysis: from formal contexts to modal logics and return”

12 May 2016

Dimiter Dobrev (Bulgarian Academy of Sciences) “The algorithm of the thinking machine”

21 April 2016

Tsvetan Vassilev on his Master’s thesis “Modal Syllogistic”

26 March 2016

Spring scientific session