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

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

5 days, 15 hours

1
0
0 0

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 23, 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/>

1 week, 3 days

1
0
0 0

Professur Data Engineering und Künstliche Intelligenz an der Hochschule Darmstadt

by Grieser, Gunter, Prof. Dr.

Professur für Data Engineering, Künstliche Intelligenz und Grundlagen der Informatik An der Hochschule Darmstadt h_da ist eine W2 Professur (Beamtenverhältnis) für o.g. Fachgebiet zu besetzen. Voraussetzungen: * Abgeschlossenes Hochschulstudium, Promotion in der Informatik oder einem verwandten Gebiet * Erfahrungen in der Anwendung oder Forschung im Bereich Data Engineering * Erfahrungen in der Anwendung oder Forschung im Bereich KI/Data Science * Pädagogische Eignung * Teamfähigkeit sowie wertschätzender und achtsamer Umgang * Verhandlungssichere Deutsch- und Englischkenntnisse * Gender- und Diversity-Kompetenz Von Vorteil sind: * Erfahrungen in weiteren für die Informatik-Ausbildung wichtigen Aspekten, bspw. Cloud-Technologien, Open Source, Grundlagen-Lehre * Mehrjährige Erfahrung in größeren Informatik-Projekten Wir bieten: Die Hochschule Darmstadt steht für Innovation und Exzellenz in der angewandten Forschung und Lehre. Im pulsierenden Zentrum der Metropolregionen Rhein-Main-Neckar gelegen, bieten wir ca. 14.000 Studierenden eine zukunftsweisende Bildung. Als Mitglied der renommierten Allianz European University of Technology+ (EUt+) verpflichten wir uns der Förderung europäischer Werte und der Vorreiterschaft in der nachhaltigen Entwicklung. An der Hochschule Darmstadt erwartet Sie eine Kultur der Praxisnähe und Interdisziplinarität. Begleiten Sie junge Menschen auf ihrem beruflichen Weg in kleinen, praxisorientierten Gruppen. Nutzen Sie unser umfangreiches Weiterbildungsangebot und das betriebliche Gesundheitsmanagement für Ihre berufliche Weiterentwicklung. Unser Servicezentrum Forschung und Transfer unterstützt Sie zusammen mit einem breiten Netzwerk an Forschenden bei Ihren Forschungs- und Transferaktivitäten. Wir laden Sie ein, Teil unseres Teams am Fachbereich Informatik im Fachgebiet Data Engineering, Künstliche Intelligenz und Grundlagen der Informatik zu werden. Es erwartet Sie ein kreatives und unterstützendes Arbeitsumfeld, das Forschung und Lehre gleichermaßen fördert, mit attraktiven Rahmenbedingungen für die Entwicklung und Umsetzung innovativer Projekte. Text der Ausschreibung und weitere Informationen: * https://h-da.de/hochschule/arbeiten-an-der-hochschule/detailansicht/i-03-25- p-professur-im-fachgebiet-data-engineering-kuenstliche-intelligenz-und-grund lagen-der-informatik * gunter.grieser(a)h-da.de -------------------------------------------------- Prof. Dr. Gunter Grieser Hochschule Darmstadt, Fachbereich Informatik https://www.fbi.h-da.de/personen/gunter-grieser/ Telefon: 06151/533-60186 Büro D15/2.07B --------------------------------------------------

2 weeks

1
0
0 0

33rd ICCBR 2025 Biarritz, France - CFP

by Kerstin Bach

[https://www.easychair.org/images/cfp-logo/ICCBR-2025.jpg?id=17701438] ICCBR 2025: 33rd International Conference on Case-Based Reasoning IUT / UPPA Anglet Biarritz, France, June 30-July 3, 2025 Conference website https://2025.iccbr.org/ Submission link https://easychair.org/conferences/?conf=iccbr2025 Early submission deadline February 26, 2025 Submission deadline March 16, 2025 Topics: case based reasoning<https://www.easychair.org/cfp/topic.cgi?tid=4487&a=33683393> machine learning<https://www.easychair.org/cfp/topic.cgi?a=33683393&tid=401> artificial intelligence<https://www.easychair.org/cfp/topic.cgi?a=33683393&tid=670> analogy<https://www.easychair.org/cfp/topic.cgi?a=33683393&tid=15429> The International Conference on Case-Based Reasoning (ICCBR) is the premier annual meeting of the case-based reasoning (CBR) community and the leading international conference on this topic. We welcome contributions from participants representing all types of affiliations (academic, industry, government) and from all communities applying CBR or conducting relevant research. Conference submissions are not limited to papers on the conference theme, though the organizers are especially interested in papers that address the theme. Generative AI and CBR Generative AI and CBR is this year’s conference theme, directing the community’s attention to the growing pervasion of Generative AI in workplaces, homes, and societies, affecting us all. This year we pose the question: “What are some roles CBR can play to address some of the challenges stemming from Generative AI’s growing pervasion in our society?” We encourage submissions and participation from members of the AI and CBR communities—whether they are researchers, policymakers, or practitioners—on the synergistic challenges between Generative AI and CBR. We look forward to a variety of submissions, including position papers, road mapping proposals, as well as traditional basic or applied research papers. Submission Guidelines Authors must submit a full paper by the conference paper submission deadline, formatted according to the Springer LNCS formatting guidelines (https://www.springer.com/gp/authors-editors/conference-proceedings/conferen…). Papers (submitted and final) should be no longer than 15 pages including references. Please submit papers using the EasyChair (https://easychair.org/my/conference?conf=iccbr2025) conference management system. Multiple Submission Policy Papers submitted to other conferences must state this fact as a footnote on page 1, and please also notify the program co-chairs by email. If a paper will appear in another conference or journal, it must be withdrawn from ICCBR 2025. Author Registration Policy For a paper to appear in the proceedings, at least one of the authors must register for the conference by the camera-ready copy deadline. Papers must be presented by one of the authors at the conference live. There will be no video presentations. List of Topics In addition to the emphasized areas above, we welcome submissions relevant to all areas of CBR, including (but not limited to): Foundations * Case authoring, elicitation, and visualization * Case representation * Case retrieval, indexing, and similarity measures * Case reuse, adaptation, revision, and combination * Case-base maintenance * Confidence and uncertainty * Evaluation, simulation, and prediction * Explanations * Similarity metric and adaptation knowledge learning CBR and Related Fields * ‘Modern’ CBR * Analogical reasoning, cognitive models, and creative reasoning * Cloud CBR * Counterfactual learning and reasoning * Explainable AI (XAI) * Intelligent agents, perception, and action * Internet of things * Data mining and big data * Machine learning (e.g., deep, instance-based/lazy, relational) * Natural language processing and information retrieval * Robotics and human-robot interaction * Web CBR CBR Tasks * CBR planning * Conversational CBR * Design * Distributed CBR * Recommender systems * Social CBR * Temporal reasoning (e.g., reasoning with traces, time series) * Textual CBR * User modeling and personalization * Workflow management and process-oriented CBR CBR Systems and Applications * AI for the Social Good * CBR architectures and frameworks * Cooking * Diagnosis, technical support * E-science, cyberinfrastructure, scientific workflows * Economics, finance * Education (including distance learning) * Energy, logistics, traffic * Game AI * Knowledge and experience management * Medicine, health * Science, engineering Key Dates General Dates Early Paper Submission Deadline: February 26, 2025 Early Paper Notification: March 9, 2025 Final Submission Deadline: March 16, 2025 Final Paper Notification: April 6, 2025 Camera Ready Copy: May 1st, 2025 Conference Timing: June 30 – July 3rd, 2025 Workshops Dates Proposal Submission Deadline: March 15, 2025 Proposal Notification: March 22, 2025 Paper Submission: April 14, 2025 Paper Notification: April 27, 2025 Camera Ready Copy: May 1st, 2025 Workshop Timing: June 30, 2025 Doctoral Consortium Dates Submission Deadline: April 14, 2025 Notification: April 27, 2025 Camera Ready Copy: May 1st, 2025 Doctoral Consortium Timing: June 30, 2025 Committees Program Committee * Professor Isabelle Bichindaritz, SUNY at Oswego * Professor Beatriz Lopez, University of Girona Organizing committee * Professor Philippe Roose, UPPA Invited Speakers * Professor Claire Gardent, LORIA, France * Professor Ralph Bergmann, University of Trier, Germany * Professor David Leake, Indiana University Publication ICCBR 2025 Conference proceedings will be published in the Lecture Notes in Computer Science (LNCS) series. Venue The conference will be held in Biarritz, France, in the IUT / UPPA Anglet. Contact All questions about submissions should be emailed to ibichind(a)oswego.edu<mailto:ibichind@oswego.edu> or beatriz.lopez(a)udg.edu<mailto:beatriz.lopez@udg.edu>

3 weeks, 1 day

1
0
0 0

Promotionsstelle neuro-symbolische künstliche Intelligenz (E13 TV-L), HU Berlin

by Robert Jäschke

Die Arbeitsgruppe Information Processing and Analytics der Humboldt-Universität zu Berlin befasst sich mit der Extraktion von Wissen aus großen Datenmengen und erforscht dabei Technologien und Verfahren aus den Bereichen Data Mining & Machine Learning, Linked Data, Information Extraction und Natural Language Processing. Zur Verstärkung unseres Schwerpunktes Neuro-symbolische Künstliche Intelligenz ist ab sofort eine Promotionsstelle zu besetzen. (Wiss. Mitarbeiter*in befristet für vorauss. 4 Jahre - E 13 TV-L HU) https://hu.berlin/AN-315-24 Mögliche Anwendungsfelder sind die - Erkennung und Extraktion rhetorischer Stilmittel in großen Textkorpora, - Extraktion und Verlinkung bibliographischer Metadaten in geisteswissenschaftlichen Publikationen, - temporale Analyse von (archivierten) Web-Inhalten. Aufgabengebiete: - wissenschaftliche Dienstleistungen in Forschung und Lehre auf dem Gebiet der Neurosymbolischen Künstlichen Intelligenz - Aufgaben zur eigenen wissenschaftlichen Qualifikation (Promotion) - wissenschaftliche Betreuung der Datensammlungen der Arbeitsgruppe sowie der zugehörigen Analyseumgebung - Mitarbeit am Social-Bookmarking-System BibSonomy Ihr Profil: Erforderlich sind: - guter Universitätsabschluss in Informatik oder verwandten Fächern (Abschlussarbeit muss zumindestet eingereicht sein) - sehr gute Programmierkenntnisse und Erfahrung im Umgang mit modernen Softwareentwicklungs-Werkzeugen - gute Kenntnisse in einem der folgenden Bereiche: Data Mining/Machine Learning, Web Crawling, Informationsextraktion, Natural Language Processing, Named Entity Recognition and Linking - sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift Erwünscht sind: - Interesse an teamorientierter Forschungsarbeit auf internationalem Niveau in einem interdisziplinären Team - Interesse an der Verarbeitung großer Datenmengen und der Betreuung der entsprechenden Infrastruktur - sehr gute Organisationsfähigkeit, Belastbarkeit und soziale Kompetenz - sehr gute Kommunikationsfähigkeit Die Bereitschaft zu gelegentlichen Dienstreisen aus Anlass von Projekttreffen oder Tagungen wird erwartet. Unser Angebot: - eine abwechslungsreiche Tätigkeit in einem dynamischen und spannenden Forschungsumfeld, in dem Teamarbeit, Transparenz, offene Innovationsprozesse und ständige Weiterbildung unverzichtbar sind - leistungsorientiertes und forschungsstarkes Team - die Altersvorsorge für den öffentlichen Dienst (VBL) - flexible Arbeitszeiten und Homeoffice-Regelungen bzw. ein Arbeitsplatz in Berlin Mitte - Austausch und Kooperation mit den Mitarbeiter*innen und Doktorand*innen des Instituts für Bibliotheks- und Informationswissenschaft - Chancengleichheit und Vereinbarkeit von Beruf und Familie - die Möglichkeit, ausgiebig Erfahrung im Umgang mit großen Datenmengen sowie der geeigneten Infrastruktur (Cluster-System) und aktuellen Technologien (z.B. Apache Spark) zu sammeln Bewerbungen (mit Anschreiben, Lebenslauf und relevanten Zeugnissen sowie einer informativen Kurzzusammenfassung der letzten Abschlussarbeit (max. eine Seite)) richten Sie bitte bis zum *26.1.2026* unter Angabe der Kennziffer *AN/315/24* an die Humboldt-Universität zu Berlin, Philosophische Fakultät, Institut für Bibliotheks- und Informationswissenschaften, Prof. Robert Jäschke, Unter den Linden 6, 10099 Berlin oder bevorzugt per E-Mail in einer PDF-Datei an robert.jaeschke(a)hu-berlin.de. Auf die Vorlage von Lichtbildern/Bewerbungsfotos verzichten wir ausdrücklich und bitten daher, hiervon abzusehen. Bei Fragen wenden Sie sich gern an Prof. Dr. Robert Jäschke (robert.jaeschke@hu- berlin.de). Zur Sicherung der Gleichstellung sind Bewerbungen qualifizierter Frauen besonders willkommen. Schwerbehinderte Menschen werden bei gleicher Eignung bevorzugt. Bewerbungen von Menschen mit Migrationsgeschichte sind ausdrücklich erwünscht. Da wir Ihre Unterlagen nicht zurücksenden, bitten wir Sie, Ihrer Bewerbung nur Kopien beizulegen. Datenschutzrechtliche Hinweise zur Verarbeitung Ihrer personenbezogenen Daten im Rahmen des Ausschreibungs- und Auswahlverfahrens finden Sie auf der Homepage der Humboldt-Universität zu Berlin: https://hu.berlin/DSGVO. -- Prof. Dr. Robert Jäschke Humboldt-Universität zu Berlin < https://hu.berlin/RJ >>>>>>>>>>><<<<<<<<<<< +49 (0)30 2093-70960 > < https://weltliteratur.net/ >>>>><<<<< https://dev.bibsonomy.org/ >

3 weeks, 3 days

1
0
0 0

CfP: xAI in Game Playing

by Johannes Fürnkranz

--------------------------------------------------------- Workshop on xAI in Game Playing held at FDG 2025 (https://fdg2025.org/) April 15 in Vienna, Austria https://sites.google.com/view/fdg-ws-xai-in-game-playing --------------------------------------------------------- This workshop will focus on advancing explainable AI (xAI) in the domain of computer game playing, a field where AI has achieved remarkable successes but often lacks transparency. Among others, topics of interest include the application of existing xAI methods, development of new xAI models, and the extraction of interpretable game strategies. The workshop will serve as an open forum for short paper presentations, demonstrations, and panel discussions, improving collaboration and innovation at the intersection of xAI and game research. Submission Deadline: February 7, 2025 More details can be found on the Web-site (https://sites.google.com/view/fdg-ws-xai-in-game-playing).

1 month

1
0
0 0

Doctoral Symposium of CISTI'2025| Lisbon, Portugal

by CISTI-2025

------------------------------------- DOCTORAL SYMPOSIUM ------------------------------------- CISTI'2025 - 20th Iberian Conference on Information Systems and Technologies, Lisbon, Portugal 16 - 19 June 2025 https://www.cisti.eu/ <https://www.cisti.eu/> ---------------------------------------------------------------------------------------------- The purpose of CISTI'2025’s Doctoral Symposium is to provide graduate students a setting where they can, informally, expose and discuss their work, collecting valuable expert opinions and sharing new ideas, methods and applications. The Doctoral Symposium is an excellent opportunity for PhD students to present and discuss their work in a Workshop format. Each presentation will be evaluated by a panel composed by at least three Information Systems and Technologies experts. CONTRIBUTIONS SUBMISSION The Doctoral Symposium is opened to PhD students whose research area includes the themes proposed for this Conference. Submissions must include an extended abstract (maximum 4 pages), following the Conference style guide. All selected contributions will be published with the Conference Proceedings in electronic format with ISBN. These contributions will be available in the IEEE Xplore Digital Library and will be sent for indexing in ISI, Scopus, EI-Compendex, INSPEC and Google Scholar. Submissions must include the field, the PhD institution and the number of months devoted to the development of the work. Additionally, they should include in a clear and succinct manner: • The problem approached and its significance or relevance • The research objectives and related investigation topics • A brief display of what is already known • A proposed solution methodology for the problem • Expected results IMPORTANT DATES Paper submission: February 17, 2025 Notification of acceptance: April 4, 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 ORGANIZING COMMITTEE Álvaro Rocha, ISEG, University of Lisbon, PT Francisco García-Peñalvo, University of Salamanca, ES SCIENTIFIC COMMITTEE Francisco García-Peñalvo, Universidad de Salamanca, ES (Chair) A. Augusto Sousa, FEUP/INESCTEC, PT Adérito Fernandes-Marcos, University of Saint Joseph in Macau, MO Adolfo Lozano Tello, Universidad de Extremadura, ES Alicia García-Holgado , Universidad de Salamanca, ES Alma Gómez-Rodríguez, Universidade de Vigo, ES Álvaro Rocha, ISEG, University of Lisbon, PT António Palma dos Reis, ISEG, University of Lisbon, PT Arturo J. Méndez, Universidade de Vigo, ES Borja Bordel, Technical University of Madrid, ES Carlos J. Costa, ISEG, University of Lisbon, PT Carlos Ferrás Sexto, University of Santiago de Compostela, ES Cesar Collazos, Universidad del Cauca, CO David Fonseca, La Salle, Ramon Llull University, ES Fernando Moreira, Portucalense University, PT Gonçalo Paiva Dias, University of Aveiro, PT Isabel Pedrosa, ISCAC, Polytechnic University of Coimbra, PT João Paulo Costa, University of Coimbra, PT Luis Camarinha-Matos, NOVA University Lisbon, PT Manuela Aparicio, NOVA IMS, PT María J Lado, University of Vigo, ES Maria José Sousa, ISCTE - Instituto Universitário de Lisboa, PT Mário Piattini, University of Castilla-La Mancha, ES Maristela Holanda, Universidade de Brasília, BR Martin Llamas Nistal, Universidade de Vigo, ES Martín López Nores, University of Vigo, ES Mercedes Ruiz, University of Cadiz, ES Miguel A. Brito, University of Minho, PT Miguel Casquilho, University of Lisbon, PT Miguel de Castro Neto, NOVA IMS, PT Miguel Ramón González Castro, Centro Tecnológico Aimen, ES Óscar Mealha, University of Aveiro, PT Paula Prata, Universidade da Beira Interior, PT Paulo Urbano, FC, University of Lisbon, PT Pedro Araújo, Universidade da Beira Interior, PT Pedro Sousa, University of Minho, PT Ramiro Gonçalves, University of Trás-os-Montes e Alto Douro, PT Rui Pedro Lourenco, University of Coimbra, PT Rui Quaresma, Universidade de Évora, PT Rui Santos Cruz, IST, University of Lisbon, PT Sergio Moro, ISCTE - Instituto Universitário de Lisboa, PT We are counting on you. Submit your contribution. Webpage: https://www.cisti.eu/ <https://www.cisti.eu/> CISTI'2025 Team https://www.cisti.eu/ <https://www.cisti.eu/>

1 month

1
0
0 0

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

by Kai Sauerwald

******************************************************************************* We wish you a happy new year and hope this call finds you well! ******************************************************************************* RuleML+RR 2025 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

1 month

1
0
0 0

[Announcement WSDM 2025]: Updates

by Megha Khosla

Updates from WSDM 2025 - Explore Tutorials (https://lnkd.in/eVssd4_V) - Consider submitting to workshops (https://lnkd.in/ea-k8Ytb) - Industry day talks (https://lnkd.in/eamey3st) - WSDM Day talks (https://lnkd.in/eP_z94_q) We are happy to announce the keynote speakers – - Slav Petrov, Vice President, Research at Google DeepMind - Roberto Navigli, Professor, Sapienza University, Rome - Mario Fritz, Faculty CISPA Helmholtz Center for Information Security; Professor Saarland University You can still avail the early-bird registration rates until 10.01.2025

1 month

1
0
0 0

AutoML conference 2025 in NYC, September 8-11

by carola.doerr＠lip6.fr

Dear all, The AutoML Conference is looking forward to welcoming you in New York City. https://2025.automl.cc/ :: Sept 8-11, 2025 :: Submissions due: March 24, 2025 (abstracts due March 19) :: Verizon Executive Education Center at Cornell Tech, Roosevelt Island, New York City, USA :: confirmed keynotes : Manuela Veloso, JP Morgan Chase Andrew Gordon Wilson, New York University Kevin Leyton-Brown, British Columbia University :: Full Call For Papers: https://2025.automl.cc/call-for-papers/ :: videos from AutoML 2024 available at https://www.youtube.com/@automl_conf/playlists :: proceedings from AutoML 2024 available at https://proceedings.mlr.press/v256/ :: follow us on social networks: https://www.linkedin.com/company/automl-conf/ https://x.com/automl_conf https://bsky.app/profile/automl-conf.bsky.social :: general chair: Roman Garnett, Washington University in St. Louis :: PC chairs: Leman Akoglu, Carnegie Mellon University Carola Doerr, CNRS and Sorbonne University, FR Jan van Rijn, Leiden University, NL

1 month, 4 weeks

1
0
0 0

2025

2024

2023

2022

2021

Kdml