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

[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).

1 week, 3 days

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

1 week, 5 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, 1 day

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

3 weeks, 2 days

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

3 weeks, 2 days

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

3 weeks, 2 days

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

3 weeks, 3 days

1
0
0 0

Deadline: March 30 | MICRADS´25 - The 2025 Multidisciplinary International Conference of Research Applied to Defense and Security | Orlando, USA

by MICRADS-2025

Dear Colleagues, Please disseminate the following Call for Papers. Thank you! -------------------------------------------------------------------------------------------------------------------------------------------------- MICRADS´25 - The 2025 Multidisciplinary International Conference of Research Applied to Defense and Security Orlando, USA, 24 - 26 July 2025 https://micrads.org/ <https://micrads.org/> -------------------------------------------------------------------------------------------------------------------------------------------------- MICRADS´25 - The 2025 Multidisciplinary International Conference of Research Applied to Defense and Security, to be held at Holiday Inn & Suites Across from Universal Orlando, in Orlando, FL, USA, from 24-26 July 2025, is an international forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Defense and Security. We are pleased to invite you to submit your papers to MICRADS´25. They can be written in English, Spanish or Portuguese. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. TOPICS Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Systems, Communication and Defense (Information and Communication Technology in Education; Simulation and computer vision in military applications; Analysis and Signal Processing; Cybersecurity and Cyberdefense; Computer Networks, Mobility and Pervasive Systems) B) Strategy and Political-Administrative Vision in Defense (Air, Space and Maritime Security and Protection; Strategy, Geopolitics and Oceanopolitics; Administration, economics and logistics applied to Defense; Leadership and e-leadership; Military marketing; Health informatics in military applications; Ethics in the context of military operations; Operational law (DICA and DD. HH.); Air, space and cyberspace power; Legislation on Cybersecurity and Cyberdefense) C) Engineering and Technologies Applied to Defense (Wearable Technology and Assistance Devices; Military Naval Engineering; Weapons and Combat Systems; Chemical, Biological and Nuclear Defense; Defense Engineering (General); Energy efficiency; Artificial Intelligence and Machine Learning; Unmanned platforms) SUBMISSION and DECISION Submitted papers written in English (until 12-page limit) must comply with the format of Smart Innovation, Systems and Technologies series (see Instructions for Authors at Springer Website), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names, affiliations and e-mails should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form filled out, in a ZIP file, and uploaded at the conference management system. Submitted papers written in Spanish or Portuguese (until 15-page limit) must comply with the format of RISTI - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish or Portuguese), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names, affiliations and e-mails should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word. These file must be uploaded at the conference management system in a ZIP file. All papers will be subjected to a “blind review” by at least two members of the Scientific Committee. Based on Scientific Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as paper or poster. The authors of papers accepted as posters must build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference can includes Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. PUBLICATION and INDEXING To ensure that an accepted paper is published, at least one of the authors must be fully registered by the 9 of May 2025, and the paper must comply with the suggested layout and page-limit (until 12 pages, but never inferior to 10 pages). Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for the publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Papers can be written in English, Spanish or Portuguese. Accepted and registered papers written in English will be published in Proceedings by Springer, in a book of its SIST series, and will be submitted for indexing by WoS, SCOPUS, EI-Compendex, SpringerLink, and Google Scholar. Papers written in Spanish or Portuguese and registered will be published in a Special Issue of RISTI and will be submitted for possible indexation by Scopus, ProQuest, EBSCO and Google Scholar. IMPORTANT DATES Paper Submission: March 30, 2025. Notification of Acceptance: April 30, 2025. Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: May 9, 2025. Camera-ready Submission: May 9, 2025. MICRADS'25 Website: https://www.micrads.org/ <https://www.micrads.org/> Best regards, MICRADS'25 Team https://www.micrads.org/ <https://www.micrads.org/>

3 weeks, 4 days

1
0
0 0

Deadline: March 9 | CISTI'2025 - 20th Iberian Conference on Information Systems and Technologies | Lisbon, Portugal

by CISTI-2025

------------------------------------------------------------------------------------------------------ CISTI'2025 - 20th Iberian Conference on Information Systems and Technologies University of Lisbon, Lisbon, Portugal, 16 - 19 June 2025 https://www.cisti.eu/ <https://www.cisti.eu/> ------------------------------------------------------------------------------------------------------ We are pleased to invite the academic and business community to submit their papers to CISTI'2025 - 20th Iberian Conference on Information Systems and Technologies, to be held in Lisbon, Portugal, between the 16th and 19th of June 2025. Authors are encouraged to submit original scientific contributions such as state-of-art reviews and new research perspectives, groundbreaking ideas and/or architectures, solutions and/or applications for real problems, empirical and/or evaluation works, case studies, etc., in conformity with the themes of this Conference. The articles can be written in English, Spanish or Portuguese. Four types of papers can be submitted: Full paper: Finished or consolidated R&D works, to be included in one of the Conference themes. These papers are assigned a 12-page limit. Short paper: Ongoing works with relevant preliminary results, opened to discussion. These papers are assigned a 10-page limit. Poster paper: Initial work with relevant ideas, opened to discussion. These papers are assigned a 4-page limit. Company paper: Companies' papers that show practical experience, R & D, tools, etc., focused in some topics of the conference. These articles are abstracts with a maximum of 4 pages. Papers submitted for the Scientific Committee’s evaluation must not include any information leading to the authors’ identification. Therefore, the authors’ names, affiliations and bibliographic references should not be included in the early version. This information should only be included in the final version. Submitted papers must not have been published and must not be under review for any other conference and national or international publication. Papers must comply with the format standards and be written in Portuguese, Spanish or English. For papers written in English they must comply with Springer format standard. (until 12-page limit) For papers written in Portuguese or Spanish they must comply with IEEE format standard. (until 6-page limit) All papers will be subjected to a “blind review” by at least two members of the Scientific Committee. Full papers can be accepted as short papers or poster papers only. Similarly, short papers can be accepted as poster papers only. In these two cases, the authors will be allowed to maintain the original number of pages in the proceedings publication. The authors of accepted poster papers must also build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference includes Work Sessions where these posters are presented and orally discussed, with a 5-minute limit per poster. The authors of accepted full papers will dispose of a 15-minute presentation in the Conference Work Session, and approximately 5 minutes of discussion will follow each presentation. The authors of accepted short papers and company papers will dispose of an 11-minute presentation in the Conference Work Session, and approximately 4 minutes of discussion will follow each presentation. Themes Submitted papers must follow the main themes proposed for the Conference (the topics proposed in each theme constitute a mere framework reference; they are not intended as restrictive): A) OMIS - Organizational Models and Information Systems B) KMDSS - Knowledge Management and Decision Support Systems C) SSAAT - Software Systems, Architectures, Applications and Tools D) CNMPS - Computer Networks, Mobility and Pervasive Systems E) HCC - Human Centered Computing F) HIS - Health Informatics G) ITE - Information Technologies in Education H) AEC – Architecture and Engineering of Construction Publication and Indexing To ensure that the contribution (full paper, short paper, symposium doctoral paper) is published in the Proceedings, at least one of the authors must be fully registered by the 14th of April, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended modifications must be addressed by the authors before they submit the final version. No more than one paper per registration will be published in the Conference Proceedings. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. Full and short papers, including symposium doctoral papers, will be submitted for indexing in WoS, SCOPUS, EI-Compendex, INSPEC/DBLP and Google Scholar. Important Dates Paper submission: March 9, 2025 Notification of acceptance: March 9, 2025 Submission of accepted papers: April 14, 2025 Payment of registration, to ensure the inclusion of an accepted paper in the conference proceedings: April 14, 2025 We are counting on you. Submit your contribution. Website of CISTI'2025: https://www.cisti.eu/ <https://www.cisti.eu/> CISTI'2025 Team https://www.cisti.eu/ <https://mkt.saisti.eu/go/4f6901d4ef620cf7616ac9a474-0d811d573a5435e89b7899c…>

1 month, 1 week

1
0
0 0

2025

2024

2023

2022

2021

Kdml March 2025