Universiteit van Amsterdam


Institute for Logic, Language and Computation

6 - 9 September 2020, 1st Symposium on Formal Approaches to Vagueness in Relation to Mereology (FVRM'20), Sofia, Bulgaria

Date: 6 - 9 September 2020
Location: Sofia, Bulgaria
Deadline: Friday 15 May 2020

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.

For more information, see https://www.fedcsis.org/2020/fvrm or contact .