Logic List Mailing Archive

CfP: RW 2025 – 21st Reasoning Web Summer School and co-located events (industry track - networking - doctoral consotrium - challenge), 25–28 September 2025, Istanbul (Turkey)

** Comment by Mod 
This email contains two call connected to this event 
Below you will find: CfP: RuleML+RR 2025 Associated Events – Rule Challenge, Doctoral Consortium, Industry Track, Networking Session, 22–24 September 2025, Istanbul (Turkey), Deadline: 10 July 2025**

== Call  1 == 
Second Call for Participation
21st Reasoning Web Summer School
September 25-28, 2025, Istanbul, Turkey
https://2025.declarativeai.net/events/reasoning-web

************************************************************************************************************

We are happy to announce that the 21st edition of the Reasoning Web Summer School (RW 2025) will take place from September 25-28, 2025 in Istanbul, Turkey. RW 2025 is part of Declarative AI 2025, which also includes the 9th International Joint Conference on Rules and Reasoning
(RuleML+RR) and DecisionCAMP 2025, both held from September 22-24, 2025.

The purpose of the Reasoning Web Summer School is to disseminate recent advances in reasoning techniques and relevant topics related to ontologies, rules, logic, the semantic web, linked data, and knowledge graph applications. The summer school is primarily intended for individuals who are currently pursuing or have recently completed postgraduate degrees (PhD or MSc). However, the school also welcomes the participation of researchers at later career stages who wish to become acquainted with the area or deepen their understanding of recent developments. The RW school is a great venue for meeting like-minded researchers and exchanging with an engaging and approachable group of international lecturers!

*** Summer School Program ***

As in previous years, the summer school will feature 8 tutorials delivered by researchers who are experts in the area. Here are the confirmed speakers and topics for this year's school:


    Camille Bourgaux: Inconsistency-Tolerant Semantics Based on Preferred Repairs

    Esra Erdem, Aysu Bogatarkan, Muge Fidan: Human-Centered ASP
Applications: Representation and Reasoning

    Patrick Koopmann: Explaining Reasoning Results for Description Logic Ontologies

    Markus Krötzsch: Modern Datalog: Concepts, Methods, Applications

    Antonella Poggi: From One-Level to Multi-Level Ontology-Based Data Access

    Francesco Ricca and Giuseppe Mazzotta: ASP Essentials: Modelling and Efficient Solving

    Luciano Serafini: Neuro-Symbolic Artificial Intelligence

    Przemyslaw Walega: Reasoning about Time in DatalogMTL


Tutorial abstracts and speaker bios can be found on the RW 2025 website: 
  https://2025.declarativeai.net/events/reasoning-web/program

*** Applications & Registration ***

To participate in RW 2025, you will need to submit a short application, with information on your academic and research background and motivation for attending the school. You can do so by filling out the following form:

https://docs.google.com/forms/d/1aIIeJdHS2zash1gCMmqw2_UnFMNO7DMA7X8SyI8x3bI/edit

or alternatively, by sending the organizers an email with all of the information requested on the form.

Applications will be reviewed on a rolling basis, and notifications will be sent within 1-2 weeks from the time of application. Successful applicants will receive information on how to pay the registration fee to confirm their spot in the school.

There is a discounted fee of 240€ (incl. VAT) for applications received by May 31st (180€, for local participants with a Turkish affiliation). 
The regular fee of 300€ (incl. VAT) applies to applications received on or after June 1st (240€, for local participants with a Turkish affiliation). The registration fee includes access to the lectures, lunches, and coffee breaks for the four days, as well as a social event.

Note that students who participate in RW 2025 are also encouraged to apply to the Rule ML+RR Doctoral Consortium. Students attending both events will not need to pay the Doctoral Consortium fee.

***

If you require additional information, please get in touch with the chairs.

* Alessandro Artale, Free University of Bozen-Bolzano, Italy artale@inf.unibz.it

* Meghyn Bienvenu, CNRS & University of Bordeaux, France meghyn.bienvenu@u-bordeaux.fr









== Call  2 ==

*******************************************************************************
   RuleML+RR 2025 Associated Events -- Call fo Contributions
   Rule Challenge, Doctoral Consortium, Industry Track and Networking Session
*******************************************************************************

***   RuleML+RR 2025         ***
***   22-24 September 2025   ***
***   İstanbul, Türkİye      ***

Call for contributions for events associated with RuleML+RR 2025:

      Rule Challenge: 
https://2025.declarativeai.net/events/ruleml-rr/rule-challenge
Doctoral Consortium: 
https://2025.declarativeai.net/events/ruleml-rr/doctoral-consortium
      Industry Track: 
https://2025.declarativeai.net/events/ruleml-rr/industry-track
  Networking Session: 
https://2025.declarativeai.net/events/ruleml-rr/networking-session

RuleML+RR 2025 (https://2025.declarativeai.net/events/ruleml-rr) is part
of Declarative AI 2025 (https://2025.declarativeai.net/)
******************************************************************************* 

*** RuleML+RR 2025 ***
**********************

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. As in the last years, RuleML+RR 2025 features the following associated events in addition to the main track:

     Rule Challenge, Doctoral Consortium, Industry Track, Project Networking Session

Further below, you find more information on the respective events.

All associated events share the same paper submission deadline:

   July 10th, 2025 (AoE)

Submissions for each of these events are made via Easychair:

   https://easychair.org/conferences/?conf=rulemlrr2025

Please select the respective track when you make a submission.

*******************************************************************************
*** Rule Challenge ***
Chairs:
   Alessandro Margara, Politecnico di Milano, Italy
   Tomáš Kliegr, Prague University of Economics and Business, Czechia
   Ognjen Savkovic, Free University of Bozen-Bolzano, Italy
**********************

The 19th International Rule Challenge is a standout feature of the 
RuleML+RR conference, fostering friendly competition among innovative
rule-oriented tools, prototypes, and applications tailored to research, industry, and government.

Participants are invited to showcase their solutions to self-defined challenges, but also propose open challenges for the community to tackle.

Accordingly, submissions are welcome in two main categories:

  * [Challenge Proposals] Papers outlining open challenges, interesting problems from academia or industry, or benchmarks relevant to the community. Submissions should include task descriptions, datasets, and evaluation criteria, highlighting opportunities for rule-based approaches to provide solutions.

  * [Challenge Solutions] Papers presenting benchmarking or comparative analyses of rule engines, rule-based machine learning techniques, or case studies. Submissions may also cover industrial experiences, rule- and model-driven engineering, or innovative applications such as deployment of rule-based reasoning in geographically distributed, edge-to-cloud scenarios.

Key themes of the Rule Challenge include, but are not limited to the
following:

  * Rule-based machine learning tools and techniques
  * Large language models (LLMs) and rule learning
  * Rule-based approaches in artificial intelligence
  * Rule-based Complex Event Processing / Recognition (CEP/CER)
  * Stream reasoning
  * Business rules modelling
  * Rule standardization for research, industry and government
  * Graph-relational data and knowledge systems
  * Higher-order logic and modal logic systems
  * Rule and ontology combinations
  * Distributed rule systems Multi-agent systems
  * Ontology-Based Data Access (OBDA) systems
  * Answer Set Programming (ASP) systems
  * Constraint Logic Programming (CLP) systems
  * (Controlled) Natural language interfaces
  * Rules and model-driven engineering

The challenge seeks high quality, original papers, potentially referencing online material, and ranging between 8-15 pages. Accepted papers will be published as part of CEUR proceedings and should be in the CEUR-WS.org style template CEURART (1-column variant).

Please submit your paper via:

https://easychair.org/conferences/?conf=rulemlrr2025

to the Rule Challenge track.

Important Dates:

  * July 10th, 2025: Paper submission deadline
  * August 31st, 2025: Notification of acceptance

Further information can be found on the Rule Challenge website:
https://2025.declarativeai.net/events/ruleml-rr/rule-challenge

*******************************************************************************
*** Doctoral Consortium ***
Chairs:
   Shqiponja Ahmetaj, TU Wien, Austria
   Riccardo Tommasini, INSA Lyon, France
***************************

The RuleML+RR 9th Doctoral Consortium 2025 (DC) is an initiative of the 
RuleML+RR community to attract and promote student research in
Artificial Intelligence, especially research on rule-based formalisms and reasoning in such formalisms. It offers students a close contact with leading experts in the field, as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting.

We invite PhD students at an early or intermediate stage of their PhD studies, as well as exceptional master’s students who are interested in pursuing a PhD, to submit papers describing their research on any of the topics of RuleML+RR 2025.

RuleML+RR DC papers range between 8 and 15 pages, are written in
English, will be published as part of CEUR proceedings, and should follow the CEUR-WS.org style template CEURART (1-column variant). They are submitted electronically in PDF together with a maximum 2 page-long CV (the paper and the CV should be submitted together as one PDF file, but the CV is not counted within the 15 pages limit and is not published in the proceedings if the paper is accepted).

The submission should cover the following aspects:
  * The identification of a significant problem in a research field relevant to RuleML+RR 2025.
  * An outline of the current knowledge in the problem’s domain, as well as an overview of existing solutions.
  * A clear formulation of the research question and motivation.
  * A presentation of (possibly preliminary) ideas, the proposed approach, and the results achieved so far.
  * A sketch of the applied research methodology and its positioning in the field.
  * A description of the student’s contribution to the research.
  * A discussion of how the suggested solution is different, new, or better as compared to the state of the art.
  * A research plan and the potential achievements.

Please submit your paper via:

https://easychair.org/conferences/?conf=rulemlrr2025

to the Doctoral Consortium track.

Important Dates:

  * July 10th, 2025: Paper submission deadline
  * July 31st, 2025: Notification deadline

Further information can be found on the Doctoral Consortium website:
https://2025.declarativeai.net/events/ruleml-rr/doctoral-consortium

*******************************************************************************
*** Industry Track ***
Chairs:
   Luigi Bellomarini, Banca d’Italia, Italy
   Evgeny Kharlamov, Bosch Center for Artificial Intelligence, Germany
   Ioana Georgiana Ciuciu, Babeș-Bolyai University, Romania
**********************

The RuleML+RR industry track welcomes papers describing original industrial advances and application achievements in all areas of Rules and Reasoning-based technologies. We are interested in experiences from practitioners when applying rules to industries such as engineering, manufacturing, finance, agriculture, energy, media, telecommunications, healthcare, life sciences, government, smart cities, tourism, cultural heritage, retail, logistics, transportation, education, entertainment, legal services, real estate, environmental management, cybersecurity, autonomous systems, aerospace, defense, and other emerging fields. 
Submissions are invited on all facets of Rules and Reasoning, including efforts to bridge recent research innovations with practical applications and industrial challenges, with a strong focus on the interplay between reasoning techniques and machine learning.

We encourage submissions on the following topics:
  * Integration of Rules, Reasoning, and AI Technologies
  * Rules and Reasoning for Knowledge Graphs and Ontologies
  * Advanced Uses of Rules and Reasoning in Scalable Applications
  * Rules and Reasoning in Regulatory Technology (RegTech)
  * Responsible Use of AI and Rules Technologies

We welcome extended abstracts of minimum 5 and maximum 6 pages (including the references) to be submitted to the Industry Track.

Accepted papers will be published as part of CEUR proceedings and should be written in English following in the CEUR-WS.org style template CEURART (1-column variant). Reviews will be done by the committee of members from both industry and academia. Submitted papers must be original contributions written in English.

Please submit your paper via:

https://easychair.org/conferences/?conf=rulemlrr2025

to the Industry Track.

Important Dates:

  * July 10th, 2025: Paper submission deadline
  * July 31st, 2025: Notification deadline

Further information can be found on the Industry Track website:
https://2025.declarativeai.net/events/ruleml-rr/industry-track

*******************************************************************************
*** Networking Session ***
Chairs:
   Dumitru Roman, SINTEF AS, Norway
   George Konstantinidis, University of Southampton, UK
   Emanuel Sallinger, TU Wien, Austria
**************************

The project networking session of RuleML+RR 2025 aims to bring together relevant projects working in the area of data and AI with particular focus on, but not limited to, the event topics: rules, reasoning, decisions, and explanations.

The session will provide an opportunity to:
  * Share knowledge between research and innovation projects operating in the area of data and AI.
  * Identify potential synergies between the projects, e.g., transfer data and AI technology between projects, joint publications, joint dissemination activities, etc.
  * Discuss funding opportunities such as Horizon Europe, Digital Europe, ERC, etc.

The session targets research and innovation projects operating at all
stages:
  * Ending (or recently ended) projects, which have results to transfer and/or dissemination of results;
  * Ongoing projects, seeking collaboration and networking opportunities with external stakeholders and external projects;
  * Upcoming projects/initiative, searching for potential new ideas and partners for consortia.

Interested projects should submit abstracts of minimum 5 and maximum 6 pages (including the references), describing the project’s objective, possible information to be shared with other projects and potential interests in other projects.

The papers will be included in the companion proceedings of the event published by CEUR and should be formatted in the CEUR-WS.org style template CEURART (1-column variant). Submitted papers must be original contributions written in English.

Please submit your paper  via:

https://easychair.org/conferences/?conf=rulemlrr2025

to the Networking Session track.

Important Dates:

  * July 10th, 2025: Paper submission deadline
  * July 31st, 2025: Notification deadline

Further information can be found on the Project Networking Session website:
https://2025.declarativeai.net/events/ruleml-rr/networking-session

*******************************************************************************
*******************************************************************************
RuleML+RR 2025 (https://2025.declarativeai.net/events/ruleml-rr) and its
associated events are part of Declarative AI 2025 (https://2025.declarativeai.net/). The following lists further chairs involved in making these events possible.

General Chairs of Declarative AI 2025

   Hasan Dağ, Kadir Has University, Türkiye
   Anni-Yasmin Turhan, Paderborn University, Germany
   Ahmet Soylu, Kristiania University of Applied Sciences, Norway

Local Chair

   Mehmet Nafiz Aydin, Kadir Has University, Türkiye

RuleML+RR Program Chairs

   Aidan Hogan, University of Chile, Chile
   Ken Satoh, National Institute of Informatics, Japan

Proceedings Chairs

   Dumitru Roman, SINTEF AS, Norway
   Ahmet Soylu, Kristiania University College, Norway

Publicity Chairs

   Kai Sauerwald, FernUniversität in Hagen, Germany
   Tor-Morten Grønli, Kristiania University College, Norway
   Romuald Esdras Wandji, Umeå University, Sweeden

Reasoning Web 2025

   Alessandro Artale, Free University of Bozen-Bolzano, Italy
   Meghyn Bienvenu, University of Bordeaux, France

DecisionCAMP 2025

   Jacob Feldman, OpenRules, USA
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php