6 - 9 September 2020, 1st Symposium on Formal Approaches to Vagueness in Relation to Mereology (FVRM'20), Sofia, Bulgaria
Mereology is a very plural subject in which individual researchers may work in multiple potentially incompatible perspectives. It is well-known that mereological methods are important in AI and formalizing human reasoning. In particular, these are relevant in formal approaches to vagueness and point-free reasoning. The main aim of the symposium session is to connect researchers in formal approaches to vagueness and ontology from applied mereological perspectives. All submissions are expected to have a strong focus on applications or potential applications.
Authors are invited to submit draft papers (as Postscript, PDF file). The total length of a paper should not exceed 10 pages IEEE style. Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.