From huanyu.li at liu.se Wed Jul 3 09:17:04 2024 From: huanyu.li at liu.se (Huanyu Li) Date: Wed, 3 Jul 2024 07:17:04 +0000 Subject: [fg-arc] 2nd CfP - OM-2024: The 19th International Workshop on Ontology Matching collocated with ISWC2024 In-Reply-To: References: Message-ID: *****We apologize for possible cross-posting***** *************** Second Call for Papers *************** The 19th International Workshop on ONTOLOGY MATCHING (OM-2024) http://om.ontologymatching.org/2024/ November 11th or 12th, 2024, International Semantic Web Conference (ISWC) Workshop Program, Live! Casino & Hotel Maryland, Baltimore, USA. BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, knowledge graph and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2024 campaign: http://oaei.ontologymatching.org/2024/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios; Formal foundations and frameworks for matching; Novel matching methods, including link prediction, ontology-based access; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Expressive alignments; Reasoning with alignments; Alignment coherence and debugging; Alignment management; FAIR (Findable, Accessible, Interoperable and Reusable) alignments; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2024 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 6 pages. Posters/statements of interest should not exceed 3 pages. All contributions have to be prepared using the CEUR-ART, 1-column style. Overleaf page for LaTeX users is available at https://www.overleaf.com/read/gwhxnqcghhdt, while offline version with the style files is available from http://ceur-ws.org/Vol-XXX/CEURART.zip. Submissions should be uploaded in PDF format through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2024 Contributors to the OAEI 2024 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2024/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 9th, 2024: Deadline for the submission of papers. August 30th, 2024: Deadline for the notification of acceptance/rejection. September 9th, 2024: Workshop camera ready copy submission. November 11th or 12th, 2024: OM-2024, Live! Casino & Hotel Maryland, Baltimore, USA. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko Trentino Digitale, Italy 2. Jérôme Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jiménez-Ruiz City, University of London, UK & SIRIUS, University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5. Cássia Trojahn IRIT, France 6. Sven Hertling FIZ Karlsruhe, Germany 7. Huanyu Li Linköping University, Sweden PROGRAM COMMITTEE (to be added soon). ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From ssharm21 at students.kennesaw.edu Mon Jul 1 19:30:50 2024 From: ssharm21 at students.kennesaw.edu (Sachin Sharma) Date: Mon, 1 Jul 2024 17:30:50 +0000 Subject: [fg-arc] Submission Deadline Extension - 36th IEEE International Conference on Tools with Artificial Intelligence Message-ID: Dear Colleagues, The 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) organizing committee is inviting you to submit your research papers. The conference will be held in person, from October 28th till October 30th, 2024, in Herndon, Virginia, USA. Topics include (but not limited to): 1. AI Foundations 2. AI in Domain-specific Applications 3. AI in Computer Systems 4. AI in Data Analytics, Data Mining and Big Data 5. AI in Smart Cities 6. Machine Learning 7. Knowledge Representation, Reasoning, Cognition 8. AI and Decision Systems 9. Uncertainty in AI 10. Natural Language Processing 11. AI and Societal Impact Website: https://ictai.computer.org/2024/ Important Dates Paper submission: July 15, 2024 Acceptance notification: August 25, 2024 Camera-ready: September 23, 2024 Conference: October 28th - October 30th To submit your manuscript, please use the following link: https://easychair.org/conferences/?conf=ictai2024 For more information, please don't hesitate to contact the General Chair Dr. Manolis Koubarakis (National and Kapodistrian University of Athens) at koubarak at di.uoa.gr, Co-Program Chairs Dr. Nikolaos Bourbakis (BAIF) at drbourbakis at gmail.com and Dr. Jessica Lin (George Mason University) at jessica at gmu.edu and Financial & Registration Chair Dr. Alexiou (Kennesaw State University) at malexiou at kennesaw.edu. We look forward to your submissions. Sachin Sharma ICTAI 2024 Publicity Chair -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CFP-ICTAI-2024_vers4.pdf Type: application/pdf Size: 222864 bytes Desc: CFP-ICTAI-2024_vers4.pdf URL: From giuseppe.mazzotta at unical.it Wed Jul 3 09:01:09 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Wed, 3 Jul 2024 09:01:09 +0200 Subject: [fg-arc] [LPNMR 2024] Deadline in Two Days (July, 4 AOE) Message-ID: <61C33FC8-98AD-4F11-BEAD-CAA637285091@unical.it> > > *** Please accept our apologies if you receive multiple copies of this CFP *** > > ==================================================== > LPNMR 2024 - Call for Papers > > 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) > Dallas, Texas, USA | October 11-14, 2024 > Website: https://lpnmr2024.demacs.unical.it/ > Contact us: lpnmr2024 at easychair.org > Submission: https://easychair.org/conferences/?conf=lpnmr2024 > ==================================================== > > ==================================================== > IMPORTANT NEWS: ICLP 2024 RESUBMISSION > ==================================================== > > If you choose to transfer the reviews to LPNMR during ICLP submission, you have the opportunity to submit a cover letter clarifying any changes to your paper. > > ==================================================== > IMPORTANT DATES > ==================================================== > > Paper registration: Jul 4, 2024 (extended) > Submission deadline: Jul 7, 2024 (extended) > Final notification: Aug 7, 2024 (extended) > Final versions due: August 15, 2024 > Conference: October 11-14, 2024 > > ==================================================== > FAST JOURNAL TRACK FOR BEST PAPERS > ==================================================== > > The two best papers focused on general AI topics will be invited for publication in either the Artificial Intelligence Journal or the Journal of Artificial Intelligence Research, based on the preference of the authors. > Also, the 2-5 best papers with a logic programming focus will be invited for publication in the journal of Theory and Practice of Logic Programming. > > ==================================================== > AIMS AND SCOPE > ==================================================== > > LPNMR 2024 is the seventeenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. > LPNMR 2024 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. > > ==================================================== > TOPICS > ==================================================== > Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. Conference topics include, but are not limited to: > Foundations of LPNMR Systems: > Semantics of new and existing languages > Action languages, causality > Formalization of Commonsense Reasoning and understanding its laws and nature > Relationships among formalisms > Complexity and expressive power > Inference algorithms and heuristics for LPNMR systems > Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities > Updates, revision, and other operations on LPNMR systems > Uncertainty in LPNMR systems > Implementation of LPNMR systems: > System descriptions, comparisons, evaluations > Algorithms and novel techniques for efficient evaluation > LPNMR benchmarks > Applications of LPNMR: > Use of LPNMR in Commonsense Reasoning and other areas of KR > LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies > Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking > Applications of LPNMR to bioinformatics, linguistics, psychology and other sciences > Integration of LPNMR systems with other computational paradigms > Embedded LPNMR: Systems using LPNMR subsystems > > ==================================================== > SUBMISSION AND PUBLICATION > ==================================================== > LPNMR 2024 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: > > Technical papers > System descriptions > Application descriptions > > The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: > https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines > > Paper submission is enabled via the LPNMR 2024 Easychair site: > https://easychair.org/conferences/?conf=lpnmr2024 > > > ==================================================== > MULTIPLE SUBMISSION POLICY > ==================================================== > > LPNMR 2024 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. > > ==================================================== > VENUE > ==================================================== > LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience. > > ==================================================== > ORGANISING COMMITTEE > ==================================================== > > General Chair: > Gopal Gupta, The University of Texas at Dallas > > Program Chairs: > Carmine Dodaro, University of Calabria, Italy > M. Vanina Martinez, IIIA-CSIC, Spain > > Publicity and Web Chair: > Giuseppe Mazzotta, University of Calabria, Italy > > Workshop Chair: > Gerardo Simari, Universidad Nacional del Sur, Argentina > -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Wed Jul 3 12:29:02 2024 From: cfp at mat.unical.it (cfp) Date: Wed, 3 Jul 2024 12:29:02 +0200 Subject: [fg-arc] ASPOCP 2024 @ ICLP- First Call for Paper Message-ID: <7ac3ce55-1c07-474a-98c6-4ea8d5c84765@mat.unical.it> [Apologies for cross-posting] ====================================================================================                                    CALL FOR PAPERS ASPOCP2024         17th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/unical.it/aspocp2024/                                October 12 or October 13       Affiliated with ICLP 2024, 40th International Conference on Logic Programming https://www.iclp24.utdallas.edu/                                   October 11 - 17, 2024 ==================================================================================== AIMS AND SCOPE  Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems.ASPwas found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship ofASPto other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms.  Furthermore, the practical applications ofASPalso foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration ofASPwith description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction).  A large body of general results regardingASPis available and several efficientASPsolvers have been implemented. However, there are still significant challenges in applyingASPto real life applications, and more interest in relatingASPto other computing paradigms is emerging. This  workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS  Topics of interests include (but are not limited to):  -ASPand classical logic formalisms (SAT/FOL/QBF/SMT/DL).  -ASPand constraint programming.  -ASPand other logic programming paradigms, e.g., FO(ID).  -ASPand other nonmonotonic languages, e.g., action languages.  -ASPand external means of computation.  -ASPand probabilistic reasoning.  -ASPand knowledge compilation.  -ASPand machine learning.  - New methods of computing answer sets using algorithms or systems of other paradigms.  - Language extensions toASP.  -ASPand multi-agent systems.  -ASPand multi-context systems.  - Modularity andASP.  -ASPand argumentation.  - Multi-paradigm problem solving involvingASP.  - Evaluation and comparison ofASPto other paradigms.  -ASPand related paradigms in applications.  - HybridizingASPwith procedural approaches.  - Enhanced grounding or beyond grounding. SUBMISSIONS  The workshop invites two types of submissions:   - original papers describing original research.   - non-original paper already published on formal proceedings or journals.  Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style availablehere .  A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere .  Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page.  Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:https://easychair.org/my/conference?conf=aspocp2024 .  IMPORTANT DATES   Abstract submission deadline:                              01 August 2024   Paper submission deadline:                                 08 August 2024   Notification:                                              05 September 2024 PROCEEDINGS  Authors of all accepted original contributions can opt to publish their work in formal proceedings.  Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published.  A selection of extended and revised versions of accepted papers could appear in a special issue.  Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. WORKSHOP CO-CHAIRS  Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy  Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria PROGRAM COMMITTEE TBA -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Wed Jul 3 10:55:15 2024 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 03 Jul 2024 10:55:15 +0200 Subject: [fg-arc] =?utf-8?q?ESAO_Webinar_n=2E11_on_Tuesday_July_9th=2C_20?= =?utf-8?b?MjQgMTY6MzAgQ0VTVCDigJMtPz09P3V0Zi04P3E/IFBhbmVsOiAgQXBwbGll?= =?utf-8?q?d_Ontologies_in_the_the_Neuro-symbolic_Age_--_Call_for_Particip?= =?utf-8?q?ation?= Message-ID: <351179-66851200-7b-317150c0@38726456> Dear all, The Educational Series on Applied Ontology (ESAO) [1] is open for everyone and welcomes students, researchers and practitioners alike. The 11th ESAO webinar will be held on Tuesday, July 9, 2024 at 16:30 CET, together with FOIS 2024 online. --------------------------- When and how to connect Tuesday July 9th, 2024 16:30 CEST Duration: 90 minutes Video conference (via Zoom) : => Requires *free* registration to FOIS online [2] --------------------------- Program Title: Applied Ontologies in the the Neuro-symbolic Age 10:30-12:00 EDT / 14:30-16:00 UTC / 16:30-18:00 CEST / 16:30-18:00 SAST / 11:30-13:00 UTC-3 Panelists: Pascal Hitzler (Kansas State University), Pawel Garbacz (The John Paul II Catholic University of Lublin), Fabian Neuhaus (Otto von Guericke University Magdeburg), Luciano Serafini (Fondazione Bruno Kessler), John Beverley (University of Buffalo) Moderator: Mehwish Alam (Télécom Paris, Institut Polytechnique de Paris, France) Abstract: In the evolving landscape of AI, the panel on "Applied Ontologies in the Age of Neuro-Symbolic AI" will discuss the integration of symbolic AI (based on knowledge representation and formal logic) and statistical (based on artificial neural networks). The aim is to cover a broader overview on the topic, definitions, impact on research in both statistical and symbolic AI (and in other fields), and future perspectives. See details [3]. Best regards Cassia Trojahn, Frank Loebe, Laure Vieu On behalf of the IAOA Education Committee [1] https://wiki.iaoa.org/index.php/Edu:ESAO [2] https://www.utwente.nl/en/eemcs/fois2024/registration/online-registration/ [3] https://www.utwente.nl/en/eemcs/fois2024/program/panels/? From robert.heinrich at kit.edu Thu Jul 4 14:17:22 2024 From: robert.heinrich at kit.edu (Heinrich, Robert (KASTEL)) Date: Thu, 4 Jul 2024 12:17:22 +0000 Subject: [fg-arc] DEADLINE EXTENDED: Journal-First Track: 18th European Conference on Software Architecture (ECSA) Message-ID: Call for Papers: Journal-First Track at 18th European Conference on Software Architecture (ECSA) ECSA 2024 continues the partnership with the Journal of Systems and Software (JSS) and IEEE Software to incorporate journal-first papers into its program. We invite authors of journal-first papers accepted by JSS or IEEE Software since January 2023 to submit their work for presentation at ECSA 2024, which will allow authors of journal-first papers to present their work to the community. *** Scope *** A journal-first paper submitted to ECSA 2024 must adhere to the following criteria: - The paper must have been accepted after peer review by JSS or IEEE Software. - The paper is in the scope of the conference.. - The paper has not been presented at and is not under consideration for journal-first programs of other conferences. *** Paper Submissions *** We invite authors of papers that meet the above criteria to submit a proposal that includes a summary of the original paper that highlights the contributions, motivates the relevance for the ECSA, and briefly discusses how the work has developed after the original publication if it is the case. Please include the DOI of the original journal paper. ECSA offers an opportunity to disseminate your work to a broader community audience. The submission must be 3-4 pages long and conform to LNCS style. Accepted submissions will be invited to present at the conference. The track chairs will write a summary of the accepted submissions that will be included in the conference proceedings. Proposals must be submitted via the online EasyChair submission site for the ECSA 2024 conference, selecting the "JournalFirst" Track: https://easychair.org/conferences/?conf=ecsa2024 *** Evaluation *** Authors will be invited to present their paper at ECSA 2024 if the article is in the conference scope. As the papers have already been reviewed and accepted by the journal, we will not review the submission for technical content. We plan to include as many journal-first papers as possible in the ECSA's main program. If we receive an exceptionally high number, we may have to prioritize presentation proposals according to their fit to the conference theme and session structure. *** Important Dates *** - Paper submission: July 15, 2024 - Acceptance notifications: July 22, 2024 Note: All deadlines are 23:59h AoE (anywhere on Earth) *** Presentation *** ECSA 2024 is planned to be an in-person/physical conference. The journal-first paper presentation will happen as part of ECSA's main program. As the journal's first presenter, you will benefit from the conference presentation, such as outreach to a broader audience and interactions and discussions with peers. At least one author of each submission accepted for the journal-first program must register and attend the conference to present the paper. *** Track Organizer *** - Jesper Andersson, Linnaeus University, Sweden - Robert Heinrich, Karlsruhe Institute of Technology, Germany -------------------------------------------------------------------- PD Dr. rer. nat. Robert Heinrich Head of Quality-driven System Evolution Research Group Karlsruhe Institute of Technology (KIT) KASTEL - Institute of Information Security and Dependability DSiS - Dependability of Software-intensive Systems group https://dsis.kastel.kit.edu/staff_robert_heinrich.php -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sun Jul 14 15:47:13 2024 From: announce at ucy.ac.cy (Announce) Date: Sun, 14 Jul 2024 13:47:13 +0000 Subject: [fg-arc] 20th International Conference on Persuasive Technology (PERSUASIVE 2025) : First Call for Contributions Message-ID: *** First Call for Contributions *** 20th International Conference on Persuasive Technology (PERSUASIVE 2025) May 5-7, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://2025.persuasivetech.org (*** Proceedings to be published by Springer in LNCS ***) In a world in which technology is increasingly present in people’s lives, and changing human behavior and attitudes is often the key to solving many societal and personal problems, studying how technology might be used to influence humans (in their behavior, attitudes and information processing), is paramount. Persuasive Technology is a vibrant interdisciplinary research field, focusing on the design, development and evaluation of interactive technologies aimed at influencing people’s attitudes and/or behaviors through persuasion, but not through coercion or deception. The research community aims at enriching people’s lives in various domains such as health and sustainability by supporting people in setting and achieving their own goals, thus helping them change their behavior. The 2025 conference will be hosted in Limassol, Cyprus at the 5* St. Raphael Resort and Marina. The previous successful conferences have been organized in Wollongong, Limassol, Eindhoven, Stanford, Oulu, Claremont, Copenhagen, Columbus, Linköping, Sydney, Padua, Chicago, Salzburg, Amsterdam, and Waterloo. The conference series seeks to bring together researchers and practitioners from industry and academia working with various topics of persuasive technology. We welcome the following categories of papers and extended abstracts: • Technical papers that introduce novel persuasive technology approaches and solutions alongside evidence of their potential. • Empirical studies which seek to provide evidence and explanation of methods, principles and theories in persuasive systems. • Conceptual-theoretical papers which primarily seek to contribute to the general understanding of the field’s core themes and specificities. • Other papers, e.g. literature reviews or experience reports. SCOPE The scope of the conference includes (but is not limited to) the following topics: • Persuasive systems’ design • Behavior change support systems • Interaction with persuasive systems, interfaces, visualization • Interactive agents in persuasive systems • (Generative) AI for persuasive technology • Tailored and personalized persuasion • Gamification for persuasion • Evaluation and validation of persuasive applications • Fitting methods for development, evaluation and implementation of persuasive systems • Optimizing engagement with persuasive systems • Software architectures and technical infrastructures for persuasive systems • Smart environments, e.g. IoT, and persuasion • Digital Marketing, eCommerce, eTourism and SMART ecosystems • Motivational, cognitive and perceptual factors in persuasive technology • Application domains for persuasive technologies such as safety, healthy living, sustainable behaviors, learning and training, marketing and commerce, work environments, organizations • Positive technology • Humanizing and/or dehumanizing effects of persuasive technology • Values and ethics in persuasive technology • Privacy, perceived security and trust in persuasive technology • Resilience and counter-persuasion • Detecting persuasive strategies in social media posts • Encouraging adherence to safety measures in pandemic situations Questions that we hope to be addressed include, but are not limited to: • How to recognize and demonstrate the real life effects of persuasive technology on people’s attitudes and behaviours? • How to conduct studies that not just show their effectiveness but are also able to explain in more detail why a design or intervention works? • How to design an evaluation study so that it yields insights that are applicable to other designs or interventions? • How theoretical insight can help improve application and/or intervention planning and design? • How can design and intervention studies improve theory? SUBMISSION TYPES Regular Papers This format is suitable for original research, which is completed work at the time of submission and, regardless of the length of the paper, is a self-sufficient scientific contribution. Papers can be full papers (12 pages, excluding references) or short papers (6 pages, excluding references) in Springer LNCS format, and describe work not presented, published or simultaneously submitted elsewhere. Accepted papers will be included in the Springer LNCS conference proceedings and be devoted a timeslot for oral presentation. Selected papers will be invited for submission to Behaviour & Information Technology journal (Taylor & Francis). Extended Abstracts We also welcome extended abstract submissions to showcase the results of already conducted studies where authors do not wish to publish them as regular papers in the conference proceedings but rather present them at the conference for discussions that can shape the final version (that may be submitted elsewhere later). The studies will be also be devoted a timeslot for oral presentation in a special session. Extended abstracts must not be more than 2 pages in CEUR format (including references). Accepted abstracts will be included in the adjunct conference proceedings (CEUR Workshop Proceedings, 1 column style, see here). Selected papers in this category, based on their quality, level of timeliness and relevance, and completion, will also be invited for submission to Behaviour & Information Technology journal. Poster Presentations This format is suitable for descriptions of smaller studies, project outlines, literature reviews or work-in-progress. Authors should submit a 2-page abstract in CEUR format (1 column style). Accepted posters will be included in the adjunct conference proceedings (CEUR Workshop Proceedings). Posters will be displayed and presented during a dedicated session of the conference. Demonstrations and Artefacts The Persuasive 2025 track on Demonstrations and Artefact is intended to foster discussion and exchange of ideas among researchers and practitioners from academia and industry by demonstrating or presenting hardware and software products or artefacts, including those in virtual settings (e.g., simulation systems, VR, and games), that range from early research prototypes to mature production-ready systems. The contribution should be the result of original, innovative work, including solving novel technical or research problems, and/or creating novel individual or industrial UI/UX. Accepted demonstrations or presentations shall be presented live during the conference. Doctoral Consortium Papers The Doctoral Consortium is a special session of the conference where PhD students can receive advice in a constructive atmosphere. Students present and discuss their research with other PhD students and a panel of established researchers in the area of persuasive technology. Students interested in participating in the Doctoral Consortium should submit a 4-page abstract in CEUR format (1 column style) describing their research question, its position with respect to the state of the art, their research plans and methodology, ideas, and results achieved so far. Accepted abstracts will be included in the adjunct conference proceedings (CEUR Workshop Proceedings) unless opted out by the student. Workshops and Tutorial Proposals Workshops are meant to gather a number of people to work interactively on an emerging topic and exchange ideas. Tutorials are intended to help people attending the conference organize a related scientific meeting on a specific topic or instruct on a specific practice. Approved workshops and tutorials will be announced on the conference website. Tutorials and workshops will take place during a half- or full-day session before the conference. If you want to organize a workshop, please submit a proposal as a maximum 4-page description in Springer LNCS format (https://www.springer.com/gp/computer-science/lncs/conference-proceedings- guidelines), including a description of the topic, motivation, organization (including the list of organizing members, how the organizers will form a program committee, duration of the workshop and mode of delivery: in-person/hybrid), expected outcome, and supporting materials (if applicable). Workshop and tutorial descriptions will be included in the adjunct conference proceedings (CEUR Workshop Proceedings) https://ceur-ws.org/HOWTOSUBMIT.html. Workshop organisers must commit to creating their Call for Papers and their website within one week of the notification. Please email your proposal by December 01, 2024, to the workshop chairs: Wenzhen Xu (wenzhen.xu at r.hit-u.ac.jp), Rhoda Abadia (Rhoda.Abadia at unisa.edu.au), and Kaoru Sumi (kaoru.sumi at acm.org). The organizing committee will review the proposals and communicate the results by December 15, 2024. IMPORTANT DATES Paper submission: • Submission deadline: January 03, 2024 (AoE) • Decision notification: February 15, 2025 • Camera ready submission: February 28, 2025 Workshop and tutorial proposals: • Submission deadline: December 1, 2024 (AoE) • Decision notification: December 15, 2024 Workshop papers, posters, demos, artefacts, and doctoral consortium submission: • Submission deadline: March 1, 2025 (AoE) • Decision notification: March 15, 2025 • Camera ready: March 28, 2025 Registration: • Author registration deadline for the main track: February 28, 2025 • Author registration deadline for the rest of the categories: March 28, 2025 • Early bird registration: April 5, 2025 PUBLICATION Accepted papers of the main track (both Full and Short) will be published by Springer in a volume of the Lecture Notes in Computer Science series (https://www.springer.com/gp/ computer-science/lncs). Workshop and demo descriptions, extended abstracts , abstracts from posters, and doctoral consortium abstracts will be published as an adjunct CEUR proceedings. Extended versions of the best papers and selected papers from the conference will be invited to submit to a special issue on Persuasive Technology 2025 in Behaviour and Information Technology, a Taylor & Francis publication. ORGANISATION General Chairs • Evangelos Karapanos, Cyprus University of Technology, Cyprus • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Raian Ali, HBKU, Qatar • Khin Than Win, University of Wollongong, Australia Demo, Poster and Artefacts • Ruben Hgouveia, Universidade de Lisboa, Portugal • Hanne Spelt, Philips, Netherlands Workshops and Tutorial Chairs • Rhodora Abadia, University of South Australia, Australia • Kaoru Sumi, Future University of Hakodate, Japan • Wenzhen Xu, Hitotsubashi University, Japan Doctoral Consortium Chairs • Sriram Iyengar, University of of Arizona, USA • Roberto Legaspi, KDDI, Japan • Shahla Meedya, Australian Catholic University, Australia Proceedings Chairs • Elena Vlahu-Gjorgievska, University of Wollongong, Australia • Kiemute Oyibo, University of York, Canada Society for Persuasion and Technology Steering Committee • Raian Ali – Chair Professor, College of Science and Engineering, Hamad Bin Khalifa University, Qatar • Luca Chittaro – General Member Professor, Human-Computer Interaction Lab, Department of Mathematics, Computer Science, and Physics, University of Udine, Italy • Roberto Legaspi – General Member
Research Scientist, Collaborative AI Lab, Human-centered AI Laboratories KDDI Research, Inc., Japan • Harri Oinas-Kukkonen – General Member
Professor, Information Systems Science and Dean of Graduate School, University of Oulu, Finland • Kiemute Oyibo – General Member
Assistant Professor, Interactive Systems Research Group, Department of Electrical Engineering and Computer Science, York University, Canada • Khin Than Win – Secretary
Professor at the University of Wollongong, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Wed Jul 17 12:06:10 2024 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Wed, 17 Jul 2024 12:06:10 +0200 (CEST) Subject: [fg-arc] Call for papers FCA4AI 12th Workshop co-located with ECAI 2024 at Santiago de Compostela, Spain Message-ID: <925265635.240979967.1721210770221.JavaMail.zimbra@loria.fr> Apologies for duplicates... ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Twelfth Edition) -- "What can FCA do for Artificial Intelligence?'' co-located with ECAI 2024, Santiago de Compostela, Spain October 19th 2024 http://www.fca4ai.hse.ru/2024 ------------------------------------------------------------------------------------------------------------------- General Information. The eleven preceding editions of the FCA4AI Workshop (from ECAI 2012 until IJCAI 2023) showed that many researchers working in Artificial Intelligence are indeed interested in powerful techniques for classification and data mining provided by Formal Concept Analysis. The twelfth edition of FCA4AI will once more be co-located with the ECAI Conference, and thus be held in Santiago de Compostela. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Thus, there are many "natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis, as well as on hybridization with other formalisms. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing, etc. While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA. As usual, the FCA4AI workshop is dedicated to the discussion of such issues, and in particular: - How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing and others? - Vice versa, how can the current developments in AI be adopted within FCA to help AI researchers solve complex problems in their domain? - Which role can FCA play in the new trends in AI, especially in ML, XAI, fairness of algorithms, and "hybrid systems'' combining symbolic and subsymbolic approaches? TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: pattern structures, relational structures, distributive lattices. - Knowledge discovery and data mining: pattern mining, association rules, attribute implications, subgroup discovery, exceptional model mining, data dependencies, attribute exploration, stability, projections, interestingness measures, MDL principle, mining of complex data, triadic and polyadic analysis. - Knowledge and data engineering: knowledge representation, reasoning, ontology engineering, mining the web of data, text mining, data quality checking. - Analyzing the potential of FCA in supporting hybrid systems: how to combine FCA and data mining algorithms, such as deep learning for building hybrid knowledge discovery systems, producing explanations, and assessing system fairness. - Analyzing the potential of FCA in AI tasks such as classification, clustering, biclustering, information retrieval, navigation, recommendation, text processing, visualization, pattern recognition, analysis of social networks. - FCA and Large Language Models (LLMs). - Practical applications in agronomy, astronomy, biology, chemistry, finance, manufacturing, medicine, and others. The workshop will include time for audience discussion aimed at a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: August 25 2024 Notification to authors: September 16 2024 Final version: October 06 2024 Workshop: October 19 2024 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format following the CEURART style 1-column (to be downloaded at https://ceur-ws.org/Vol-XXX/CEURART.zip). Submissions can be: - technical papers between 8 and 12 pages, - system descriptions or position papers describing work in progress not exceeding 6 pages. Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2024 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-3489, Vol-3233, Vol-2972, Vol-2729, Vol-2529, Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov National Research University Higher Schools of Economics, Moscow, Russia Amedeo Napoli Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Sebastian Rudolph Technische Universität Dresden, Germany PROGRAM COMMITTEE (under construction) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From giuseppe.mazzotta at unical.it Wed Jul 17 13:23:18 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Wed, 17 Jul 2024 13:23:18 +0200 Subject: [fg-arc] [ICLP & LPNMR DC 2024] Approaching Deadline (July, 21 AOE) Message-ID: > > (Apologies for cross-posting. Please distribute to interested parties.) > > ------------------------------------------------------------------------------------------------------------------------------- > ICLP & LPNMR DC 2024 - Call For Papers > > Doctoral Consortium > International Conference on Logic Programming (ICLP 2024) > International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) > > Dallas, Texas, US > October 13, 2024 > > ICLP/LPNMR-DC 2024 will be held as a physical event in Dallas, Texas, US > > Website: https://sites.google.com/view/iclplpnmrdc2024 > ------------------------------------------------------------------------------------------------------------------------------- > > > The ICLP & LPNMR Doctoral Consortium (DC) will take place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 13, 2024. The DC will provide students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career. > > Target Audience > The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): > > LP Foundations, LP Languages, Declarative Programming, LP Implementation, Related Paradigms and Synergies (e.g., Neuro-symbolic AI and Logic Programming), LP Applications. > > The full call for papers can be found on the official website: > > https://sites.google.com/view/iclplpnmrdc2024 > > > Application Process > Submissions must be written in English and consist of: > * a cover letter of the applicant, including a statement outlining the reasons for applying to the DC and how it will benefit the applicant; > * a research summary, prepared in EPTCS format (http://info.eptcs.org/), that meets the following criteria. The body of the research summary (no more than 10 pages, excluding references, but 5 pages is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections covering the following points: > - Your complete name, address, and affiliation > - Introduction and problem description > - Background and overview of the existing literature > - Goals of the research > - Current status of the research > - Preliminary results accomplished (if any) > - Open issues and expected achievements > - Bibliographical references > > The application is to be submitted electronically in PDF format on the Easychair system, selecting the “Doctoral Consortium” track: https://easychair.org/conferences/?conf=iclp2024 > > Important Dates > * Application submission: 21 July, 2024 > * Notification to authors: 26 August, 2024 > * Camera-ready copy due: 15 September, 2024 > * DC event: October 13, 2024 > > Contacts > Francesco Fabiano: ffabiano at nmsu.edu > Martin Gebser: martin.gebser at aau.at > -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From hasselbring at email.uni-kiel.de Wed Jul 17 16:09:04 2024 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Wed, 17 Jul 2024 16:09:04 +0200 Subject: [fg-arc] CfP: 15th Symposium on Software Performance 2024 Message-ID: =========================================== 15th Symposium on Software Performance 2024 =========================================== Call for Papers Abstract submission: August 19, 2024 Paper submission: August 26, 2024 November 6 and 7, 2024 Linz, Austria https://www.performance-symposium.org =========================================== The Symposium on Software Performance (SSP) brings together researchers and practitioners interested in software performance, where "performance" is understood both in a classical sense as "the amount of useful work accomplished by a software system compared to the time and resources used", as well as in a broader sense as "the manner in which or the efficiency with which a software system reacts or fulfills its intended purpose". The scope of SSP spans measurement, modeling, benchmark design, and run-time management. The focus is both on classical performance metrics such as response time, throughput, and resource utilization, as well as on the relationship of such metrics to other software quality attributes including but not limited to scalability, elasticity, (energy) efficiency, dependability (in terms of availability and reliability), resilience, security, and privacy. Topics of interest include the design of metrics, benchmarks, and tools for quantitative system evaluation and analysis, as well as the development of methodologies, techniques, and tools for modeling, measurement, load testing, monitoring, profiling, workload characterization, and run-time management of software systems with respect to the mentioned quality attributes. The symposium originates from the three established research groups Descartes, Kieker, and Palladio; thus this symposium also serves as a joint community meeting. Descartes' focus is techniques and tools for engineering self-aware computing systems designed for maximum dependability and efficiency. Kieker is a well-established tool and approach for monitoring the software performance of complex, large, and distributed IT systems. Palladio is a likewise-established tool and approach for modeling architectures of IT systems and for simulating quality properties, such as performance, or reliability metrics. The 15th Symposium on Software Performance 2024 proposes a two-day meeting at the Johannes Kepler University Linz in Austria. SSP 2024 is supported by the GI special interest group "Softwaretechnik" and sponsored by Dynatrace. SCOPE: ------ Submissions are thought for plans, ongoing work, or results on: * Software quality analysis with regard to: * Performance * Scalability and elasticity * Energy efficiency * Dependability and resilience * Security and privacy * Application performance measurement and management * Performance measurement and benchmarking * Performance modeling (modeling, simulation, extraction and calibration) * Automated run-time management of software systems * Automated approaches for performance problem detection and resolution * Performance-related challenges in industrial software systems * Application of Descartes, Kieker, or Palladio in projects Note that we explicitly welcome contributions that have already been (partially) presented at other events or in publications. SUBMISSION: ----------- We solicit technical papers (maximum 3 pages) and extended abstracts for industry or experience talks (maximum 700 words). Easy Chair: https://easychair.org/my/conference?conf=ssp24 Proceedings: Accepted Papers will appear in the GI Softwaretechnik-Trends. IMPORTANT DATES: ---------------- August 19, 2024 Abstract submission until 23.59 AoE (for all paper types) August 26, 2024 Paper submission until 23.59 AoE ORGANIZATION: ------------- Sören Henning, Johannes Kepler University Linz, soeren.henning at jku.at Mario Kahlhofer, Dynatrace Research, mario.kahlhofer at dynatrace.com Adriano Vogel, Johannes Kepler University Linz, adriano.vogel at jku.at More information is available on our website: https://www.performance-symposium.org We look forward to your submission and to seeing you in Linz. Kind regards, The SSP’24 organization team From luis.magdalena at upm.es Fri Jul 19 12:34:57 2024 From: luis.magdalena at upm.es (Luis Magdalena) Date: Fri, 19 Jul 2024 12:34:57 +0200 Subject: [fg-arc] [ECAI-2024] Call for Participation: 27th European Conference on Artificial Intelligence Message-ID: <73b8bbb6-412c-4c69-b22a-8b62c5bd4b9e@upm.es> Registration for ECAI-2024, the 27th European Conference on Artificial Intelligence, is now open. The early registration period will end on Monday, 19 August 2024. https://urldefense.com/v3/__https://www.ecai2024.eu/registration__;!!D9dNQwwGXtA!Ub5avn-MmPMQUZbSxfI7C8E0Myf9bwEkhc7PUhu0w5m3ZvOyMHJN96zosVZ565heQIi3K5Z9K_YaKdYJj8CHBpC99Q$ Please join us during 19-24 October 2024 in Santiago de Compostela to mark the 50th anniversary since the first AI conference was held in Europe back in 1974. We are looking forward to an exciting programme with some 600 accepted papers across all areas of AI, as well as lots of special events, including invited talks, panel sessions, satellite workshops, tutorials, and more. -- Luis Magdalena Publicity Chair of the European Conference on Artificial Intelligence (ECAI-2024) From taentzer at mathematik.uni-marburg.de Tue Jul 23 09:53:41 2024 From: taentzer at mathematik.uni-marburg.de (Gabriele Taentzer) Date: Tue, 23 Jul 2024 09:53:41 +0200 Subject: [fg-arc] =?utf-8?q?Zwei_WM-Stellen_an_der_Philipps-Universit?= =?utf-8?q?=C3=A4t_Marburg?= Message-ID: Wir suchen KandidatInnen für zwei Vollzeitstellen als Wissenschaftliche MitarbeiterIn mit einem Profil in den Bereichen Software-Engineering, modellgetriebene Entwicklung und Sprachtechnologie. Die Stellen werden für einen Zeitraum von drei Jahren an der Philipps-Universität Marburg angeboten. Das DFG-geförderte Projekt „ModBEAM-MT: Modular Engineering and Analysis of Java Bytecode Transformations and its Application to Mutation Testing“ hat einen Ansatz zur Entwicklung effektiver und effizienter komplexer Programmtransformationen als Ziel. Programmtransformationen können für eine Vielzahl von Aufgaben in der Softwareentwicklung eingesetzt werden. In diesem Projekt konzentrieren wir uns auf das Testen von Software durch Mutationstesten und die Generierung fehlender Tests. Bewerbungsfrist: 4. August 2024 Die offizielle Stellenausschreibung finden Sie unter dieser Adresse: https://stellenangebote.uni-marburg.de/jobposting/ea1fe4b02a1186360b56dc9a372cfefca781aec90 Für weitere Informationen wenden Sie sich bitte an:     •    Christoph Bockisch: bockisch at mathematik.uni-marburg.de     •    Gabriele Taentzer: taentzer at mathematik.uni-marburg.de -- ----------------------------------------- Prof. Dr. Gabriele Taentzer Philipps-Universität Marburg Fachbereich Mathematik und Informatik Hans-Meerwein-Strasse 6 D-35043 Marburg Phone: +49 6421 2821532 Email: taentzer at mathematik.uni-marburg.de ----------------------------------------- From Cassia.Trojahn at irit.fr Wed Jul 24 10:47:25 2024 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 24 Jul 2024 10:47:25 +0200 Subject: [fg-arc] Next ESAO webinars Message-ID: <76a-66a0bf80-11f-fd8ced0@131546747> Dear all, The Educational Series on Applied Ontology (ESAO) [1] is open for everyone and welcomes students, researchers and practitioners alike. Three sessions are scheduled to take place in the second semester of 2024 (details on [1]): **September 10th, 16:00 CEST** Olivier Kutz (Free University of Bozen-Bolzano, Italy) Title: TBA Maria Hedblom (Jönköping University, Sweden) Title: Cognitive foundations for KR **November 12th, 16:00 CET** Sandra Lovrencic (University of Zagreb Faculty of organization and informatics) Title: Concepts Jérôme Euzenat (INRIA & Univ. Grenoble Alpes, France) Title: Ontology evolution **December 17th, 16:00 CET** Sergio De Cesare (University of Westminster, UK) Title: Ontology-driven conceptual modelling Maria Keet (University of Cape Town, South Africa) Title: Competency questions We count on your participation! Best regards Cassia Trojahn On behalf of the ESAO organisers [1] https://wiki.iaoa.org/index.php/Edu:ESAO From huanyu.li at liu.se Mon Jul 29 05:56:38 2024 From: huanyu.li at liu.se (Huanyu Li) Date: Mon, 29 Jul 2024 03:56:38 +0000 Subject: [fg-arc] Last CfP (submission deadline on August 9th) - OM-2024: The 19th International Workshop on Ontology Matching collocated with ISWC2024 In-Reply-To: References: Message-ID: *****We apologize for possible cross-posting***** *************** Last Call for Papers *************** The 19th International Workshop on ONTOLOGY MATCHING (OM-2024) http://om.ontologymatching.org/2024/ November 11th or 12th, 2024, International Semantic Web Conference (ISWC) Workshop Program, Live! Casino & Hotel Maryland, Baltimore, USA. BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, knowledge graph and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2024 campaign: http://oaei.ontologymatching.org/2024/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios; Formal foundations and frameworks for matching; Novel matching methods, including link prediction, ontology-based access; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Expressive alignments; Reasoning with alignments; Alignment coherence and debugging; Alignment management; FAIR (Findable, Accessible, Interoperable and Reusable) alignments; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2024 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 6 pages. Posters/statements of interest should not exceed 3 pages. All contributions have to be prepared using the CEUR-ART, 1-column style. Overleaf page for LaTeX users is available at https://www.overleaf.com/read/gwhxnqcghhdt, while offline version with the style files is available from http://ceur-ws.org/Vol-XXX/CEURART.zip. Submissions should be uploaded in PDF format through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2024 Contributors to the OAEI 2024 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2024/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 9th, 2024: Deadline for the submission of papers. August 30th, 2024: Deadline for the notification of acceptance/rejection. September 9th, 2024: Workshop camera ready copy submission. November 11th or 12th, 2024: OM-2024, Live! Casino & Hotel Maryland, Baltimore, USA. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko Trentino Digitale, Italy 2. Jérôme Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jiménez-Ruiz City, University of London, UK & SIRIUS, University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5. Cássia Trojahn IRIT, France 6. Sven Hertling FIZ Karlsruhe, Germany 7. Huanyu Li Linköping University, Sweden PROGRAM COMMITTEE: Alsayed Algergawy, Jena University, Germany Manuel Atencia, Universidad de Málaga, Spain Jiaoyan Chen, University of Oxford, UK Jérôme David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Daniel Faria, INESC-ID&IST, University of Lisbon, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulić, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Naouel Karam, Fraunhofer, Germany Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linköpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Fiona McNeill, University of Edinburgh, UK Hoa Ngo, CSIRO, Australia George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Méndez, University of Chile, Chile Booma Sowkarthiga, Microsoft, USA Kavitha Srinivas, IBM, USA Giorgos Stoilos, University of Oxford, UK Valentina Tamma, University of Liverpool, UK Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondřej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China Lu Zhou, TigerGraph, USA ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.vandenbos at utwente.nl Mon Jul 29 10:26:27 2024 From: p.vandenbos at utwente.nl (Petra van den Bos) Date: Mon, 29 Jul 2024 10:26:27 +0200 Subject: [fg-arc] FSEN 2025 - 2nd Call for Papers Message-ID: <42be3837-1f54-4ab4-8397-841f85521ac6@utwente.nl> SECOND CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 Västerås, Sweden 7,8 April 2025 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025. -- Important Dates -- Abstract Submission: October 7, 2024 (AoE) Paper Submission: October 14, 2024 (AoE) Notification: December 2, 2024 Final Camera-ready Submission: January 13, 2025 (AoE) Conference: April 7-8, 2025 -- Keynote Speakers (confirmed) -- Işıl Dillig, University of Texas at Austin Alexander Serebrenik, Eindhoven University of Technology Marielle Stoelinga, University of Twente and Radboud University, Nijmegen -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2025 . Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines ) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS proceedings 2) Short paper for the LNCS proceedings 3) Poster (not included in the proceedings) Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'25 will be published by Springer in the LNCS series. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'25. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chair -- Marjan Sirjani, Malardalen University, Sweden -- Program Chairs -- Georgiana Caltais - University of Twente, Netherlands Hossein Hojjat - Tehran Institute for Advanced Studies, Iran -- Publicity Chair -- Petra van den Bos, University of Twente, The Netherlands -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Mieke Massink, CNR-ISTI Pisa, Italy Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Wed Jul 31 11:24:46 2024 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 31 Jul 2024 11:24:46 +0200 Subject: [fg-arc] Deadline Extension: PROFES 2024 - Call for Industry Papers (submit by Aug 8) Message-ID: Call for Papers https://conf.researchr.org/track/profes-2024/profes-2024-industrial-papers *PROFES 2024 - International Conference on Product-Focused Software Process Improvement* December 2-4, 2024 Tartu, Estonia *PROFES *is among the top recognized software development and process improvement conferences. The objective is to provide a premier forum for practitioners, researchers, and educators to present and discuss experiences, ideas, innovations, as well as concerns related to professional software process improvement motivated by product and service quality needs. The *industrial track of PROFES 2024* offers an opportunity for practitioners to present their results from applying novel product and process-oriented software engineering methods in an industrial context and to deepen the exchange with fellow practitioners as well as members of academia. We seek contributions from industrial and academic researchers on topics related to the PROFES 2024 conference about software engineering and systems in practice, sharing their experiences, challenges, successes, and evaluations in all stages of technology readiness levels. *Full Papers* We invite submissions of full papers related to all topics of interest of the conference and are particular interested in collaborations between industry and academia. Full paper submissions should provide a clear specification of the problem addressed, the application context, and the applied solution. They should present lessons learned and highlight the innovation and contribution valuable for others. For all contributions, the length must not exceed*16 pages*(including references). All submissions will undergo a rigorous peer review process. Papers will be evaluated according to the following criteria: * Relevance – relevance of the contents to industrial track audience and to the topics of interest of the conference. * Improvement on the state-of-the-practice – the amount of improvement that the work achieves above and beyond the state-of-the-practice. * Generality of results – the extent to which the work, approach, experiences presented or lessons learned are useful/applicable for/to the PROFES community. * Clarity – how clear the experiences/lessons learned are presented and how well they are supported with data and discussion. * Overall quality of the submitted manuscript. *Industrial Talks* Industrial Talk proposals offer the opportunity to present new findings, to highlight success stories or to present unsolved problems and put them up for discussion. Proposals for Industrial Talks must be submitted as a 2-page Extended Abstract (following the Springer LNCS style guidelines). Accepted submissions will be presented at the conference, but the submitted talk proposals will not be included in the proceedings. Submissions will be evaluated based on their relevance and appropriateness to the intended conference format. *Important Dates* * *Abstract submission (optional)*: July 15th * *Paper submission**(extended)*: August 8th * *Notification*: September 9th * *Camera ready submission*: September 21st *Submission* All industry papers (full papers and industrial talk proposals) shall be prepared using the Springer LNCS template. The submission Web page for all contributions in PROFES 2024 is:https://easychair.org/my/conference?conf=profes2024 *Conference Attendance Expectation* PROFES 2024 will be organized in presence. If a submission is accepted, at least one author must register to the conference and present the paper. We are looking forward to receiving Your contributions! Rudolf Ramler and Stefan Sauer (PROFES 2024 Industry Track Co-Chairs) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sauer.vcf Type: text/vcard Size: 464 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4813 bytes Desc: Kryptografische S/MIME-Signatur URL: From claudio.menghi at unibg.it Mon Jul 29 09:16:01 2024 From: claudio.menghi at unibg.it (Claudio MENGHI) Date: Mon, 29 Jul 2024 09:16:01 +0200 Subject: [fg-arc] ETAPS 2025 1st joint call for papers Message-ID: <7D999144-F3EF-4143-9364-412C4E616E94@unibg.it> *************************************************************************** JOINT CALL FOR PAPERS 28th ETAPS International Joint Conferences On Theory and Practice of Software ETAPS 2025 Hamilton, Canada, May 3-8, 2025 https://etaps.org/2025 *************************************************************************** -- ABOUT ETAPS -- ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2025 is the twenty-eighth event in the series. -- Why choose ETAPS? -- * ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. * The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. * All constituent conferences provide artifact evaluation. * In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software science, a PhD workshop, sessions on diversity and inclusion and an ask-me-anything session. * Poster and Tool demo sessions are organized over the week. -- What is new in 2025? -- * Two submission rounds for ESOP – see https://etaps.org/2025/esop/ * ETAPS is organized in North America for the first time! -- MAIN CONFERENCES (May 5–8, 2025) -- * ESOP: European Symposium on Programming (PC chair: Viktor Vafeiadis, MPI-SWS) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Artur Boronat, University of Leicester, Gordon Fraser, University of Passau) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Delia Kesner, Université Paris Cité, Parosh Abdulla, Uppsala University) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Arie Gurfinkel, University of Waterloo, Marijn Heule, Carnegie Mellon University) -- INVITED SPEAKERS -- * Amal Ahmed, Northeastern University * Matt Dwyer, University of Virginia * José Meseguer, University of Illinois, Urbana-Champaign * Ina Schaefer, Karslruhe Institute of Technology * In addition, two more invited tutorial speakers will be announced later. -- IMPORTANT DATES -- * Submission deadline for ESOP, round 1: May 30, 2024, 23:59 AoE * Rebuttal for ESOP, round 1: July 23–25, 2024 * Notification for ESOP, round 1: August 8, 2024 * Submission deadline for ESOP round 2: October 10, 2024, 23:59 AoE * Submission deadline for TACAS, FoSSaCS, FASE: October 10, 2024, 23:59 AoE * TACAS mandatory artifact submission deadline: October 24, 2024 * Rebuttal (ESOP, FoSSaCS, partially TACAS): December 3–5, 2024 * Paper notification and TACAS mandatory artifact notification: December 20, 2024 * ESOP, FASE, FoSSaCS artifact, TACAS voluntary artifact submission deadline: January 9, 2025 * Artifact notification ESOP, FASE, FoSSaCS, TACAS (voluntary artifacts): February 13, 2025 * Main Conference: May 5–8, 2025 -- PUBLICATION -- The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- AWARDS -- The strongest papers from the four conferences will be marked as distinguished papers and highlighted in the conference program. From these distinguished papers, the EAPLS, EASST, and EATCS, and the Best Tool Paper Award committees will select the best ETAPS papers. The ETAPS Test-of-Time Award will be granted, recognizing outstanding papers published at ETAPS more than ten years in the past. The ETAPS Rance Cleaveland Test-of-Time Tool Award acknowledges the importance of reliable and well-maintained research tools and the significant effort that their creation and maintenance entails. The Doctoral Dissertation Award will be granted to promote and recognize an outstanding dissertation in the research areas covered by the four main ETAPS conferences. All distinguished papers will be highlighted in the program. -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2025 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp, experience reports of max 15 pp, and fresh perspectives providing new insights on programming languages and systems of max 15 pp. For the sake of flexibility, submitted research papers may be formatted in other formats. There is no page limit at the submission time. Please refer to https://etaps.org/2025/esop for more details. * FASE: regular research papers and empirical evaluation papers of max 18 pp; new ideas and emerging results (NIER) papers of max 8 pp; tool demonstration papers and data showcase papers of max 8 pp (+ optional appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers, and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the web pages of the individual conferences. All accepted papers will appear in Springer proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2025 as an on-site conference. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. ESOP, FASE, and TACAS will use double-blind reviewing (in the case of TACAS, only for regular research papers). Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgments that might identify them. ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use rebuttal for selected submissions (those in the gray zone). Artifact submission and evaluation Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact submitted shortly after the paper. The artifact will be evaluated, and the outcome will be considered in the paper's acceptance decision. For research paper and case study paper submissions, pre-paper-acceptance submission of an artifact is optional; if an artifact is submitted at this point, it will be handled as described above. Alternatively, authors of papers of these categories may submit an artifact for evaluation after the paper has been accepted. The outcome of the artifact evaluation will then not change the paper acceptance decision. ESOP, FASE, and FoSSaCS will accept artifact submissions; however, participation in it is voluntary; the artifact submission deadline is after the paper notification deadline. The outcome will not alter the paper acceptance decision. For ESOP, artifacts may be submitted with an accompanying short 5-page experience report (including a 1-page bibliography) that will appear in the conference proceedings. For specific instructions regarding artifacts, see the web pages of the individual conferences. -- SATELLITE EVENTS (May 3–4, 2025) -- Several satellite workshops and other events will take place during the weekend before the main conferences. -- CITY AND HOST INSTITUTION -- ETAPS 2025 will take place in Hamilton, Canada and is organized by McMaster University. The Faculty of Engineering at McMaster University has a reputation for innovative programs, cutting-edge research, leading faculty, and aspiring students. It has earned a strong reputation as a center for academic excellence and innovation. The Faculty has approximately 180 faculty members, along with close to 4,500 undergraduate and 1,000 graduate students. The Faculty of Engineering promotes a nurturing and inclusive environment where opportunities are made available for personal growth and professional development. McMaster University beautiful campus is at the north-west end of Hamilton on the western end of Lake Ontario, between the Niagara Escarpment, conservation lands, and the Royal Botanical Gardens. Hamilton, with a population of over 500,000, is a vibrant community with easy access to Toronto and the Niagara region. It is located at the northern tip of an ecological zone commonly called the Carolinian Forest that encompasses the southernmost portion of Ontario but occurs nowhere else in Canada. As a result, Hamilton is home to many unique species of plants and animals that only occur here because the summer climate approaches that of North and South Carolina in the United States. For further information, please refer to https://tourismhamilton.com/ -- ORGANISERS -- Claudio Menghi – University of Bergamo, Italy, and McMaster University, Canada Mark Lawford – McMaster University, Canada From ulbrich at kit.edu Sat Jul 27 08:48:14 2024 From: ulbrich at kit.edu (Mattias Ulbrich) Date: Sat, 27 Jul 2024 08:48:14 +0200 Subject: [fg-arc] PhD Symposium iFM 2024 - Call for Papers Message-ID: <39fcde31-da85-41c8-ab3b-6b8c0beea673@kit.edu> Apologies if you receive multiple copies of this CFP. Please, pass it on to interested colleagues. --------------------------------------------------------------------------------------------------------------------------- PhD Symposium iFM 2024 - Call for Papers 19th International Conference on integrated Formal Methods 12 November 2024, Manchester, United Kingdom https://ifm2024.cs.manchester.ac.uk/phd-symposium.html --------------------------------------------------------------------------------------------------------------------------- IMPORTANT DATES Paper submission: 23 Aug 2024 (AoE) Author notification: 22 Sep 2024 (AoE) Camera-ready: 7 Oct 2024 (AoE) Registration: same as for iFM 2024 (t.b.a.) Symposium date: 12 Nov 2024 OBJECTIVE AND SCOPE The iFM PhD symposium provides PhD students an opportunity to present and discuss their research in the fields of theory, implementation, integration or application of formal methods. WHO CAN SUBMIT? PhD students and young researchers at an early career stage (up to 2 years after PhD completion). WHY TO SUBMIT AND PARTICIPATE? Participants will have the possibility to present their research projects. Moreover: The doctoral symposium offers an excellent opportunity to introduce your work to fellow researchers in an international setting, and to get feedback from senior researchers in the field. The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic -- both regarding research and regarding working towards an PhD. WHAT TO SUBMIT? There are several options for your submission: 1 _Thesis Proposal Abstracts_ summarize your research questions and outline your planned approach without needing to report experimental results. They are ideal for early-stage PhD students to get feedback on their research project during the initial planing and orientation phase. Abstracts have 2-3 pages, co-authors are allowed, and results may have been published previously if appropriately referenced. Indicate if also submitted to iFM2024. 2 _Result Reports_ are short papers summarizing preliminary results of early-stage research. Result Reports are short papers summarizing preliminary results of early-stage research. They should objectively report the addressed question, applied methods, and obtained results. Papers on unexpected results or ineffective methods are particularly welcome. Result Reports have 3-6 pages, co-authors are allowed, the work must be previously unpublished. 3 _Master summaries_ are short papers summarizing the research question, method, and results of your impactful Master's thesis together with a discussion about possible next research steps. They are ideal for new and future PhD students to communicate their thesis results. Master reports have 2-3 pages, an experienced supervisor should be a co-author, and results may have been published previously if appropriately referenced. Indicate if also submitted to iFM2024. All submissions will be reviewed and accepted papers will be made publicly available in open-access online symposium proceedings. SUBMISSION GUIDELINES Multiple submissions by one author are not permitted. Submissions must be written in English and follow the CEUR-WS single-column formatting guidelines, available at: http://ceur-ws.org/Vol-XXX/CEURART.zip or on overleaf https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw Please submit your contribution electronically in PDF via the EasyChair page: https://easychair.org/conferences/?conf=ifm2024phd All submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Authors will get valuable feedback from more experienced reviewers. All types of contributions will benefit from feedback received during a dicussion at the workshop. Reviewing will be single blind, i.e, submissions need not be anonymized. PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen, Germany Ștefan Ciobâcă, UAIC Iași, Romania Mădălina Eraşcu, West University of Timisoara, Romania (co‑chair) Grigory Fedyukovich, Floria State University, USA Asmae Heydari Tabar, TU Darmstadt, Germany Eduard Kamburjan, University of Oslo, Norway Ondrej Lengal, Brno University of Technology, Czech Republic Philipp Rümmer, University of Regensburg, Germany Mattias Ulbrich, Karlsruhe Institute of Technology, Germany (co‑chair) FURTHER INFORMATION available on the web page: https://ifm2024.cs.manchester.ac.uk/phd-symposium.html -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5779 bytes Desc: S/MIME Cryptographic Signature URL: