From announce at ucy.ac.cy Wed May 1 13:33:35 2024 From: announce at ucy.ac.cy (Announce) Date: Wed, 1 May 2024 11:33:35 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering: Final Call to Register at Early Bird Rate! Message-ID: *** Final Call to Register at Early Bird Rate! *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Early Bird Registration (extended): May 15, 2024 ***) ( *** Registration site: https://cyprusconferences.org/caise2024/registration/ ***) CAiSE is the premier conference series for information systems engineering. It offers a meeting space for presentation of recent research results, discussion about trends and futures of information systems engineering, and interaction between researchers and practitioners. Registration is now open, Early-bird registration is possible until May 15, 2024 (extended!). See all CAiSE’24 speakers, the conference venue and the social events. Highlights of the conference: RESEARCH PAPER PRESENTARIONS • 36 high quality research paper presentations • CAiSE Forum: presentations and discussions of 10 innovative vision papers and 8 tool demos • Journal-first paper presentations – of selected papers on IS Engineering topics that were published in journals this year • Research projects exhibition KEYNOTES AND PANELS • Keynote by Prof. J. Mark Bishop: The colour of cognition: from abstract computation to the lived mind • Keynote by Prof. David Harel: Two Projects on Human Interaction with AI • Keynote by Prof. Sören Auer: Towards Neuro-Symbolic AI with Knowledge Graphs and Generative AI • Panel on the use of generative AI for IS engineering research and academic writing TUTORIALS • Orlenys López Pintado and David Chapela-Campa: Data-driven Business Process Simulation: From Event Logs to Tools and Techniques • Diego Calvanese and Davide Lanti: Designing Virtual Knowledge Graphs • Henrik Leopold: How to Conduct Valid Information Systems Engineering Research? • Luiz Olavo Bonino: FAIR Data Train: A FAIR-compliant distributed data and services platform • Massimo Mecella: Engineering Information Systems with LLMs and AI-based techniques WORKING CONFERENCES AND WORKSHOPS • Working conference on Business Process Modeling, Development and Support (BPMDS) • Working conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD) • 6 workshops: on Agile Methods for Information Systems Engineering, Blockchain for Information Systems and Blockchain for Trusted Data Sharing, Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems, Knowledge Graphs for Semantics-driven Systems Engineering, Enterprise & Organizational Modeling and Simulation, Digital Transformation with Business Process Mining SOCIAL EVENTS • Workshop and co-located events dinner with typical Cypriot food and atmosphere • Welcome reception and cocktail • A tour and a conference dinner in Aphrodite Hill’s Village • A beach party with drinks and dancing -------------- next part -------------- An HTML attachment was scrubbed... URL: From ssharm21 at students.kennesaw.edu Fri May 3 05:27:21 2024 From: ssharm21 at students.kennesaw.edu (Sachin Sharma) Date: Fri, 3 May 2024 03:27:21 +0000 Subject: [fg-arc] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 28 - Oct. 30 2024 - Herndon, VA, USA 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 1, 2024 Acceptance notification: August 18, 2024 Camera-ready: September 16, 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, Program Chair Dr. Jessica Lin (George Mason University) at jessica at gmu.edu and Financial and 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_vers2.pdf Type: application/pdf Size: 222145 bytes Desc: CFP-ICTAI-2024_vers2.pdf URL: From giuseppe.mazzotta at unical.it Fri May 3 09:55:43 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Fri, 3 May 2024 09:55:43 +0200 Subject: [fg-arc] {SPAM?} [Approaching Deadline] EKAPI 2024 - Call for Papers Message-ID: <24145782-4C14-4092-ABC7-BDEC29F06B96@unical.it> *** Please accept our apologies if you receive multiple copies of this CFP *** ====================================================== Call for Papers 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) Roccella Jonica (RC), Italy June 20-22 https://sites.google.com/unical.it/ekapi-2024/home ====================================================== ====================================================== Important Dates ====================================================== Paper Submission Deadline: May 11, 2024 Notification of Acceptance: May 30, 2024 Workshop Date: June 20-22, 2024 ====================================================== Scope ====================================================== The integration of process mining and AI techniques is crucial for transforming event data into valuable insights for improving process execution. However, current approaches face challenges such as lack of documentation, traceability issues, and the use of opaque black-box components. The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at motivating researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence. ====================================================== Target Audience ====================================================== Researchers, academics, and industry professionals with an interest in process mining, artificial intelligence, knowledge representation, and business process management. ====================================================== Overview ====================================================== The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at contributing to the advancement of explainable, knowledge-aware process intelligence and expanding the vibrant community dedicated to addressing challenges in the process mining landscape. Due to the ongoing digitalization undergone by organizations in recent years, there has been a notable surge in interest in Process Intelligence research. Specifically, the automated extraction of knowledge from the ever-growing volume of event data holds the potential to yield valuable insights for enhancing process execution. Process mining, coupled with AI techniques, plays a pivotal role in this domain, leading the charge in transforming event data into valuable knowledge for companies. Despite the effectiveness of existing techniques, two primary issues persist: the lack of documentation and traceability stemming from ad-hoc procedures, and the use of opaque black-box components. Moreover, there is the need to explore the integration of domain knowledge to steer the knowledge extraction process towards more meaningful outcomes. Thus, in this research area many intriguing problems, that could result in comprehensive sets of techniques for achieving explainable, knowledge-aware process intelligence, are left open. The goal of the workshop is to motivate researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence. ====================================================== Topics of Interests ====================================================== Potential submission topics encompass a range of areas, including but not limited to: Multi-perspective process models incorporating data, time, and resources. Declarative processes. Explainable and trustworthy AI for both process management and process mining. Conversational systems, natural language processing, and human-machine interaction in the context of process management. Knowledge representation for process management, covering reasoning about actions and processes, planning, and synthesis. Answer Set Programming for Process mining. AI techniques for various aspects of process handling, such as discovery, conformance checking, prescriptive and predictive monitoring. AI techniques for clustering and classification of process execution traces. Generative AI applied to Process Mining. Machine learning for event recognition in semi-structured and unstructured data. Mining techniques, including association rule mining, specification mining, and decision mining from process execution traces. Declarative-based multi-perspective representation of process traces. Introduction of novel metrics for measuring process conformance. Addressing uncertainty in AI for process management. Exploration of multiagent systems, strategic reasoning, game theory, and mechanism design for multi-party processes. Consideration of multi-objective optimization, decision-making processes, and continuous improvement. Examining the concept of value alignment in the context of process management. Knowledge Aware Conceptual Blending Generative Knowledge Combination ====================================================== Publication ====================================================== Papers, whether regular or discussion, that are accepted will be incorporated into the conference proceedings and published on CEUR Workshop Proceedings. All accepted contributions will be presented and discussed during the workshop. ====================================================== Submission Guidelines ====================================================== Papers submitted must be in English and adhere to the CEURART one-column style guidelines (http://ceur-ws.org/Vol-XXX/CEURART.zip) Original papers, not concurrently submitted elsewhere, should not exceed 13 pages, with additional pages allowed exclusively for bibliographic references. Discussion papers should not surpass 5 pages and must report results already published or accepted at international conferences. Additional pages are permitted for bibliographic references only. Submission of papers is electronic through Easychair at: https://easychair.org/conferences/?conf=ekapi2024 ====================================================== Venue ====================================================== EKAPI will be held in Roccella Ionica (RC), Italy. Roccella features an unspoiled stretch of the Ionian Sea, recognized with numerous blue flags for its pristine waters. Tracing its roots back to Greek colonization, the town, once named Aracella, unveils its history through picturesque alleys and coastal districts like Zirgone and Sant’Antonio. Offering year-round appeal, Roccella Ionica truly comes to life in summer with its enchanting beach, sophisticated marina, and the esteemed Roccella Jazz Festival - Mediterranean Rumors, boasting thirty-nine editions and international acclaim. The conference location is the Club Hotel Kennedy in Roccella Ionica (https://www.clubhotelkennedy.com), Reggio Calabria, situated on the marvelous Jasmine Coast. ====================================================== Organization ====================================================== General Chairs: Rafael Peñaloza, University of Milano-Bicocca, Milano, Italy Francesco Ricca, University of Calabria, Rende, Italy Program Chairs Ignacio Huitzil, University of Zaragoza, Spain Giuseppe Mazzotta, University of Calabria, Rende, Italy ====================================================== Program Committee ====================================================== Rafael Peñaloza, Associate Professor at University of Milano-Bicocca, Italy Francesco Chiariello, Post-Doc at University Federico Secondo, Naples, Italy Francesco Ricca, Full Professor at University of Calabria, Rende, Italy Marco Mochi, PhD Student at Università degli Studi di Genova Valeria Fionda, Associate Professor at University of Calabria, Rende, Italy Carl Corea, University of Koblenz, Germany Wolfgang Faber, Full Professor at Alpen-Adria University of Klagefurt Rik Eshuis, Eindhoven University of Technology, Netherlands Antonio Ielo, PhD student at University of Calabria, Rende, Italy Alice Tarzariol, Post-Doc Researcher at Alpen-Adria University of Klagefurt Luigi Pontieri, Senior Researcher at research institute ICAR-CNR , Rende, Italy Giancarlo Milanese, Post-Doc Researcher at University of Milano-Bicocca, Italy Chiara Di Francescomarino, Assistant Professor at University of Trento, Italy ====================================================== Sponsors ====================================================== Department of Mathematics and Computer Science (DEMACS) - University of Calabria, Italy PRIN project PINPOINT funded by the Italian Ministry of Research (MUR) - CUP H23C22000280006 -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria From andreas.wortmann at isw.uni-stuttgart.de Mon May 6 10:18:07 2024 From: andreas.wortmann at isw.uni-stuttgart.de (Wortmann, Andreas) Date: Mon, 6 May 2024 08:18:07 +0000 Subject: [fg-arc] Neue Konferenz: Engineering Digital Twins (co-located at MODELS) Message-ID: Liebe Kolleginnen und Kollegen, es gibt eine neue Konferenz zu digitalen Zwillingen, welche sich auch mit Fragen hinsichtlich deren Software Architektur befasst. Wir freuen uns über Einreichungen zum 19.6. 1st International Conference on Engineering Digital Twins (EDTconf 2024) Co-located with MODELS 2024 September 23–24, 2024, Linz, Austria www.edtconf.org Topics of interest include, but are not restricted to: - Modeling concepts and languages, methods, and tools for developing DTs - DevOps for DTs/DTs for DevOps - Quality assurance for and evaluation of DTs - DT modeling, simulation, and co-simulation of CPS - Deployment and operation of DTs - Model consistency, management, and evolution of engineering models - Uncertainty and fidelity in DTs - DT reliability, trust, and security - Architectural patterns for DTs - Virtual commissioning based on DTs - DTs for continual learning and continuous improvement - Combining models and data in DTs - DTs for dynamic (re)configuration and optimization - Evolution and compositionality of DTs - Teaching and education of DT skills - Case studies, experience reports, comparisons in various application domains Important Dates - Abstract submission deadline: June 19, 2024 - Paper submission deadline: June 24, 2024 - Notification of acceptance: July 29, 2024 - Camera-ready submission: August 19, 2024 Mit freundlichen Grüßen Andreas Wortmann -- Prof. Dr. rer. nat. habil. Andreas Wortmann Institute for Control Engineering of Machine Tools and Manufacturing Units (ISW) University of Stuttgart Seidenstr. 36 / Room 5.017 70174 Stuttgart GERMANY Tel: +49 711 685-84624 E-Mail: wortmann at isw.uni-stuttgart.de Web: http://www.isw.uni-stuttgart.de From announce at ucy.ac.cy Mon May 6 11:04:51 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 6 May 2024 09:04:51 +0000 Subject: [fg-arc] ACM GoodIT'24: Special Track on Educating for a Sustainable Digital Future -- Last Call for Papers Message-ID: *** Last Call for Papers *** ACM 4th International Conference on Information Technology for Social Good (GoodIT''24) Special Track on Educating for a Sustainable Digital Future https://blogs.uni-bremen.de/goodit2024/ ( *** Submission Deadline: 17 May 2024 ***) SCOPE Exploring the development of our digital future requires a comprehensive examination of both individual and societal consequences. Placing excessive emphasis on individual gains, a common practice in individualistic societies for many years, has hindered the ability to grasp the complex dynamics and forward-thinking mindset essential for the sustainability of a contemporary society. The evolving landscape of technology and the ongoing digital advancements have paved the way for creative applications in the field of education, allowing us to adapt to the ever-changing circumstances. When shaping a new approach for Information Systems and Information Technology education, it is crucial to emphasize the significance of individuals as key stakeholders and integral members of the wider community, while also recognizing the pivotal role of collaboration. In this track, we are searching for papers employing innovative technology and approaches to educate the future generation towards world equality, collegiality, inclusion and a more cooperative learning for a sustainable digital future. Values which are emphasized in the Sustainable Development Goals (SDGs) which overall aim towards creating a more equitable, sustainable, and peaceful world. This track is particularly relevant to IS/IT educators and those creative IT practitioners who care about developing a sustainable digital future. TOPICS Potential topics for papers include (but are not limited to): • Sustainable and innovative education technologies and practices • Universal access to quality education • The new role for IS/IT in society and education and the value of information and knowledge • The role of cooperative learning for life-long learning and societal developments • Digital transformation: opportunities and challenges for education, work, and society • Digital learning environments: Innovations and trends • Equality, diversity, and inclusion in education, work, and society • The use of large language models and generative AI in education • New topics and domains in IT-enhanced education We hope to attract the interest of IS/IT educators and those creative IT practitioners who care about developing a sustainable digital future. SUBMISSION GUIDELINES Please refer to the instructions on the conference web site: https://blogs.uni-bremen.de/goodit2024/submission-of-papers/ . All accepted papers will be included in the ACM Digital Library . IMPORTANT DATES • Submission deadline: 17 May 2024 (AoE) • Notification of acceptance: 8 July 2024 • Camera ready: 19 July 2024 TRACK CHAIRS • George A. Papadopoulos, University of Cyprus, Cyprus • Vasso Stylianou, University of Nicosia, Cyprus CONTACT DETAILS Vasso Stylianou, stylianou.v at unic.ac.cy -------------- next part -------------- An HTML attachment was scrubbed... URL: From emil at mcmaster.ca Tue May 7 14:29:21 2024 From: emil at mcmaster.ca (Sekerinski, Emil) Date: Tue, 7 May 2024 12:29:21 +0000 Subject: [fg-arc] Final CFP with New Deadlines: Formal Methods Teaching Workshop Message-ID: FMTea 2024: Formal Methods Teaching Workshop Politecnico di Milano Milan, Italy, September 10, 2024 NEW DEADLINES Conference website https://fmtea.github.io/ Invited Speaker Leslie Lamport, Microsoft Research, USA – Turing Award Winner Formal methods originated as a means for the rigorous construction of software systems. While formal methods are increasingly being used in industry in recent years, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. In particular, after the pandemic, student engagement has not returned to the status quo ante. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations. We envision this event as a one-day combination of keynote and workshop presentations, where various models of teaching are presented and explored, together with innovative approaches relevant to educators of Formal Methods in the 21st century. Organization FMTea'24 is organized by FME’s Teaching Committee. Our broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, we have already gathered a list of FM courses taught worldwide (https://fme-teaching.github.io) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. Furthermore, the FME Teaching Committee coordinates a tutorial series held online. Tutorials are collected on the FME Teaching Committee website (https://fme-teaching.github.io/). Topics FMTea'24 invites high-quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. We aim to attract papers detailing authors’ experiences with FM Teaching. We welcome papers discussing the successes and failures of various methods, case studies, tools, etc. As self-learning is an emerging aspect of formal methods, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs. A non-exhaustive list of topics of interest for the FMTea'24 workshop is below: - Experiences and proposals related to "traditional" and online FM learning and teaching - Integrating and embedding formal methods within other computer science courses - Teaching formal methods for industry - Innovative learning and teaching methods, like automated grading and automated feedback using Large Language Models - Student projects, including group projects Software development is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process. Submission Details Each submitted paper will be reviewed by at least three PC members. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). We suggest using the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Papers should not exceed 15 pages (including references) in length. Submissions should be made using the FMTea'24 Easychair website: https://easychair.org/conferences/?conf=fmtea2024 All accepted papers must be presented at the workshop. At least one author of each accepted paper must register for the conference by an early date, to be indicated by the FM 2024 organizers, and present the paper. Important Dates – Updated 24 May 2024: Deadline for submission of abstract 30 May 2024: Deadline for submission of papers 28 June 2024: Notifications to authors 12 June 2024: Deadline for camera-ready version 10 September 2024: FMTea'24 Workshop Program Committee Chairs Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil Emil Sekerinski, McMaster University, Canada Program Committee Erika Ábrahám, RWTH Aachen University, Germany Sandrine Blazy, University of Rennes 1, France Catherine Dubois, ENSIIE, France Brijesh Dongol, University of Surrey, UK João F. Ferreira, INESC-ID & IST, University of Lisbon, Portugal Stefan Hallerstede, Aarhus University, Denmark Thierry Lecomte, CLEARSY, France Michael Leuschel, University of Düsseldorf, Germany Alexandra Mendes, INESC TEC & Faculty of Engineering, University of Porto, Portugal Tim Nelson, Brown University, US Markus Kuppe, Microsoft, US David Pearce, ConsenSys & Victoria University of Wellington, New Zealand Luigia Petre, Åbo Akademi University, Finland Pierluigi San Pietro, Politecnico di Milano, Italy Graeme Smith, The University of Queensland, Australia Previous Editions The previous editions are listed on the workshop homepage (https://fmtea.github.io/). Publication The proceedings will be published in the Formal Methods Teaching series of Springer’s Lecture Notes in Computer Science (https://link.springer.com/conference/tfm). Venue FMTea'24 is affiliated with FM 2024 (https://www.fm24.polimi.it/), the 26th International Symposium on Formal Methods, held at Politecnico di Milano, September 9 – 13, 2024. Contact Questions about submissions should be directed to the program committee chairs, Leila Ribeiro and Emil Sekerinski . From giuseppe.mazzotta at unical.it Thu May 9 08:34:01 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Thu, 9 May 2024 08:34:01 +0200 Subject: [fg-arc] {SPAM?} [Deadline Extension] EKAPI 2024 - Call For Papers Message-ID: <9B4B86CC-5B6F-4B0B-9DEE-0F802C51DAA0@unical.it> *** Please accept our apologies if you receive multiple copies of this CFP *** The paper submission deadline for the 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) has been extended to May 17th. Below is the final Call For Papers. ====================================================== Call for Papers 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) Roccella Jonica (RC), Italy June 20-22 https://sites.google.com/unical.it/ekapi-2024/home ====================================================== ====================================================== Important Dates ====================================================== Paper Submission Deadline: May 17, 2024 (Extended) Notification of Acceptance: June 2, 2024 Workshop Date: June 20-22, 2024 ====================================================== Scope ====================================================== The integration of process mining and AI techniques is crucial for transforming event data into valuable insights for improving process execution. However, current approaches face challenges such as lack of documentation, traceability issues, and the use of opaque black-box components. The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at motivating researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence. ====================================================== Target Audience ====================================================== Researchers, academics, and industry professionals with an interest in process mining, artificial intelligence, knowledge representation, and business process management. ====================================================== Overview ====================================================== The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at contributing to the advancement of explainable, knowledge-aware process intelligence and expanding the vibrant community dedicated to addressing challenges in the process mining landscape. Due to the ongoing digitalization undergone by organizations in recent years, there has been a notable surge in interest in Process Intelligence research. Specifically, the automated extraction of knowledge from the ever-growing volume of event data holds the potential to yield valuable insights for enhancing process execution. Process mining, coupled with AI techniques, plays a pivotal role in this domain, leading the charge in transforming event data into valuable knowledge for companies. Despite the effectiveness of existing techniques, two primary issues persist: the lack of documentation and traceability stemming from ad-hoc procedures, and the use of opaque black-box components. Moreover, there is the need to explore the integration of domain knowledge to steer the knowledge extraction process towards more meaningful outcomes. Thus, in this research area many intriguing problems, that could result in comprehensive sets of techniques for achieving explainable, knowledge-aware process intelligence, are left open. The goal of the workshop is to motivate researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence. ====================================================== Topics of Interests ====================================================== Potential submission topics encompass a range of areas, including but not limited to: Multi-perspective process models incorporating data, time, and resources. Declarative processes. Explainable and trustworthy AI for both process management and process mining. Conversational systems, natural language processing, and human-machine interaction in the context of process management. Knowledge representation for process management, covering reasoning about actions and processes, planning, and synthesis. Answer Set Programming for Process mining. AI techniques for various aspects of process handling, such as discovery, conformance checking, prescriptive and predictive monitoring. AI techniques for clustering and classification of process execution traces. Generative AI applied to Process Mining. Machine learning for event recognition in semi-structured and unstructured data. Mining techniques, including association rule mining, specification mining, and decision mining from process execution traces. Declarative-based multi-perspective representation of process traces. Introduction of novel metrics for measuring process conformance. Addressing uncertainty in AI for process management. Exploration of multiagent systems, strategic reasoning, game theory, and mechanism design for multi-party processes. Consideration of multi-objective optimization, decision-making processes, and continuous improvement. Examining the concept of value alignment in the context of process management. Knowledge Aware Conceptual Blending Generative Knowledge Combination ====================================================== Publication ====================================================== Papers, whether regular or discussion, that are accepted will be incorporated into the conference proceedings and published on CEUR Workshop Proceedings. All accepted contributions will be presented and discussed during the workshop. ====================================================== Submission Guidelines ====================================================== Papers submitted must be in English and adhere to the CEURART one-column style guidelines (http://ceur-ws.org/Vol-XXX/CEURART.zip) Original papers, not concurrently submitted elsewhere, should not exceed 13 pages, with additional pages allowed exclusively for bibliographic references. Discussion papers should not surpass 5 pages and must report results already published or accepted at international conferences. Additional pages are permitted for bibliographic references only. Submission of papers is electronic through Easychair at: https://easychair.org/conferences/?conf=ekapi2024 ====================================================== Venue ====================================================== EKAPI will be held in Roccella Ionica (RC), Italy. Roccella features an unspoiled stretch of the Ionian Sea, recognized with numerous blue flags for its pristine waters. Tracing its roots back to Greek colonization, the town, once named Aracella, unveils its history through picturesque alleys and coastal districts like Zirgone and Sant’Antonio. Offering year-round appeal, Roccella Ionica truly comes to life in summer with its enchanting beach, sophisticated marina, and the esteemed Roccella Jazz Festival - Mediterranean Rumors, boasting thirty-nine editions and international acclaim. The conference location is the Club Hotel Kennedy in Roccella Ionica (https://www.clubhotelkennedy.com), Reggio Calabria, situated on the marvelous Jasmine Coast. ====================================================== Organization ====================================================== General Chairs: Rafael Peñaloza, University of Milano-Bicocca, Milano, Italy Francesco Ricca, University of Calabria, Rende, Italy Program Chairs Ignacio Huitzil, University of Zaragoza, Spain Giuseppe Mazzotta, University of Calabria, Rende, Italy ====================================================== Program Committee ====================================================== Rafael Peñaloza, Associate Professor at University of Milano-Bicocca, Italy Francesco Chiariello, Post-Doc at University Federico Secondo, Naples, Italy Francesco Ricca, Full Professor at University of Calabria, Rende, Italy Marco Mochi, PhD Student at Università degli Studi di Genova Valeria Fionda, Associate Professor at University of Calabria, Rende, Italy Carl Corea, University of Koblenz, Germany Wolfgang Faber, Full Professor at Alpen-Adria University of Klagefurt Rik Eshuis, Eindhoven University of Technology, Netherlands Antonio Ielo, PhD student at University of Calabria, Rende, Italy Alice Tarzariol, Post-Doc Researcher at Alpen-Adria University of Klagefurt Luigi Pontieri, Senior Researcher at research institute ICAR-CNR , Rende, Italy Giancarlo Milanese, Post-Doc Researcher at University of Milano-Bicocca, Italy Chiara Di Francescomarino, Assistant Professor at University of Trento, Italy ====================================================== Sponsors ====================================================== Department of Mathematics and Computer Science (DEMACS) - University of Calabria, Italy PRIN project PINPOINT funded by the Italian Ministry of Research (MUR) - CUP H23C22000280006 -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria From helma.torkamaan.mailists at gmail.com Mon May 6 11:35:23 2024 From: helma.torkamaan.mailists at gmail.com (Helma Torkamaan) Date: Mon, 6 May 2024 11:35:23 +0200 Subject: [fg-arc] Call for Papers: The 6th Workshop on Health Recommender Systems co-located with ACM RecSys 2024 Message-ID: **Please forward to anyone who might be interested. Apologies for multiple postings.** -------------------------------------------------------------------- ## CALL FOR PAPERS # International Workshop on Health Recommender Systems * **Deadline: August 30th, 2024** * to be held in Bari, Italy, co-located with ACM RecSys 2024 ( https://recsys.acm.org/) * Website: https://healthrecsys.github.io/ -------------------------------------------------------------------- Important Dates: ================ - **Paper Submission Deadline:** August 30, 2024 - **Author Notification:** September 13, 2024 - **Camera-Ready Version Deadline:** September 20, 2024 - **Workshop Date:** October TBD, 2024 - **RecSys Conference:** October 14-18, 2024 Workshop Organizers: ==================== - Hanna Hauptmann, University of Utrecht, Netherlands - Christoph Trattner, University of Bergen, Norway - Helma Torkamaan, Delft University of Technology, Netherlands Objectives & Topics: ==================== **Background:** The HealthRecSys workshop discussions over the years have spanned a broad spectrum of topics, reflecting the multifaceted nature of health recommender systems and the diverse applications and challenges of recommender systems in the health domain. This includes discussions on new applications, challenges, and practical solutions for existing systems or scenarios. **Goals:** Our aim with the 6th HealthRecSys is to reignite these conversations and provide a forward-thinking platform that revisits the foundational elements that have contributed to the field's growth. However, the workshop aspires to do more by infusing new perspectives and tackling the most pressing global challenges and technological innovations head-on. The workshop will explore contemporary themes such as the impact of global health crises on recommender systems, the integration of Large Language Models and other generative AI models in health applications, the increasing emphasis on personalized and self-managed care, and the increasing focus on health equity leading to consideration of literacy, accessibility, and monetary means when building health recommender systems. These topics not only reflect the current state of the world but also align with the broader shifts towards ethical AI, and the need for systems that can adapt to and address individual health and care needs. Furthermore, HealthRecSys is dedicated to strengthening the network of researchers working on health recommender systems, drawing participants from an array of health and care domains. This effort is aimed at cultivating a cross-disciplinary community that promotes collaboration among recommender systems specialists, healthcare professionals, ethicists, and policymakers, among others. To enhance cross-sector collaboration, the 6th HealthRecSys workshop will encourage joint projects and funding prospects, in addition to promoting the sharing of resources, datasets, and tools among scholars and industry practitioners. **Topics:** The workshop is calling for submissions on a wide array of topics within health recommender systems. This includes systems aimed at health promotion, preventive, curative care, and recommender systems that are health-aware. The scope of topics for the workshop is extensive, covering various aspects within the domain of health recommender systems and health-aware recommender systems, which include, but are not limited to: - Accessibility, Usability, and Augmented Decision-Making - Adherence and Patient (User) Compliance - Algorithms and Recommendation Strategies - Behavioral Interventions - Case studies of Health Recommender Systems, Success and Failures, and Lessons learned - Domain Knowledge Representation - Electronic Health Records Integration - Empowerment and Autonomy - Ethics - Evaluation and Metrics - Equity - Explanations and Justifications in Health Recommendations - From Participatory Design and Co-Creation to HealthRecSys - Gamification and Serious Games - Generative AI - Health-Aware Recommender Systems - Health and Care Workers and Interactive Intelligent Systems - Human/Expert-in-the-Loop - Human-RecSys Collaboration for Personalized Health - Interfaces, Visual, Context-aware, Conversational, Mobile - In-the-Wild Personalization - Longitudinal Studies - LLM-based recommendations in Health - Medical Evaluation Techniques - Mobile Health Recommender Systems - Multi-objective Challenges - Multi-stakeholder Challenges - Patient Needs/Satisfaction - Personalization - Persuasion/Nudging/Behavioral Change - Pervasive Systems - Privacy and Security - Research Methods and tools - Recommendations VS. Not Clinical Decision Supports - Regulations and Standards - Self-Care - Trust and Transparency - User Interaction Design - User Profiling and Adaptive Systems - Value-Driven Design of Health Recommender Systems - Wearables for Recommender Systems Submissions: ============ We solicit short research papers (4-6 pages) and short position papers (2 pages + references), both in the ACM conference paper style-double-column format. Participants can decide between a research-focused submission and a project-focused submission. Submission category research: innovative research ideas, preliminary findings, or system prototypes that contribute new knowledge to the field Submission category project: presentations on funded research initiatives, collaborations between industry and academia, or partnerships between healthcare entities and research institutions. Submission guidelines: ====================== All submitted papers must: - be written in English; - contain author names, affiliations, and email addresses; - be formatted according to the ACM SIG Proceedings Template -double-column format, with a font size no smaller than 9pt; - be in PDF (make sure that the PDF can be viewed on any platform), and formatted for US Letter size; Submissions are encouraged to include links or demos as attachments to enhance their presentation. All submissions will undergo a rigorous peer-review process to ensure quality and originality. It is imperative that submitted works are not concurrently under review at any other conference, workshop, or journal and contain original, unpublished contributions. Accepted papers will be published according to the ACM RECSYS 2024 WS publication rules, with prior proceedings having been published in CEUR workshop proceedings. A Few Remarks ============= - The title of the paper, authors, and the author order cannot be changed after the acceptance - Major changes to the text of the reviewed and accepted papers are not permitted after the review - At least one of the authors should participate in the workshop, register in the RecSys conference, and personally present the paper in the workshop. Location: ========= RecSys 2024 will be hosted in Bari, Italy, from 14–18 October 2024. Please visit the RecSys 2024 website for more information about this location: https://recsys.acm.org/recsys24/location/ Contact: ======== If you have questions regarding the workshop, do not hesitate to contact the workshop chairs: healthrecsys at gmail.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From divya.gopinath at nasa.gov Mon May 6 19:37:30 2024 From: divya.gopinath at nasa.gov (Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC]) Date: Mon, 6 May 2024 17:37:30 +0000 Subject: [fg-arc] =?windows-1252?q?NFM_2024_=97_Call_for_Participation?= Message-ID: NFM 2024 — Call for Participation 16th NASA Formal Methods Symposium (NFM) June 4–6, 2024 NASA Ames Research Center, Moffett Field, California, United States https://conf.researchr.org/home/nfm-2024 ---------------------------------------------------------------------------- * There is no registration fee! * The NASA Formal Methods (NFM) Symposium is an annual forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for safety critical systems. NFM 2024 will be held June 4—6, 2024 at the NASA Ames Research Center in Moffett Field, California, USA. The symposium features presentation sessions on Advances in Solver technology, Formal Methods for Program Analysis and Verification, SMT-based Assurance of Behavioral Specifications, Formal Methods for Learning-enabled Systems, Formal Methods for Automotive Systems, Formal Methods for Robotics, and Formal Methods for Software Engineering. There will also be a tool demonstration session and panel discussion on trusted autonomy. Keynote Speakers "Autonomy Challenges for Future NASA Science and Exploration Missions." Dr. Butler Hine, Project Manager for the HelioSwarm mission, NASA "Formal Verification and Run-time Monitoring for Learning-Enabled Autonomous Systems." Dr. Corina Pasareanu, ACM Distinguished Scientist, NASA Ames and CMU "Safety under uncertainty: Automotive standards for AI safety and research perspectives." Dr. Simon Burton, Chair of Systems Safety at University of York Panel Session The topic of the discussion will be Trusted Autonomy, chaired by Dr. Guillaume Brat, NASA Ames Research Center. Panelists: Dr. Huafeng Yu (Senior Scientist from US Department of Transport) Dr. Jean-Guillaume Durand (Applied Scientist from Xwing) Dr. Marco Pavone (Director of Autonomous Vehicle Research at NVIDIA) Dr. Darren Cofer (Principal Fellow at Collins Aerospace) For more information about the program, please see https://conf.researchr.org/home/nfm-2024#program. Registration There is no registration fee charged to participants. All interested individuals are welcome to attend. However, all attendees must register here: https://conf.researchr.org/info/nfm-2024/registration ---------------------------------------------------------------------------- Conference Chairs: Nathan Benz, Divya Gopinath, Nija Shi Contact: nfm24-chairs at lists.nasa.gov -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.vandenbos at utwente.nl Tue May 14 16:35:12 2024 From: p.vandenbos at utwente.nl (Bos, Petra van den (UT-EEMCS)) Date: Tue, 14 May 2024 14:35:12 +0000 Subject: [fg-arc] FSEN 2025 - Call for Papers In-Reply-To: References: Message-ID: FIRST 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 From announce at ucy.ac.cy Fri May 17 08:32:15 2024 From: announce at ucy.ac.cy (Announce) Date: Fri, 17 May 2024 06:32:15 +0000 Subject: [fg-arc] ACM GoodIT'24: Special Track on Educating for a Sustainable Digital Future -- Last Mile for Paper Submission Message-ID: *** Last Mile for Paper Submission *** ACM 4th International Conference on Information Technology for Social Good (GoodIT''24) Special Track on Educating for a Sustainable Digital Future https://blogs.uni-bremen.de/goodit2024/ ( *** Submission Deadline: 31 May 2024 (extended) ***) SCOPE Exploring the development of our digital future requires a comprehensive examination of both individual and societal consequences. Placing excessive emphasis on individual gains, a common practice in individualistic societies for many years, has hindered the ability to grasp the complex dynamics and forward-thinking mindset essential for the sustainability of a contemporary society. The evolving landscape of technology and the ongoing digital advancements have paved the way for creative applications in the field of education, allowing us to adapt to the ever-changing circumstances. When shaping a new approach for Information Systems and Information Technology education, it is crucial to emphasize the significance of individuals as key stakeholders and integral members of the wider community, while also recognizing the pivotal role of collaboration. In this track, we are searching for papers employing innovative technology and approaches to educate the future generation towards world equality, collegiality, inclusion and a more cooperative learning for a sustainable digital future. Values which are emphasized in the Sustainable Development Goals (SDGs) which overall aim towards creating a more equitable, sustainable, and peaceful world. This track is particularly relevant to IS/IT educators and those creative IT practitioners who care about developing a sustainable digital future. TOPICS Potential topics for papers include (but are not limited to): • Sustainable and innovative education technologies and practices • Universal access to quality education • The new role for IS/IT in society and education and the value of information and knowledge • The role of cooperative learning for life-long learning and societal developments • Digital transformation: opportunities and challenges for education, work, and society • Digital learning environments: Innovations and trends • Equality, diversity, and inclusion in education, work, and society • The use of large language models and generative AI in education • New topics and domains in IT-enhanced education We hope to attract the interest of IS/IT educators and those creative IT practitioners who care about developing a sustainable digital future. SUBMISSION GUIDELINES Please refer to the instructions on the conference web site: https://blogs.uni-bremen.de/goodit2024/submission-of-papers/ . All accepted papers will be included in the ACM Digital Library . IMPORTANT DATES • Submission deadline: 31 May 2024 (AoE) (***extended***) • Notification of acceptance: 8 July 2024 • Camera ready: 19 July 2024 TRACK CHAIRS • George A. Papadopoulos, University of Cyprus, Cyprus • Vasso Stylianou, University of Nicosia, Cyprus CONTACT DETAILS Vasso Stylianou, stylianou.v at unic.ac.cy -------------- next part -------------- An HTML attachment was scrubbed... URL: From alex.sabau at swc.rwth-aachen.de Mon May 27 09:53:17 2024 From: alex.sabau at swc.rwth-aachen.de (Sabau, Alex) Date: Mon, 27 May 2024 07:53:17 +0000 Subject: [fg-arc] Working group MABSS founded Message-ID: Dear colleagues, we are pleased to announce that we founded our new working group "Modeling, Analysing and Assessing Secure Software Architectures" (MABSS - Modellierung, Analyse und Bewertung Sicherer Softwareachitekturen). MABSS focuses on research in the cross-cutting topic of software architectures and software security and aims to make important contributions to methods and approaches to support the implementation of the "security by design" paradigm. As there is a lack of national exchange between researchers and industry experts in this field, we want to use this working group to provide a platform for joint exchange, networking, and cooperation. If you are interested, you are cordially invited to join our working group. Please subscribe to our mailing list at https://lists.gi.de/postorius/lists/ak-mabss.lists.gi.de/ to be informed about the latest updates and upcoming events. Please also visit our official website for more information: https://ak-mabss.gi.de/ Furthermore, we are planning our 1st working group meeting from 23.07.2024,13:00 to 24.07.2024, 12:00 in Paderborn! You can find more information on our website. Hope to see you soon! Best regards, Alex R. Sabau (Sprecher) and Sven Merschjohann (stellv. Sprecher) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 6885 bytes Desc: not available URL: From sauer at uni-paderborn.de Wed May 29 11:54:33 2024 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 29 May 2024 11:54:33 +0200 Subject: [fg-arc] PROFES 2024 - Call for Industry Papers (submit by Aug 1) 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*: August 1st * *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: smime.p7s Type: application/pkcs7-signature Size: 4813 bytes Desc: Kryptografische S/MIME-Signatur URL: From Luigia.Petre at abo.fi Sat May 18 09:08:50 2024 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Sat, 18 May 2024 07:08:50 +0000 Subject: [fg-arc] FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different systems Message-ID: <468764413b94480382960eeb4cff2326@abo.fi> Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, May 24! Prof Prof Tiziana Margaria, University of Limerick, Ireland will reflect on her experiences in teaching Formal Methods in two countries: Germany and Ireland. Tiziana is a computer scientist and software engineer whose research topics include formal methods and model-driven engineering. She has worked in Italy, Germany, Sweden, and Ireland, and currently is the Chair of Software Systems in the University of Limerick's Department of Computer Science and Information Systems. She has a broad experience in the use of formal methods for high assurance systems, in particular concerning functional verification, reliability, and compliance of complex heterogeneous systems, with applications to embedded systems, healthcare, and smart advanced manufacturing. A few pointers from Tiziana's numerous roles are that she is the Past President of FMICS (the ERCIM Working Group on Formal Methods for Industrial Critical Systems); the managing editor of STTT, the Springer Journal on Software Tools for Technology Transfer; and a co-founder of the TACAS and ISoLA series of conferences. In her career spanning several decades of teaching and research in several European contexts, here are a couple of milestones: - a survey on her group's experience: https://link.springer.com/referenceworkentry/10.1007/978-3-030-10576-1_208 - teaching Formal Methods in Germany: https://ceur-ws.org/Vol-1385/paper4.pdf - a book on teaching Foundations of process modelling to non-CS students in Germany: https://link.springer.com/book/10.1007/978-3-662-45006-2 - using models as a high level tool for computational thinking: https://ieeexplore.ieee.org/abstract/document/8377800 https://ieeexplore.ieee.org/abstract/document/7273708 - modelling for teenagers: https://ieeexplore.ieee.org/abstract/document/5090525 https://ieeexplore.ieee.org/abstract/document/7552218 More information about our lecturer can be found here: https://www.ul.ie/hri/person/hri-member/prof-tiziana-margaria. The zoom link for Prof. Margaria’s lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From rumpe at se-rwth.de Fri May 24 14:25:51 2024 From: rumpe at se-rwth.de (Bernhard Rumpe) Date: Fri, 24 May 2024 14:25:51 +0200 Subject: [fg-arc] Ausschreibung "Informatik" - RWTH W3 Cyber-Physische Systeme In-Reply-To: <235097ad558b46b49af6e89b67fcbf79@i3.informatik.rwth-aachen.de> References: <20240523143821.80274CE15C1@albert.hochschulverband.de> <235097ad558b46b49af6e89b67fcbf79@i3.informatik.rwth-aachen.de> Message-ID: <55e732d6-9fca-425d-b667-bd740be29018@se-rwth.de> Liebe Kolleginnen und liebe Kollegen, ich würde mich freuen, wenn Sie die beigefügte Ausschreibung in Betracht ziehen würden ( in dieser Form auch im F&L zu finden ). Das ist ein interessantes Betätigungsfeld und die RWTH hat im Kontext dieser Professur viel zu bieten. Für Rückfragen stehe ich gern zur Verfügung. Beste Grüße, Bernhard Rumpe > ----------------------------------------------------------------- > RWTH AACHEN - W3 Cyber-Physische Systeme - Frist: 30.06.2024 > W3-Universitätsprofessur Cyber-Physische Systeme, Fakultät für > Mathematik, Informatik und Naturwissenschaften Die RWTH Aachen ist eine > der Exzellenzuniversitäten Deutschlands und genießt weltweit ein hohes > Ansehen in Forschung und Lehre. Zum nächstmöglichen Zeitpunkt wird an > der Fakultät für Mathematik, Informatik und Naturwissenschaften eine > W3-Universitätsprofessur besetzt, die das Fach Cyber-Physische Systeme > in Forschung und Lehre vertritt. Die Forschungsschwerpunkte der > Professur liegen bei Cyber-physischen Systemen und deren technischen > Aspekten (Zuverlässigkeit, Anpassungsfähigkeit oder Autonomie). Die > Kooperationsbereitschaft innerhalb der Informatik und interdisziplinär > wird erwartet. Die Lehraufgaben liegen in der techn. Informatik in den > Informatik- und Anwendungsstudiengängen. Weitere Informationen erhalten > Sie unter:www.rwth-aachen.de/jobs/professuren, > Bewerbungsfrist ist der 30.06.2024. -- ----------------------------------------------------------------- Prof. Dr. Bernhard Rumpe | http://www.se-rwth.de Lehrstuhl Software Engineering | Informatik 3 Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University T: @SE_RWTH, @bernhard_rumpe, #MontiCore | Phone ++49 241 8021301 From ssharm21 at students.kennesaw.edu Sat May 25 23:28:02 2024 From: ssharm21 at students.kennesaw.edu (Sachin Sharma) Date: Sat, 25 May 2024 21:28:02 +0000 Subject: [fg-arc] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 28 - Oct. 30 2024 - Herndon, VA, USA 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 1, 2024 Acceptance notification: August 18, 2024 Camera-ready: September 16, 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, Program Chair Dr. Jessica Lin (George Mason University) at jessica at gmu.edu and Financial and 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_vers3.pdf Type: application/pdf Size: 222905 bytes Desc: CFP-ICTAI-2024_vers3.pdf URL: From announce at ucy.ac.cy Fri May 31 08:02:30 2024 From: announce at ucy.ac.cy (Announce) Date: Fri, 31 May 2024 06:02:30 +0000 Subject: [fg-arc] ACM GoodIT'24: Special Track on Educating for a Sustainable Digital Future -- Final Call for Paper Submission Message-ID: *** Final Call for Paper Submission *** ACM 4th International Conference on Information Technology for Social Good (GoodIT''24) 4-6 September 2024, Bremen, Germany Special Track on Educating for a Sustainable Digital Future https://blogs.uni-bremen.de/goodit2024/ ( *** Submission Deadline: 17 June 2024 (FIRM) ***) SCOPE Exploring the development of our digital future requires a comprehensive examination of both individual and societal consequences. Placing excessive emphasis on individual gains, a common practice in individualistic societies for many years, has hindered the ability to grasp the complex dynamics and forward-thinking mindset essential for the sustainability of a contemporary society. The evolving landscape of technology and the ongoing digital advancements have paved the way for creative applications in the field of education, allowing us to adapt to the ever-changing circumstances. When shaping a new approach for Information Systems and Information Technology education, it is crucial to emphasize the significance of individuals as key stakeholders and integral members of the wider community, while also recognizing the pivotal role of collaboration. In this track, we are searching for papers employing innovative technology and approaches to educate the future generation towards world equality, collegiality, inclusion and a more cooperative learning for a sustainable digital future. Values which are emphasized in the Sustainable Development Goals (SDGs) which overall aim towards creating a more equitable, sustainable, and peaceful world. This track is particularly relevant to IS/IT educators and those creative IT practitioners who care about developing a sustainable digital future. TOPICS Potential topics for papers include (but are not limited to): • Sustainable and innovative education technologies and practices • Universal access to quality education • The new role for IS/IT in society and education and the value of information and knowledge • The role of cooperative learning for life-long learning and societal developments • Digital transformation: opportunities and challenges for education, work, and society • Digital learning environments: Innovations and trends • Equality, diversity, and inclusion in education, work, and society • The use of large language models and generative AI in education • New topics and domains in IT-enhanced education We hope to attract the interest of IS/IT educators and those creative IT practitioners who care about developing a sustainable digital future. SUBMISSION GUIDELINES Please refer to the instructions on the conference web site: https://blogs.uni-bremen.de/goodit2024/submission-of-papers/ . All accepted papers will be included in the ACM Digital Library . IMPORTANT DATES • Submission deadline: 17 June 2024 (AoE) (***FIRM***) • Notification of acceptance: 8 July 2024 • Camera ready: 19 July 2024 TRACK CHAIRS • George A. Papadopoulos, University of Cyprus, Cyprus • Vasso Stylianou, University of Nicosia, Cyprus CONTACT DETAILS Vasso Stylianou, stylianou.v at unic.ac.cy -------------- next part -------------- An HTML attachment was scrubbed... URL: From simon.kolker at postgrad.manchester.ac.uk Wed May 29 19:39:45 2024 From: simon.kolker at postgrad.manchester.ac.uk (Simon Kolker) Date: Wed, 29 May 2024 17:39:45 +0000 Subject: [fg-arc] CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024 Message-ID: IEEE SMC-IT / SCC 2024 10th International Conference on Space Mission Challenges for Information Technology 15th International Conference on Space Computing Computer History Museum, Mountain View, CA, USA July 15-19, 2024 CALL FOR PARTICIPATION REGISTRATION IS NOW OPEN: https://smcit-scc.space/registration EARLY BIRD REDUCED RATE UNTIL JUN 3rd! (Regular registration begins on June 4th and continues throughout the conference.) Sponsored by: IEEE Computer Society, IEEE Technical Committee on Software Engineering (TCSE) and IEEE Technical Community on Computer Architecture (TCCA). General Information: https://smcit-scc.space/ Email Inquiries: smcit-scc_chairs at list.jpl.nasa.gov Registration: https://smcit-scc.space/registration The International Conference on Space Mission Challenges for Information Technology (SMC-IT) and the Space Computing Conference (SCC) gather system designers, engineers, computer architects, scientists, practitioners, and space explorers with the objective of advancing information technology, and the computational capability and reliability of space missions. The forums will provide an excellent opportunity for fostering technical interchange on all hardware and software aspects of space missions. The joint conferences will focus on current systems practice and challenges as well as emerging hardware and software technologies with applicability for future space missions. Systems in all aspects of the space mission will be explored, including flight systems, ground systems, science and flight data processing, engineering and development tools, operations, telecommunications, high-performance space computing, radiation-tolerant computing devices, reliable electronics, robotics, intelligent systems and machine learning, distributed autonomy, networking and communications, and space-qualifiable packaging technologies. The entire information systems lifecycle of mission development will also be covered, such as conceptual design, engineering tools development, integration and test, operations, science analysis, and quality control. Confirmed Keynote Speakers include: - Eugene Tu (Center Director, NASA Ames Research Center) - Jason Aspiotis (Director, In-Space Infrastructure and Logistics, Axiom Space) - Elizabeth Turtle (Planetary Scientist, Johns Hopkins Applied Physics Laboratory) - Jesse Mee (Senior Scientist for Radiation Hardening Technologies, Air Force Research Laboratory) - Prasun Desai (Deputy Associate Administrator, Space Technology Mission Directorate, NASA HQ) - Damon Bradley (Founder and President, DeepSpace Technologies) WORKSHOPS: In addition to the keynotes and main SMC-IT and SCC technical tracks, the conference will feature the following workshops: - 1st Distributed Autonomy for Space Systems (DASS) Workshop - 3rd Open Source for Space Workshop - 5th Augmented, Virtual, and Mixed Realities Workshop: xR Technologies in Digital Engineering Environments - Balancing Performance, Fault-tolerance, and Security for Future Space Systems: What are the trends? What are our challenges? - HPSC - Redefine What's Possible for the Future of Space Computing - New Ideas and Emerging Results - Space Cybersecurity Technical Standards - Space Robotics Workshop: Emerging Challenges and Needs for Autonomy in the New Era of Space Exploration - Space Terrestrial Internetworking (STINT) Workshop - Trustworthiness of Foundation Models and What They Generate - Verification and Validation of Multi-Core System Architectures - What is Resilience? A Workshop on Resilience, Adaptation, and Robustness to Design Resilient Space System Architectures Some of the workshops are still accepting submissions. If you have content that you would like to present at the workshop, please contact the workshop organizers directly. EXHIBITS: Interested in exhibiting or providing sponsorship through a corporation grant? If so, please contact us at smcit-scc_chairs at list.jpl.nasa.gov CALL FOR STUDENT VOLUNTEERS: If you are a full-time student and have an interest in volunteering to help with conference operations, please drop us an email at smcit-scc_chairs at list.jpl.nasa.gov TOUR OF NASA AMES: Please indicate interest in joining a tour of NASA Ames Research Center when you register. Limited spaces are available. Other limitations apply. Please be aware that those expressing interest will receive a separate email to register specifically for the tour. We look forward to seeing you in person in July 2024! ORGANIZING COMMITTEE: - General Chair: Ivan Perez (KBR @ NASA Ames Research Center) - General Co-chair: Rory Lipkis (NASA Ames Research Center) - Industry Chair (SCC): Ken O'Neill (AMD) - Industry Chair (SMC-IT): Yogita Shah (Jet Propulsion Laboratory) - Diversity Chair: Michelle Carter (The Aerospace Corporation) - Diversity Co-chair: Allie Gatewood (The Aerospace Corporation) - Program Chair (SCC): David Rutishauser (NASA Johnson Space Center) - Program Co-chair (SCC): Chris Green (NASA Goddard Space Flight Center) - Program Chair (SMC-IT): Marie Farrell (University of Manchester) - Program Co-chair (SMC-IT): Alessandro Pinto (Jet Propulsion Laboratory) - Program Co-chair (SMC-IT): Victoria Da Poian (Microtel LLC @ NASA Goddard Space Flight Center) - Workshop Chair: Sanaz Sheikhi (Stony Brook University) - Workshop Co-chair: Wesley Powell (NASA) - Publicity Chair: Simon Kolker (University of Manchester) - Informatics Manager: Leigh Garbs (NASA ARC) - Finance Chair: Jim Oyama (Jet Propulsion Laboratory) - Finance Co-chair: Mariam Malek (Jet Propulsion Laboratory) - Logistics Chair: Ian Land (Synopsys) - Logistics Co-chair: Jeff Wetch (Synopsys) - IEEE Conference Coordinator: Kathy Park (IEEE) - Advisors to the Chairs: - Larry Bergman (NASA JPL, Ret.) - Jim Butler (Jet Propulsion Laboratory) - Michael Campbell (The Aerospace Corporation, Ret.) - David Henriquez (Jet Propulsion Laboratory) - Amalaye Oyake (Past Chairperson - SMC-IT 2019) -------------- next part -------------- An HTML attachment was scrubbed... URL: From stavros at helvia.ai Thu May 30 11:12:55 2024 From: stavros at helvia.ai (Stavros Vassos) Date: Thu, 30 May 2024 12:12:55 +0300 Subject: [fg-arc] {SPAM?} 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers Message-ID: <1717058518901.9887b30e-ccd5-4786-ad0e-fc243d9977a6@bf01.hubspotstarter.net> 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Conference web site: www.kr.org/KR2024 (www.kr.org/KR2024) Call for Videos for the KR 2024 Video Track We would like to announce the first edition of a video track as part of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) and give details on how to submit a video in this message. The aim of the video track is twofold. First, it wants to encourage KR groups to make the outcome of their work more accessible to a wider public and to foster good practice for KR outreach. Second, it provides researchers with a prominent platform to showcase interesting applications and insights and to make them available to a diverse audience from science, industry, and the general public. All accepted videos will be made available from the KR Inc website (www.kr.org/ (www.kr.org/) ) and promoted on the KR Inc social media channels including the YouTube channel of the KR conference series (www.youtube.com/@krconferenceseries9472 (www.youtube.com/@krconferenceseries9472) ). There will be awards for the best received videos. The winners will be announced at the KR 2024 conference. Topics of Interest The topic of the video can be from all subfields of knowledge representation and reasoning. We want to encourage, in particular, submissions that can be useful educational resources for the community or make KR results, projects or even software more approachable for a broader audience. This includes videos targeted at undergraduate and post-graduate students, high-school students or the general public. Possible video topics include, but are not limited to: - Introduction to a particular research area or a research project relevant to KR. - Visualization of methods or research results relevant to KR. - Introduction of non-commercial software tools developed for KR or relevant for KR researchers. Technical Requirements for the Video - Video must be relevant for KR (if in doubt, please consult the topics of interest at www.kr.org/KR2024/cfp_main_track.php or send us an email kr2024.video at cse.unsw.edu.au (mailto:kr2024.video at cse.unsw.edu.au) . - Videos must be in English or include English subtitles. - Video length should be 3 - 15 minutes. - Video format: AVI or MPEG4. - Videos must adhere to copyright laws. Submission Information Video contributions can be submitted at: cmt3.research.microsoft.com/KR2024/  (cmt3.research.microsoft.com/KR2024/%C2%A0) Please select “Create new submission” for the “KR 2024 Video Track”. A submission to the video track consists of main parts: Link from which the video can be freely downloaded Information to be entered directly in CMT about: - Names, affiliations and email addresses of video authors. - Title of the video. - Brief abstract describing the video's content (one paragraph). - Description who the targeted audience of this video is (1-3 sentences). Details on the exact submission procedure will be published in a follow-up call for videos. Evaluation Criteria - Presentation quality: does the video make good use of the visual medium? For instance, submissions of static, one-shot recordings of a talk are not encouraged. - Educational value: Is the presented material conducive to learning and understanding? - Suitability for target audience: how suitable is the presentation style for the target audience? - Entertainment value: Is the video enjoyable and fascinating to watch? Video authors of accepted videos are not obliged to register for the KR’24 conference. However, authors of award-winning videos are encouraged to register for the conference. Important Dates - Video Submission Deadline: June 28, 2024 - Notification of acceptance: August 1, 2024 Should you have any questions regarding the video track, please send an email to the video chairs via kr2024.video at cse.unsw.edu.au (mailto:kr2024.video at cse.unsw.edu.au). We look forward to receiving your submissions! Best regards, Anni-Yasmin Turhan and Nico Potyka Further details can be found via the conference web site: kr.org/KR2024 (www.kr.org/KR2024/) KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Unsubscribe (https://hs-5228907.s.hubspotstarter.net/preferences/en/unsubscribe?data=W2nXS-N30h-FVW4tv1Sq1QzphtW2MyZtw4hrH3hW30K5GP4kx2j1W3C1wYP4tFntlW34nyBw2t1Jt_W2B0czJ43R31DW4rhmY02t0qRyW47Lt8P2KxSgkW4mzlZh34pNfkW2PDSn-3R7NqMW1Zg77W2RSKqpW3P0r7T4fh_JfW3z2X9f1BJpRhW1Q5mns2v_251W1L6HDd1Zc8qnW2vNjT321ktgpW1X60z541JC3wW1N5_9T2HVq28W2zyJvC3yPPrKW4fDZ513ZXjxZW3DZ7kR2MShQmW3GY5LK2-8dNCW3M8CG72qP8QNW2Pn8Ck2xLX94W49NmJl4pxtl_W4hCRvL2KwHdrW3zh1zL3g8NXvW45TMHr2r61DvW1XrvdV212W2GW4kf4TG2HXtqXW3fYKlR34B2cbW1VbRC14p5z_1W4pBMZ-2KNNzMW3Q-_CF32zMkgW2-KbNZ47krfHW2r1rgQ3dwCz7W2G0dBV1Xw9ZkW2Hqmft3bw3ZqW36zRwp25dYd-W43SP0n3LZjkbW3_RwRq3GFKJWW2KP_pq3b5rb1W3b1b2f2MHyRfW3T4b-t36Cnx_W2MMLrB2t49mGW2Myv1f1_tB_Bf4pb_NG04&_hsenc=p2ANqtz-8yZbtzPxvIerGThfmxf1XSx4hXT9TzXTjvUPAg4j1o3w0bYviAf6YdEfbPmH6OnH_Qw37_mhEQTo9hqWybvdKDUUHEQ3Paj4twillNFCbvqWPKMPE&_hsmi=309382665 ) Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-FVW4tv1Sq1QzphtW2MyZtw4hrH3hW30K5GP4kx2j1W3C1wYP4tFntlW34nyBw2t1Jt_W2B0czJ43R31DW4rhmY02t0qRyW47Lt8P2KxSgkW4mzlZh34pNfkW2PDSn-3R7NqMW1Zg77W2RSKqpW3P0r7T4fh_JfW3z2X9f1BJpRhW1Q5mns2v_251W1L6HDd1Zc8qnW2vNjT321ktgpW1X60z541JC3wW1N5_9T2HVq28W2zyJvC3yPPrKW4fDZ513ZXjxZW3DZ7kR2MShQmW3GY5LK2-8dNCW3M8CG72qP8QNW2Pn8Ck2xLX94W49NmJl4pxtl_W4hCRvL2KwHdrW3zh1zL3g8NXvW45TMHr2r61DvW1XrvdV212W2GW4kf4TG2HXtqXW3fYKlR34B2cbW1VbRC14p5z_1W4pBMZ-2KNNzMW3Q-_CF32zMkgW2-KbNZ47krfHW2r1rgQ3dwCz7W2G0dBV1Xw9ZkW2Hqmft3bw3ZqW36zRwp25dYd-W43SP0n3LZjkbW3_RwRq3GFKJWW2KP_pq3b5rb1W3b1b2f2MHyRfW3T4b-t36Cnx_W2MMLrB2t49mGW2Myv1f1_tB_Bf4pb_NG04&_hsenc=p2ANqtz-8yZbtzPxvIerGThfmxf1XSx4hXT9TzXTjvUPAg4j1o3w0bYviAf6YdEfbPmH6OnH_Qw37_mhEQTo9hqWybvdKDUUHEQ3Paj4twillNFCbvqWPKMPE&_hsmi=309382665 ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From giuseppe.mazzotta at unical.it Thu May 30 11:41:48 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Thu, 30 May 2024 11:41:48 +0200 Subject: [fg-arc] [LPNMR 2024] Call For Papers Message-ID: <0B26ABE4-47B8-4F8D-B55E-5420B113D8B4@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 DATES ==================================================== Paper registration: June 21, 2024 Submission deadline: June 28, 2024 Final notification: July 28, 2024 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 From ssharm21 at students.kennesaw.edu Fri May 31 05:20:48 2024 From: ssharm21 at students.kennesaw.edu (Sachin Sharma) Date: Fri, 31 May 2024 03:20:48 +0000 Subject: [fg-arc] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 28 - Oct. 30 2024 - Herndon, VA, USA 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 1, 2024 Acceptance notification: August 18, 2024 Camera-ready: September 16, 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 and 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 chisvasileandrei at gmail.com Fri May 31 13:00:05 2024 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Fri, 31 May 2024 13:00:05 +0200 Subject: [fg-arc] 2nd CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering Message-ID: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024) October 20-21, 2024 Pasadena, California, United States --------------------------- Important Dates --------------------------- * Abstract Submissions: Fri 14 Jun, 2024 * Paper Submissions: Mon 24 Jun, 2024 * Authors Response Period: Mon 12 Aug - Sat 17 Aug, 2024 * Authors Notification: Fri 30 Aug 2024 * Conference: Sun 20 October - Mon 21 October 2024 (co-located with SPLASH) All dates are Anywhere on Earth (https://en.wikipedia.org/wiki/Anywhere_on_Earth). ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024), held in conjunction with SPLASH 2024. The conference will be hosted in Pasadena, California, United States on October 20-21, 2024. https://www.sleconf.org/2024/ https://2024.splashcon.org/track/sle-2024 Follow us on X: https://x.com/sleconf --------------------------- Topics of Interest --------------------------- SLE covers software language engineering in general, rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral/executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Validation of Software Language Tools and Implementations - Verification and formal methods for language tools and implementations - Testing techniques for language tools and implementations - Simulation techniques for language tools and implementations * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Domain-Specific Approaches for Any Aspects of SLE (analysis, design, implementation, validation, maintenance) * Empirical Studies and Experience Reports of Tools - User studies evaluating usability - Performance benchmarks - Industrial applications * Synergies between Language Engineering and Emerging/Promising Research Areas - AI and ML language engineering (e.g., ML compiler testing, code classification) - Quantum language engineering (e.g., language design for quantum machines) - Language engineering for cyber-physical systems, IoT, digital twins, etc. - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. These papers can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the SPLASH 2024 Website. --------------------------- Submission --------------------------- SLE 2024 has a single submission round for papers, including a rebuttal phase, where all authors of research papers will have the possibility of responding to the reviews on their submissions. Authors of accepted research papers will be invited to submit artifacts. --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format “acmart” (https://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template, and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. Accordingly, SLE will follow the double-blind process. Author names and institutions must be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle24.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (https://www.acm.org/publications/policies/plagiarism-overview). Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research complies with their local governing laws and regulations and the ACM’s general principles, as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). If submissions are found to be violating this policy, they will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning soundness, relevance, novelty, presentation, and replicability. New ideas/vision papers will be evaluated primarily concerning soundness, relevance, novelty, and presentation. SLEBoK papers will be reviewed on their soundness, relevance, originality, and presentation. Tool papers will be evaluated concerning relevance, presentation, and replicability. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review at the discretion of the PC chairs. For research papers, authors will get a chance to respond to the reviews before a final decision is made. --------------------------- Artifact Evaluation --------------------------- SLE will use an evaluation process to assess the quality of artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please see the Artifact Evaluation (https://2024.splashcon.org/track/sle-2024#Artifact-Evaluation) page. --------------------------- Awards --------------------------- Distinguished paper: Award for the most notable paper, as determined by the PC chairs based on the recommendations of the program committee. Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted doctoral symposium papers on SLE topics will also have the chance to present their work to the SLE audience. --------------------------- Organisation --------------------------- Chairs: * General chair: Ralf Lämmel, Universität Koblenz, Germany * PC co-chair: Peter Mosses, Swansea University and Delft University of Technology, Netherlands * PC co-chair: Juliana Alves Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil * Artifact Evaluation co-chair: Johannes Härtel, Software Languages Lab, Vrije Universiteit Brussel * Artifact Evaluation co-chair: Sergio Queiroz de Medeiros, Universidade Federal do Rio Grande do Norte * Publicity chair: Andrei Chis, feenk gmbh, Switzerland Program committee * Andrzej Wąsowski, IT University of Copenhagen * Anthony Anjorin, Zühlke Engineering GmbH * Benoit Combemale, University of Rennes, Inria, CNRS, IRISA * Bernd Fischer, Stellenbosch University * Di Wang, Peking University * Dimitris Kolovos, University of York * Elias Castegren, Uppsala University * Elizabeth Scott, Royal Holloway University of London * Esther Guerra, Universidad Autónoma de Madrid * Faezeh Khorram, Huawei Technologies * Fernando Magno Quintão Pereira, Federal University of Minas Gerais * Prof. Fiona Polack, University of Hull * Görel Hedin, Lund University * Guido Salvaneschi, University of St. Gallen * João Saraiva, HASLab/INESC TEC, University of Minho * Johannes Härtel, Software Languages Lab, Vrije Universiteit Brussel * Judith Michael, RWTH Aachen University * Manuel Wimmer, JKU Linz * Marc Feeley, Université de Montréal * Michel Steuwer, Technische Universität Berlin * Paddy Krishnan, Oracle Labs * Ragnar Mogk, Technische Universität Darmstadt * Riemer van Rozen, CWI * Roberto Ierusalimschy, PUC-Rio * Sergio Queiroz de Medeiros, Universidade Federal do Rio Grande do Norte * Shigeru Chiba, The University of Tokyo * Stefan Marr, University of Kent * Stephen Chong, Harvard University * Tamás Szabó, GitHub Next * Thomas Degueule, CNRS * Thomas Kühn, Martin-Luther-University Halle-Wittenberg * L. Thomas van Binsbergen, University of Amsterdam * Tijs van der Storm, CWI & University of Groningen * Walter Cazzola, Università degli Studi di Milano --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please get in touch with the program co-chairs (P.D.Mosses at tudelft.nl and Juliana at inf.puc-rio.br).