- Kdml - lists.cs.uni-kassel.de

[CFP] Foundations and Future of Change in Artificial Intelligence (FCAI) - Workshop @ ECAI

by Kai Sauerwald

**************************************************************************************** FCAI 2025 @ ECAI 2025 Foundations and Future of Change in Artificial Intelligence October 25/26, Bologna, Italy https://fcai2025.machine-reasoning.org/ Workshop co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025) **************************************************************************************** Changing information transversely affects nearly any task and process that we aim to formalize computationally. Consequently, making sense of how to change information is a central aspect and precursor for further advancements in many domains. Naturally, approaches to describe changes, to deal with change, and to conduct changes have been developed in very different areas of artificial intelligence. These approaches generally consider changing from different angles and highlight diverse aspects that sometimes complement each other. For instance, in database theory, much work has been devoted to transactions as the main representation of change and the study of how that affects the computational complexity of querying such databases. On the other hand, researchers in belief change investigated the axiomatic and semantics of different kinds of changes in formal theories. Recent advancements in Machine Learning pose new and exciting challenges in formal approaches to change, which seem conceptually different from classical approaches to change. This workshop aims to bring together researchers from different areas of AI and beyond who work on change in their respective areas and see potential in bridging approaches or for radically advanced existing approaches to change to be combined with new ideas and perspectives. We also invite works that provide general insights on change that are important for multiple areas of artificial intelligence or even for computer science in general. ********************** *** List of Topics *** The workshop welcomes contributions on every topic related to the formal treatment of change, the evolution of representations in artificial intelligence, and approaches that implement such approaches. The following lists potential topics (but is not limited to these): • Position papers on the foundations and future of change • Logics for the representations of changes or reasoning about changes • Belief change theory • Repair in databases and ontologies • Database update and querying • Dynamic complexity theory • Approaches to the meaning and semantics of change, e.g., conditionals and plausibility • Alternative meanings of change • Theories of aspects and kinds of changes, like inconsistency, time or ontologies of change • Foundations of editing, retraining or learning of subsymbolic representations • Learning as a change process • Algorithms to compute changes • Approaches to track changes • Philosophical aspects of change • Updating incomplete information • Dynamics of logic and database systems • Evolution and versioning • Reasoning about update programs ******************************** *** Deadlines and Submission *** • Paper submission: July 13, 2025 • Notification: August 3, 2025 • Workshop: October 25/26, 2025 (tentative) There are two types of submissions: • Full papers. Full papers should be at most 18 pages (one column), excluding references and acknowledgments. Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page and the submission at FCAI falls within the authors’ rights. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page. • Extended Abstracts. Extended abstracts should be at most 5 pages (one column), excluding references and acknowledgments. The abstracts should introduce work that has recently been published, is under review, or is ongoing research at an advanced stage. We highly encourage to attach to the submission a preprint/postprint or a technical report. Such extra material will be read at the discretion of the reviewers. Submitting already published material may require permission by the copyright holder. Submission will be through the EasyChair conference system: https://easychair.org/my/conference?conf=fcai2025 The accepted papers will be made available electronically in the CEUR Workshop Proceedings series as informal proceedings (http://ceur-ws.org/). The copyright of the papers remains with the authors. Full papers will be indexed by dblp.org; but extended abstracts published on CEUR proceedings will not be indexed by dblp.org. ***************** *** PC Chairs *** • Maria Vanina Martinez (Artificial Intelligence Research Institute (AAAI-CSIC), Barcelona, Spain) • Nina Pardal (University of Huddersfield, UK) • Kai Sauerwald (FernUniversität in Hagen, Germany) *************************** *** Further Information *** For further information, please visit the FCAI webpage: https://fcai2025.machine-reasoning.org/ Please feel free to contact the organizer of FCAI 2025. Information on the venue and registration can be obtained from the ECAI 2025 website: https://ecai2025.org/

1 week

1
0
0 0

4 Tenure-Track Positions in AI only for Women!

by Johannes Fürnkranz

https://www.jku.at/en/lit-artificial-intelligence-lab/career/precall-four-t… We are proud to announce four tenure-track professorships at Johannes Kepler University Linz *only for female applicants* on the topics: - Knowledge and Data Processing - Natural Language Processing and Interaction - Neuro-Symbolic Artificial Intelligence - Reinforcement Learning In accordance with the concept to support the advancement of women, the positions will be open solely to female applicants. Deadline will most likely be May 28. The official announcements will soon be posted here: https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-po… Spread the word! Juffi

1 week, 1 day

1
0
0 0

EuADS Summer School on Automated Data Science

by Eyke Hüllermeier

The European Association for Data Science (EuADS) is pleased to announce the 2025 instalment of its popular Summer School series. What: EuADS Summer School on Automated Data Science When: 8-11 July 2025 Where: Maison d’Accueil (Convent of the Franciscan Sisters), 50 avenue Gaston Diderich, L-1420 Luxembourg-Belair Register until: 20 May, 2025 With the increasing complexity of data science projects and the limited availability of human expertise, the idea of automating or partially automating the work of a data scientist has come to the fore in recent years. AutoDS aims to streamline the data science workflow, making processes such as data pre-processing, feature engineering, model selection, evaluation and deployment faster and more accessible. By reducing manual intervention, AutoDS enables both non-experts and data scientists to work more efficiently, scale projects, and make data science accessible to a broader audience. It leverages tools from automated machine learning (AutoML) frameworks, automated visualisation and interpretability techniques to enable efficient model tuning, robust evaluation and easy deployment. Despite its advantages in efficiency and scalability, challenges remain in automating subtasks that are context-dependent and require human interaction, as well as model interpretability, dependence on data quality, and ethical concerns related to bias in automated models. All this has created a vibrant field of work and opens the doors to a community that will find the right forum in this Summer School. The organisers have put together a highly attractive programme addressing the following topics: Tutorial 1: Tabular Learning, from Data Preparation to Foundation Models Tutorial 2: From Theory to Hands-On Workflow Automation, Algorithm Selection, and Hyperparameter Optimization Tutorial 3: Advances in AutoML for Deep Learning: An introduction to Neural Architecture Search, Metalearning and Learning Curves Tutorial 4: Meta-learning for data and algorithm analysis and understanding Tutorial 5: Towards Sustainable Automated Data Science ... because resource efficiency is not enough! The Summer School emphasizes the interdisciplinary nature of data science and is primarily aimed at PhD students, postdoctoral and early-career researchers with a basic grounding in data science, statistics, machine learning, AI, or related fields, and an interest in interdisciplinary research and applications. The EuADS Summer School is preceded by a public event on Tuesday afternoon, 8 July, during which Luc De Raedt (KU Leuven, Belgium) will deliver this year's Sabine Krolak-Schwerdt Lecture entitled 'Neurosymbolic AI: Learning and Reasoning for Trustworthy AI'. The public event will be followed by a welcome reception. The Summer School is planned as an in-person event and the symposium as an hybrid event. For more information including how to register see: https://www.euads.org/fjkdlasjdiglsmdgkcxjhvckh/euads-summer-school-2025/ For participants there are a limited number of affordable rooms available at the Maison d’Accueil, please have a look at our website. There are several hotels within walking distance. However, please note it is very urgent to make your reservation now because the Councils of ministers of the EU are all held in Luxembourg during the month of June and therefore prices will rise in the coming months. It is also worth nothing that in Luxembourg all public transport is free of charge. We look forward to seeing you in Luxembourg in July.

1 week, 3 days

1
0
0 0

[Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025

by Manuel Alejandro Borroto Santana

*[apologize for multiple postings]* *** 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025). *** September 9-10, 2025 - University of Calabria, Rende, Italy https://lopstr.github.io/2025/ Part of ICLP 2025 and co-located with PPDP 2025 https://iclp25.demacs.unical.it/ ## IMPORTANT DATES - Abstract submission: May 9, 2025 (AoE) - Paper submission: May 16, 2025 (AoE) - Author notification: June 27, 2025 (AoE) - Camera-ready: July 17, 2025 (AoE) - Symposium: September 9-10, 2025 ## OVERVIEW The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions to logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. It will be co-located with ICLP 2025 and PPDP 2025. At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Information about venue and travel will be available on the ICLP 2025 website. Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security - logic-based methods for cyber-physical and distributed systems - applications, tools, and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. ## PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References will NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC Chairs in case of questions). Submissions of Short Papers may include presentations of exciting if not fully polished research or tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the journal's standard reviewing process. ## SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions on the author's page, and use their proceedings templates, either for LaTeX (available also in Overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2025 ## PROGRAM CHAIRS Santiago Escobar, Univesitat Politecnica de Valencia, Spain Laura Titolo, Code Metal, USA ## PUBLICITY CHAIR Manuel Borroto, University of Calabria, Italy ## HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia: http://lopstr.webs.upv.es/. You can find the contents of past LOPSTR symposia at DBLP (https://dblp.uni-trier.de/db/conf/lopstr/index.html) and past LNCS proceedings at Springer (https://link.springer.com/conference/lopstr).

2 weeks, 1 day

1
0
0 0

[ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025

by Manuel Alejandro Borroto Santana

*[apologize for multiple postings]* *** ICLP DC 2025 - 21st Doctoral Consortium (DC) on Logic Programming *** The 21st Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. The preliminary website of the DC can be found at: https://iclp25.demacs.unical.it/affiliated-events/doctoral-consortium The DC will take place during the 41st International Conference on Logic Programming (ICLP) https://iclp25.demacs.unical.it/ (September 12-19, 2025), hosted by the University of Calabria, Italy. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. **We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed.** ## IMPORTANT DATES - Paper submission: June 1, 2025 - Notification: July 6, 2025 - Camera-ready copy: August 6, 2025 - DC presentations: Sunday, September 12-13, 2025 However, DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming on: Friday and Saturday, September 12-13, 2025: https://iclp25.demacs.unical.it/affiliated-events/autumn-school-on-logic-pr… ## AUDIENCE The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint Logic Programming - Sequential and Parallel Implementation Technology - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) - Innovative Applications of Logic Programming - Neuro-symbolic Approaches Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. ## DISCUSSANTS Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. ## GOALS - To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. - To provide students with relevant information about important issues for doctoral candidates and future academics. - To develop a supportive community of scholars and a spirit of collaborative research. - To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. ## SUBMISSION DETAILS The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: - Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. - Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. - Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. - Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. - Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Neurosymbolic approaches, Relations to object-oriented and Functional programming. - Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions of the research summary must be made in EPTCS format ( http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp25 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 6 pages) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: - Introduction and problem description - Background and overview of the existing literature - Goal of the research - Current status of the research - Preliminary results accomplished (if any) - Open issues and expected achievements - Bibliographical references ## REVIEW CRITERIA The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. ## REGISTRATION Registration is part of the ICLP 2025 registration. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. ## PROGRAM CO-CHAIRS Alice Tarzariol, University of Klagenfurt, Austria Markus Hecher, University of Artois, CNRS, Computer Science Research Center of Lens (CRIL), France ## PROGRAM COMMITTEE TBA

2 weeks, 3 days

1
0
0 0

[ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

by Manuel Alejandro Borroto Santana

*[apologize for multiple postings]* *Second Call for Papers* 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it/ *SCOPE* Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: *Theoretical Foundations:* Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results. *Language Design and Programming Methodologies:* Concurrency and parallelism, Mobility, Interacting wit h ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Theory reasoning, Answer set programming, Inductive logic programming, Coinductive logic programming. *Program Analysis and Optimization:* Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs. *Implementation Methodologies and Applications:* Compilation, Constraint implementation, Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces. *IMPORTANT DATES* - Paper registration (regular papers): April 13, 2025 - Paper submission (regular papers): April 18, 2025 - Notification (regular papers): May 25, 2025 - Paper submission (TC papers, IJCAI Fast Track papers): June 15, 2025 - Revision submission (TPLP papers): June 15, 2025 - Final notification: July 6, 2025 - Final version: July 27, 2025 - Main conference: September 15-19, 2025 *TRACKS AND SPECIAL SESSIONS* In addition to the main track, ICLP’25 will host: - IJCAI Fast Track: The notification date for IJCAI’25 does not allow authors of rejected papers to submit to ICLP’25. In coordination with the IJCAI’25 program chairs, we have therefore instituted a process by which authors can submit revised versions of such rejected papers directly to ICLP’25. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI’25 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP’25. The submission will then enter the “revision” phase and be considered for publication in TPLP. - Recently Published Research Track: Detailed information will be announced separately. *AFFILIATED EVENTS* - Workshops: September 12-14, 2025 - Autumn School in Computational Logic: September 12-14, 2025 - Doctoral Consortium: September 12-14, 2025 - Logic Programming Contest: September 16 or 17, 2025 - International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) - International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025) *SUBMISSION DETAILS* All submissions must be written in English. Papers accepted at ICLP may appear either in - The journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra… - The ICLP 2025 Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at: http://style.eptcs.org Submissions may have one of two forms: 1) Regular papers and IJCAI Fast Track papers are at most 14 pages in TPLP format, including references. Accepted regular and IJCAI Fast Track papers will be published in a special issue of TPLP. IJCAI Fast Track papers must be accompanied by a PDF cover letter detailing: - The improvements made to the paper compared to the previous (IJCAI’25) submission, including clarifications on any perceived errors in the reviewers' assessments, if applicable - The paper ID of the IJCAI’25 submission - The authors listed on the IJCAI’25 submission - The title of the IJCAI’25 submission - The original PDF submitted to IJCAI’25 - The IJCAI’25 reviews, including scores and text evaluations The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI’25 to share all submitted information with ICLP’25 to verify its accuracy. ICLP’25 may summarily reject papers for several reasons, including submissions that (a) are outside the thematic scope of ICLP, (b) inaccurately disclosed required information, or (c) omitted original authors without justification. Regular papers that are not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP’25. The authors can choose to convert a regular paper accepted for the Technical Communication Proceedings into an extended abstract (2 or 3 pages in EPTCS format), which should allow for submitting a long paper version elsewhere. 2) Technical Communication (TC) papers are at most 12 pages in EPTCS format, excluding references. Accepted TC papers will be published in the Technical Communication Proceedings. Submissions will be made via EasyChair, following the link https://easychair.org/conferences/?conf=iclp25 All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to Recently Published Research Track submissions as well as previously accepted workshop papers with a limited audience and/or without archival proceedings. All accepted papers will be presented during the conference. Authors of accepted papers will be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. *VENUE* ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts. *ORGANIZATION* General Chair: Francesco Ricca Program Co-chairs: Martin Gebser and Daniela Inclezan Publicity Chairs: Manuel Borroto and Francesco Calimeri Local Chairs: Antonio Ielo and Giuseppe Mazzotta *PROGRAM COMMITTEE* TBA

2 weeks, 6 days

1
0
0 0

[RW 2025] 2nd Call for Participation: 21st Reasoning Web Summer School

by Kai Sauerwald

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_UnFMNO7DMA7X8SyI8x3b… 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(a)inf.unibz.it * Meghyn Bienvenu, CNRS & University of Bordeaux, France meghyn.bienvenu(a)u-bordeaux.fr ** You received this mail via the description logic mailing list; for more ** ** information, visit the description logic homepage at https://dl.kr.org/ ** ** SUBSCRIBE or UNSUBSCRIBE: ** ** https://mailman.zih.tu-dresden.de/groups/listinfo/dl **

4 weeks

1
0
0 0

[RuleML+RR 2025] Rule Challenge, Doctoral Consortium, Industry Track and Networking Session

by Kai Sauerwald

******************************************************************************* 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

4 weeks

1
0
0 0

[RuleML+RR 2025] 2nd Call for papers

by Kai Sauerwald

############################################################################### The 9th International Joint Conference on Rules and Reasoning (RuleML+RR 2025) == Call for Papers == *** RuleML+RR 2025 *** *** 22-24 September 2025 *** *** İstanbul, Türkİye *** Abstract: June 2nd, 2025 Paper: June 9th, 2025 Homepage: https://2025.declarativeai.net/events/ruleml-rr RuleML+RR 2025 is part of Declarative AI 2025 (https://2025.declarativeai.net/) ############################################################################### RuleML+RR 2025 is a leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning. RuleML+RR 2025 aims to bring together researchers and practitioners interested in the foundations and applications of rules and reasoning. It provides a forum for stimulating cooperation between different communities focused on the research, development, and applications of rule-based systems. We solicit high-quality papers related to theoretical advances, novel technologies, and applications that involve rule-based representation and reasoning or other declarative forms of artificial intelligence. The RuleML+RR 2025 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” (https://2025.declarativeai.net/) and is co-located with DecisionCAMP 2025 and the Reasoning Web Summer School. Apart from the main track, it features: * 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), * Project Networking Session (https://2025.declarativeai.net/events/ruleml-rr/networking-session) *** Topics *** RuleML+RR welcomes research from all areas of Rules and Reasoning. The topics of the conference include, but are not limited to: * Ontology/Semantic Web * Rules for AI and AI for Rules * Rules and Reasoning / Logics * Rules-Based Systems * Rules and Interoperability * Constraints and Schema * System Descriptions, Applications and Experiences of Ontologies and Rules See the conference homepage for more details on the topics: https://2025.declarativeai.net/events/ruleml-rr/cfp *** Important Dates *** Main track: Abstract submission: June 2, 2025 Paper submission: June 9, 2025 Notification: July 28, 2025 Conference: September 22–24, 2025 Associated events (Rule Challenge, Doctoral Consortium, Industry Track, and ProjectNetworking Session) - July 10, 2025: Paper submission deadline - July 31, 2025: Notification of acceptance For each of these deadlines, a cut-off point of 23:59 AOE applies. **Submission and Publication** High-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications concerning explainable algorithmic decision-making that involve rule-based representation and reasoning are solicited. We accept the following submission formats for papers: - Long papers (up to 15 pages in LNCS style excluding references, plus 2 additional pages for references) - Short papers (up to 8 pages in LNCS style excluding references, plus 1 additional page for references) Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. All submissions must be prepared in Springer's LNCS style (http://www.springer.com/comp/lncs/authors.html). Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Papers put on arXiv are also allowed as long as they are not refereed (i.e., formally reviewed by peers). Submissions to the RuleML+RR conference - abide by the page limits (see above) - are not anonymous - can have additional material included as an external report (appendices to the submission are not permitted and a paper should be self-contained) Papers should be written in English and submitted using EasyChair: https://easychair.org/conferences/?conf=rulemlrr2025 The conference proceedings will be published by Springer in the Lecture Notesin Computer Science series (LNCS) after the conference. Proceedings of the associated events will be published by CEUR. Special Issues of Theory and Practice of Logic Programming and Transactions on Graph Data and Knowledge are planned with extended versions of selected papers. The main track's best paper will be awarded the RuleML+RR Harold Boley Distinguished Paper Award 2025 and best student paper will be awarded the RuleML+RR Best Student Paper Award 2025. The best RuleML Challenge paper will be awarded the RuleML+RR Best Rule Challenge Paper Award 2025. The best Doctoral Consortium paper will be awarded the RuleML+RR Best Doctoral Consortium Paper Award 2025. ***Chairs*** 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 Rule Challenge Chairs Alessandro Margara, Politecnico di Milano, Italy Tomáš Kliegr, Prague University of Economics and Business, Czechia Doctoral Consortium Chairs Shqiponja Ahmetaj, TU Wien, Austria Riccardo Tommasini, INSA Lyon, France Industry Track Chairs Luigi Bellomarini, Banca d’Italia, Italy Evgeny Kharlamov, Bosch Center for Artificial Intelligence, Germany Ioana Georgiana Ciuciu, Babeș-Bolyai University, Romania Networking Session Dumitru Roman, SINTEF AS, Norway George Konstantinidis, University of Southampton, UK Emanuel Sallinger, Vienna University of Technology, Austria Publicity Chairs Kai Sauerwald, FernUniversität in Hagen, Germany Tor-Morten Grønli, Kristiania University College, Norway Romuald Esdras Wandji, Umeå University, Sweeden

4 weeks

1
0
0 0

Upcoming DFIR Stream 0xE Webinar — “Identifying Fraudulent CAPTCHA Solvers Using Network Propagation Analysis”

by Andrew Zayine

Dear All, We are excited to invite you to an upcoming DFIR Stream 0xE webinar: Title: “Identifying Fraudulent CAPTCHA Solvers Using Network Propagation Analysis” Presenters: -Martynas Buožis — Information Security Architect, Amadeus Data Processing GmbH -Umberto Fontana — PhD Candidate, Telecom SudParis & Amadeus IT Group Abstract: Malicious actors often use CAPTCHA Farms to bypass bot protection, enabling fraud such as inventory denial and SMS pumping. These farms cleverly mirror IP addresses and client fingerprints, making traditional detection methods ineffective. Meanwhile, their CAPTCHA-solving times are indistinguishable from legitimate users. In this talk, our speakers will present a novel technique for uncovering the use of CAPTCHA Farms by analyzing network propagation times. By comparing observed delays with the geographic distances implied by IP addresses, this approach aims to statistically identify suspicious patterns. - Date & Time: Tuesday, March 25, 2:00 – 3:00 pm (GMT+00:00) - Location: Online (Pre-registration required) - Event Registration Link: https://www.acfti.org/news-events/dfir-stream-0xe - Online Registration Ends: March 23 at 04:00 PM (GMT+00:00) Don’t miss this chance to learn about cutting-edge research on detecting fraudulent CAPTCHA solvers and to provide valuable feedback! ======Housekeeping Notes====== - Note that this event is online only. Hence, You must register to receive a link to connect. Due to limited availability, we kindly ask you to register as soon as possible to ensure your participation in the webinar of your choice. Finally, I would like to remind you that the call for speakers is currently open on the dedicated DFIR stream website, https://dfir.stream/call-for-guest-speakers #CyberSecurity #DFIR #CAPTCHA #OnlineFraud Best regards, Andrew Zayin Ph.D., CISSP, CISM, CRISC, CDPSE, PMP ACFTI Secretariat

4 weeks, 1 day

1
0
0 0

2025

2024

2023

2022

2021

Kdml