Logic List Mailing Archive

FVRM 2020: Formal Approaches to Vagueness in Relation to Mereology

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