Dear interested researchers,
a workshop on Computational Notebooks will be organised at the next ICFCA
conference. Notebooks, in particular Jupyter Notebooks, are becoming
increasingly popular as a means for documenting procedures, data,
calculations, and findings for data science applications and teaching.
They support an easy production of nicely formatted mathematical
documentation (using Latex, HTML or Markdown) interspersed with executable
code for immediate demonstration. For FCA they would provide opportunities
to share data procedures, algorithms and teaching materials.
Further details can be found on the workshop website:
If you are interested in participating, please send an informal email by
May 1 to upriss(a)gmail.com (also indicating whether you would like to
listen to the presentations or present a notebook yourself).
-- FCA4AI (Eleventh Edition) --
``What can FCA do for Artificial Intelligence?''
co-located with IJCAI 2023, Macao, China
19th-25th August 2023
The preceding editions of the FCA4AI Workshop (from ECAI 2012 until IJCAI-ECAI 2022) showed that many researchers working in Artificial Intelligence are indeed interested by powerful techniques for classification and data mining provided by Formal Concept Analysis. Again, we have the chance to organize the 11th edition of the workshop in Macao, co-located with the IJCAI 2023 Conference.
Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Thus, there are many ``natural links'' between FCA and AI.
Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis, as well as on hybridization with other formalisms. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing... While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA.
As usual, the FCA4AI workshop is dedicated to the discussion of such issues, and in particular:
- How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing...
- By contrast, how the current developments in AI can be integrated within FCA to help AI researchers solve complex problems in their domain,
- Which role can be played by FCA in the new trends in AI, especially in ML, XAI, fairness of algorithms, and ``hybrid systems'' combining symbolic and subsymbolic approaches.
TOPICS OF INTEREST include but are not limited to:
- Concept lattices and related structures: pattern structures, relational structures, distributive lattices.
- Knowledge discovery and data mining:
pattern mining, association rules, attribute implications, subgroup discovery, exceptional model mining, data dependencies, attribute exploration, stability, projections, interestingness measures, MDL principle, mining of complex data, triadic and polyadic analysis.
- Knowledge and data engineering: knowledge representation, reasoning, ontology engineering, mining the web of data, text mining, data quality checking.
- Analyzing the potential of FCA in supporting hybrid systems: how to combine FCA and data mining algorithms, such as deep learning for building hybrid knowledge discovery systems, producing explanations, and assessing system fairness.
- Analyzing the potential of FCA in AI tasks such as classification, clustering, biclustering, information retrieval, navigation, recommendation, text processing, visualization, pattern recognition, analysis of social networks.
- Practical applications in agronomy, astronomy, biology, chemistry, finance, manufacturing, medicine...
The workshop will include time for audience discussion aimed at better understanding of of the issues, challenges, and ideas being presented.
Submission deadline: May 15 2023
Notification to authors: June 05 2023
Final version: July 03 2023
Workshop: August 19-21 2023
The workshop welcomes submissions in pdf format following the CEURART style 1-column
(to be downloaded at https://ceur-ws.org/Vol-XXX/CEURART.zip).
Submissions can be:
- technical papers between 8 and 12 pages,
- system descriptions or position papers on work in progress not exceeding 6 pages.
Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2023
The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-3233, Vol-2972, Vol-2729, Vol-2529, Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939).
Sergei O. Kuznetsov National Research University Higher Schools of Economics, Moscow, Russia
Amedeo Napoli Université de Lorraine, CNRS, Inria, LORIA, Nancy, France
Sebastian Rudolph Technische Universität Dresden, Germany
PROGRAM COMMITTEE (under construction)
(apologies for cross-posting)
KoDis: Workshop on Knowledge Diversity
Co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023),
September 2-8, 2023 Rhodes, Greece
== IMPORTANT DATES ==
Workshop paper submission deadline: May 31, 2023 (AOE)
Workshop paper notification: July 4, 2023 (AOE)
Workshop dates: September 2-4, 2023
== AIMS AND SCOPE ==
KoDis intends to create a space of confluence and a forum for discussion for researchers interested in knowledge diversity in a wide sense, including diversity in terms of diverging perspectives, different beliefs, semantic heterogeneity and others. The importance of understanding and handling the different forms of diversity that manifest between knowledge formalisations (ontologies, knowledge bases, or knowledge graphs) is widely recognised and has led to the proposal of a variety of systems of representation, tackling overlapping aspects of this phenomenon.
Besides understanding the phenomenon and considering formal models for the representation of knowledge diversity, we are interested in the variety of reasoning problems that emerge in this context, including reasoning with possibly conflicting sources, interpreting knowledge from alternative viewpoints, consolidating the diversity as uncertainty, reasoning by means of argumentation between the sources and pursuing knowledge aggregations among others. The following is a non-exhaustive list of topics of interest.
- Philosophical and cognitive analysis of knowledge diversity.
- Formal models for the representation of knowledge diversity.
- Ontological approaches capturing multiple perspectives and viewpoints.
- Context and concept formation in such systems.
- Consistency (or not) in multi-perspective systems; assessment and mitigation of inconsistencies.
- Communication between knowledge-diverse systems.
- Argumentation-based approaches for dealing with inconsistency
- Aggregation of diverse or inconsistent knowledge; judgement aggregation.
- Uncertainty in the context of knowledge diversity.
- Applications of formal models of knowledge diversity.
== SUBMISSIONS ==
We encourage three types of contributions:
- Full research papers: Submitted papers must not exceed 14 pages excluding the bibliography, and must include an abstract of no more than 300 words. Please, note that the minimum length is 10 pages.
- Short papers: Submitted papers must not exceed 6 pages excluding the bibliography, and must include an abstract of no more than 300 words. Please, note that the minimum length is 5 pages (including the bibliography).
- Extended abstracts (presentation only): should be 2-4 pages long including the bibliography. Please, note that extended abstracts will not be included in the CEUR proceedings.
== PUBLICATION ==
Accepted papers will be published in CEUR Workshop Proceedings.
The authors of selected papers will be invited to prepare an extended version to a Special Issue on “Knowledge Diversity” in the Künstliche Intelligenz Journal, the German Journal of Artificial Intelligence (Springer).
More information at https://kodis23.wordpress.com<https://kodis23.wordpress.com/>
== ORGANISATION ==
Lucía Gómez Álvarez (TU Dresden, Germany) ---- contact: lucia.gomez_alvarez(a)tu-dresden.de
Rafael Peñaloza (University of Milano-Bicocca, Italy)
Srdjan Vesic (CNRS, France)
Dr. Lucía Gómez Álvarez
Computational Logic Group
Institute for Artificial Intelligence
Faculty of Computer Science
Ready for a fiesta in ontology education?! Registration opens soon, its
early phase ends on June 11; fees detailed below. If needed, request
letters of invitation by email  (more below).
= ISAO 2023  - Call for Participation =
The Interdisciplinary School on Applied Ontology (ISAO) is the premier
educational forum for acquiring and deepening knowledge in ontology -
its foundations, applications, and interconnections with related areas.
Generously sponsored by the AIJ .
July 10-14, 2023
University of Sherbrooke, Québec, Canada
(in person only, _no_ online participation)
- PhD students
- PostDocs and researchers
- Ontology practitioners from business, industry and society
Leading experts in applied ontology (AO), formal ontology, modeling,
semantics and neighboring fields teach various basic courses as well as
engage in interactive formats for deepening the knowledge of all
participants, providing a full immersion experience in AO for all levels
of expertise. As yet, facilitators include M. Gruninger, N. Guarino, G.
Guizzardi, R. Hoehndorf, M. Keet, O. Kutz and B. Smith (more info below).
== Important Dates & Schedule ==
(coarse structure as of early April)
- Registration not before late April
- Detailed program planned for early May
- Event on July 10-14 (Mon-Fri)
- circa 3 days (July 10-12/13) of courses (rather introductory)
- circa 2 days (July 13-14) of interactive formats (incl. advanced)
We offer 5-day and 2-day registrations, the latter aiming at additional
networking and exchange during July 13-14, right before FOIS 2023 .
Early (by Sun, June 11) student fees amount to
- 320 CAD|225 EUR|240 USD for all 5 days and
- 250 CAD|175 EUR|190 USD for the last 2 days.
Please find all fees below (student - academic - industry). Cheap
accommodation options ease expenses preferentially for student
participants. Grants depend on external funding.
Early expressions of interest are very welcome, are considered
non-binding, and support us in shaping the event further. Invitation
letters (e.g. for visa purposes) will be issued on request (include your
full work address).
With any issues regarding ISAO 2023, please contact us at
Please feel invited to read more details below, to spread the word
within your network, and to join us in July!
Frank Loebe and Daniele Porello
= Details as of mid of April 2023 =
== Content of Courses ==
(shall include, as of Apr 2023)
- applied ontology overview
- ontological analysis and principles
- top-level ontologies
- confirmed: tutorial on BFO (by Barry Smith)
- representation of and logics for ontologies
- ontology engineering, managements and methods
- relations to
- conceptual modeling
- cognitive science
- machine learning & artificial intelligence
- semantic web & knowledge graphs
== Facilitators ==
(Semantic Technologies Lab, University of Toronto, Canada)
(Laboratory for Applied Ontology (LOA), ISTC-CNR, Trento, Italy)
(Semantics, Cybersecurity and Services, University of Twente, The
(Bio-Ontology Research Group, King Abdullah University of Science and
Technology (KAUST), Thuwal, Saudi-Arabia)
(Knowledge Engineering, University of Cape Town, South Africa)
(Cognitive and Conceptual Modeling Research Group, Free University of
(National Center for Ontological Research, Buffalo, New York, USA)
+ another pending inquiry
== Fee Schedule ==
Fees are valid and payable in CAD. To indicate them in EUR/USD, fees
have been approximated assuming 0.70 EUR/0.75 USD per 1 CAD (and
See [2,5] for a colored, graphical version.
. currency CAD # EUR # USD
category, period \ time early|late # early|late # early|late
- student, 5 days 320 |390 # 225 |275 # 240 |295
- student, last 2 days 250| 300 # 175| 210 # 190| 225
- academic, 5 days 525 |625 # 370 |440 # 395 |470
- academic, last 2 days 280| 330 # 200| 235 # 210| 250
- industry, 5 days 700 |850 # 490 |595 # 525 |640
- industry, last 2 days 425| 525 # 300| 370 # 320| 395
Early registration ends on Sunday, June 11.
== Expenses & Grants (tentative info) ==
- budget accommodation available
- in university student housing below 50 CAD/35 EUR/40 USD per night
- single or double rooms; bathrooms shared with 2-3 rooms; WiFi
- information about reserving rooms follows when registering for ISAO
- depending on further 3rd party funding decisions, grants may
- waiving or reducing ISAO fees
- covering budget accommodation
- partial coverage of travel expenses (if at all, in very few cases)
== Location Details ==
University of Sherbrooke
2500, boulevard de l'Université
Canada J1K 2R1
== Associated Events ==
Co-located with and
- preceding FOIS 2023 ,
the International Conference on Formal Ontology in Information Systems
held from July 17-20 in person and September 18-20 online
- sharing selected sessions with EINS 2023 
the first Interdisciplinary Summer School in Digital Health
(École d'été interdisciplinaire en numérique de la santé; primarily in
Complementing ESAO , the Educational Series of Applied Ontology, a
continuous series of virtual educational sessions.
== Sponsors ==
As yet we very much thank as sponsors
- the Artificial Intelligence Journal (AIJ)  as well as
- ScaDS.AI Dresden/Leipzig  for its contributions.
== Organization ==
The ISAO series is run by the International Association for Ontology and
its Applications (IAOA)  and is held jointly with FOIS every two
years, typically in the week just before. ISAO 2023 is the 5th instance,
after 2012/14/16/18  and 5 years of an undesired gap, and hosted by
the University of Sherbrooke, Québec, Canada.
Thanks to local organization support in 2023 by
- Jean-François Ethier
- Christina Khnaisser
- Anne-Marie Cloutier
- Angèle Gosselin
- Sarah Bilodeau
- Maryse Couture
- Karine Gagnon
- Jeanne Morin
- Frank Loebe (University of Leipzig, Germany)
- Daniele Porello (University of Genoa, Italy)
== Contact ==
== References ==
 ISAO 2023 contact to chairs by email
 ISAO 2023 website
[several updates pending due to technical reasons; cf. also ]
 Artificial Intelligence Journal
 FOIS 2023 website
 ISAO 2023 post at the IAOA website 
 EINS 2023 website
 ESAO series website
 ScaDS.AI Dresden/Leipzig - Center for Scalable Data Analytics and
 IAOA website
 ISAO history pages