6-9 Sep 2020
Sofia, Bulgaria
1st Symposium on Formal Approaches to Vagueness in Relation to Mereology (FVRM'20) Sofia, Bulgaria, 6 - 9 September 2020 https://www.fedcsis.org/2020/fvrm EVENT CHAIRS A Mani, Senior Member, International Rough Set Society, India Lech Polkowski, University of Warmia and Mazury, Olsztyn, Poland Purbita Jana, Institute of Mathematical Sciences, Chennai, India Contact: fvrm2020@fedcsis.org Advisory Committee Rineke Verbrugge, Chair, Logic and Cognition, Institute of AI University of Groningen, Netherlands Dimiter Vakarelov, Professor Emeritus, Fac Math and Comp. Sciences Sofia University, Bulgaria Mihir Chakraborty, Visiting Professor, Center for Cognitive Sciences Jadavpur University Program Committee Artiemjew, Piotr, University of Warmia and Mazury Ciucci, Davide, Department of Informatics, Systems and Communication, University of Milano-Bicocca, Italy Di Nola, Antonio, Università degli Studi di Salerno Duntsch, Ivo, Fujian Normal University Gomolinska, Anna, University of Bialystok Ivanova, Tatyana, Bulgarian Academy of Sciences Pagliani, Piero, International Rough Set Society Semeniuk-Polkowska, Maria, University of Warsaw Stell, John, University of Leeds (More people will be added) 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. The parthood predicate, that is central to most mereologies, maybe of a derived or fundamental nature in lower or higher order perspectives of vagueness. Further, they arise in distinct ways in the application contexts of general rough sets, granularity, fuzzy sets, spatial reasoning, point-free approaches and subjective probability. It is of much interest to study and compare their ontologies from the perspectives of granular, algebraic and topological semantics in the context of applications such as knowledge representation, engineering design, biological taxonomies, robotics and medical diagnosis. Novel applications in specific domains such as education research or intelligent n-way decision- making would also be of interest. The primitive notion of classical geometry is point whereas for point-free geometry it maybe a region (or other tangible objects). Related exact and approximate theories are closely connected with the study of point-free topology or frame theory (and geometric logic). Applied topics related to point-free geometry, point-free topology, and geometric logic will also be within the scope of this symposium. In particular, applications of rough mereotopology, connections with mathematical morphology and other recent developments in spatial mereology would be of interest. Topics Topics of interest to the symposium are (but not limited to): Applications of Mereology and Vagueness, Granular Mereo-Classifiers, Mereo-ontologies: Comparison, Critical Evaluation of Spatial Mereology (Mereotopology), Rough Mereotopologies, Rough Mereology in Engineering (Assembling, Design, etc), Descriptive Proximity and Point-free applications Mereology in Robotics, Intelligent Navigation/Planning, Imaging, Intelligent Image Analysis, Mathematical Morphology and Mereology, Applications of Non-transitive Parthood and Granularity in Areas such as Taxonomy, Medical Diagnosis, and Imaging (histology, etc), Mereology and Fuzzy Sets in Physics, Regions as Pluralities, Related Ontologies, Theories of Knowledge, Knowledge Consistency, Applications of Knowledge Based Methods involving Mereology Related Situation Logics, Ontology, Domain Science Point-Free Geometry, Geometric Logic, Qualitative Space, Whitehead-Gerla Approach, Hybrid Approaches, Novel Applications, RCC, and Related Topics. Paper submission Authors should submit draft papers (as Postscript, PDF file). The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here. Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop. Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants. Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEEXplore® database. Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site. Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar Organizers reserve right to move accepted papers between FedCSIS events. In addition, extended versions of selected papers are likely to be published in a special issue of Fundamenta Informaticae (under discussion). Important dates Paper submission (sharp / no extension): May 15, 2020 Position paper submission: June 9, 2020 Author notification: June 30, 2020 Final paper submission and registration: July 15, 2020 Conference date: September 6-9, 2020 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam