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

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

2 months, 3 weeks

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

3 months

1
0
0 0

[ICLP 2025 - First Call for Papers] 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]* *First 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 with 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

3 months, 1 week

1
0
0 0

[ICLP 2025 - Call for Workshop Proposals] 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]* *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2025 41st International Conference on Logic Programming September 12 - September 19, 2025 University of Calabria, Rende, Italy https://iclp25.demacs.unical.it ICLP 2025, the 41st International Conference on Logic Programming, will be held at the University of Calabria, Rende, Italy, from September 12 to September 19, 2025. The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2025 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2025 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The estimated length of the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chairs by email (see below) by April 1, 2025. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 13, 2025. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by April 27, 2025, and will be published on the ICLP 2025 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Providing a workshop program in a format specified by the conference organizers for posting by August 15, 2025. * Coordinating the preparation of the workshop proceedings according to the specifications provided by the Workshop Chair. Location: ========= Workshops will be collocated with ICLP 2025 at the University of Calabria, Rende, Italy. See the ICLP 2025 web site (https://iclp25.demacs.unical.it) for location details. Important Dates (Tentative): ============================ April 1, 2025: Proposal submission deadline April 13, 2025: Notification April 27, 2025: Deadline for receipt of CfP and workshop web page URL June 1, 2025: Tentative paper submission deadline July 13, 2025: Latest Deadline for acceptance notification of paper authors August 15, 2025: Deadline for workshop program Submissions: ============ Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair: =============== Pierangela Bruno pierangela.bruno(a)unical.it Jorge Fandinno jfandinno(a)unomaha.edu

3 months, 1 week

1
0
0 0

Doctoral Symposium of CISTI'2025 | Lisbon, Portugal | Deadline: February 28

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

3 months, 1 week

1
0
0 0

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

by Kai Sauerwald

First Call for Participation: 21st Reasoning Web Summer School September 25-28, 2025, Istanbul, Turkey https://2025.declarativeai.net/events/reasoning-web Part of Declarative AI 2025, co-located with the RuleML+RR conference ************************************************************************************************************ 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://forms.gle/e9aDLTveQCXsBmwk9 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 all applications received by May 31st. The regular fee of 300€ (incl. VAT) applies to all applications received on or after June 1st. 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

3 months, 2 weeks

1
0
0 0

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

3 months, 4 weeks

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

4 months

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

4 months

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>

4 months, 2 weeks

1
0
0 0

2025

2024

2023

2022

2021

Kdml