From announce at ucy.ac.cy Fri Nov 3 08:26:34 2023 From: announce at ucy.ac.cy (Announce) Date: Fri, 3 Nov 2023 07:26:34 +0000 Subject: [fg-arc] 21st International Conference on Software and Systems Reuse (ICSR 2024): Second Call for Papers Message-ID: <16RA0FTJ-QVDZ-JNXE-VA5F-JNBYUYUWFR@ucy.ac.cy> *** Second Call for Papers *** 21st International Conference on Software and Systems Reuse (ICSR 2024) June 10-12, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/icsr2024/ (*** Submission Deadline: 12th February, 2024 AoE ***) The International Conference on Software and Systems Reuse (ICSR) is a biannual conference in the field of software reuse research and technology. ICSR is a premier event aiming to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The guiding theme of this edition is Sustainable Software Reuse. We invite submissions on new and innovative research results and industrial experience reports dealing with all aspects of software reuse within the context of the modern software development landscape. Topics include but are not limited to the following. 1 Technical aspects of reuse, including • Reuse in/for Quality Assurance (QA) techniques, testing, verification, etc. • Domain ontologies and Model-Driven Development • Variability management and software product lines • Context-aware and Dynamic Reuse • Reuse in and for Machine Learning • Domain-specific languages (DSLs) • New language abstractions for software reuse • Generative Development • COTS-based development and reuse of open source assets • Retrieval and recommendation of reusable assets • Reuse of non-code artefacts • Architecture-centric reuse approaches • Service-oriented architectures and microservices • Software composition and modularization • Sustainability and software reuse • Economic models of reuse • Benefit and risk analysis, scoping • Legal and managerial aspects of reuse • Reuse adoption and transition to software reuse • Lightweight reuse approaches • Reuse in agile projects • Technical debt and software reuse 2 Software reuse in industry and in emerging domains • Reuse success stories • Reuse failures, and lessons learned • Reuse obstacles and success factors • Return on Investment (ROI) studies • Reuse in hot topic domains (Artificial Intelligence, Internet of Things, Virtualization, Network functions, Quantum Computing, etc.) We welcome research (16 pages) and industry papers (12 pages) following the Springer Lecture Notes in Computer Science format. Submissions will be handled via EasyChair (https://easychair.org/my/conference?conf=icsr2024). Submissions will be **double-blindly** reviewed, meaning that authors should: • Omit all authors’ names and affiliations from the title page • Do not include the acknowledgement section, if you have any, in the submitted paper • Refer to your own work in the third person • Use anonymous GitHub, Zenondo, FigShare or equivalent to provide access to artefacts without disclosing your identity Both research and industry papers will be reviewed by members of the same program committee (check the website for details). Proceedings will be published by Springer in their Lecture Notes for Computer Science (LNCS) series. An award will be given to the best research and the best industry papers. The authors of selected papers from the conference will be invited to submit an extended version (containing at least 30% new material) to a special issue in the Journal of Systems and Software (Elsevier). More details will follow. IMPORTANT DATES • Abstract submission: February 12, 2024, AoE • Full paper submission: February 19, 2024, AoE • Notification: April 8, 2024, AoE • Camera Ready: April 22, 2024, AoE • Author Registration: April 22, 2024 AoE ORGANISATION Steering Committee • Eduardo Almeida, Federal University of Bahia, Brazil • Goetz Botterweck, Lero, University of Limerick, Ireland • Rafael Capilla, Rey Juan Carlos University, Spain • John Favaro, Trust-IT, Italy • William B. Frakes, IEEE TCSE committee on software reuse, USA • Martin L. Griss, Carnegie Mellon University, USA • Oliver Hummel, University of Applied Sciences, Germany • Hafedh Mili, Université du Québec à Montréal, Canada • Nan Niu, University of Cincinnati, USA • George Angelos Papadopoulos, University of Cyprus, Cyprus • Claudia M.L. Werner, Federal University of Rio de Janeiro, Brazil General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs • Achilleas Achilleos, Frederick University, Cyprus • Lidia Fuentes, University of Malaga, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Tue Nov 7 08:36:19 2023 From: announce at ucy.ac.cy (Announce) Date: Tue, 7 Nov 2023 07:36:19 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): First Call for Tutorial Proposals Message-ID: *** First Call for Tutorial Proposals *** 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/ (*** Submission Deadline: February 28, 2024 AoE ***) CAiSE'24 invites proposals for tutorials on advanced topics in the field of Information Systems Engineering. Tutorials should aim at offering new insights, knowledge, and skills to professionals, educators, researchers, and students seeking to gain a better understanding either about methods of broad interest in the field, or emergent paradigms that are ripe for practical adoption or that require further research to reach maturity. Proposals emphasizing the special theme of the CAISE'24 conference “Information Systems in the Age of Artificial Intelligence” are encouraged, but proposals on other new or long-standing topics in information systems engineering are also welcome. Tutorials should be focused on principles, concepts, and methods. Commercial or sales-oriented presentations are not allowed and will not be accepted. Tutorials are intended to provide a pedagogic introduction to or overview of a topic of relevance. Potential presenters should keep in mind that there may be a heterogeneous audience, including novice graduate students, experienced practitioners, and specialized researchers. Tutorial speakers should be prepared to cope with this diversity in the audience. Tutorials will be 90 minutes long and organized in parallel with the technical sessions of the main conference and participants of the conference will have free access to all of them. Potential proposers are free to contact the tutorial chairs via e-mail to validate their idea prior to the submission. SELECTION CRITERIA The tutorial chairs will review each proposal and select a subset of them based on the following criteria: 1. relevance to the field of IS engineering; 2. anticipated appeal to the conference audience; 3. timeliness and importance for the conference audience; 4. past experience and qualifications of the instructor(s). The tutorial chairs will also consider the complementarity of the proposal w.r.t. the conference program and other tutorial proposals. SUBMISSION GUIDELINES Tutorial proposals should be submitted to Easy Chair using the conference submission site (https://easychair.org/conferences/?conf=caise2024) and then selecting the “CAiSE 2024 Tutorials” track. The proposal (length up to 1500 words) should cover the following points: • Title • Presenters and affiliation • Goal: The overall goal of the tutorial. • Scope: Intended audience, level (basic or advanced), and prerequisites. • Topic relevance and novelty: Specifically indicate the relevance to the scope of CAiSE, the relevance to practice, the novel aspects that would make this tutorial beneficiary and appealing to CAiSE participants. • Structure of contents: Here you should provide a structured overview of your planned tutorial, organized into numbered sections and subsections. For each subsection, you should sketch its contents in a few sentences or bullet points. • References: Provide references to papers, books, etc. that your tutorial builds on. Please specify previous venues at which similar tutorials have been presented by you and indicate the difference between the proposed tutorial and previous ones. CAiSE usually does not accept tutorials that have been presented in other venues. • Sample Slides: Include at least 5 sample slides of the presentation you plan to give if your tutorial is accepted. Select slides that are typical of your presentation style. These slides have to be submitted in a separate PDF file. Services provided to tutorialists • A 2-page tutorial abstract will be published in the CAiSE LNCS proceedings • Tutorials will benefit from the local organizational infrastructure (registration, badges, refreshments, beamers, screens, etc.). • Advertisement of the tutorial on CAISE 2024 homepage and mailings. • The conference fee will be waived for tutorial presenters (one fee per tutorial). IMPORTANT DATES • Submission of Tutorial Proposals: 28th February 2024 (AoE) • Notification of Acceptance: 15th March 2024 • Camera-ready Abstracts: 5th April 2024 TUTORIAL CHAIRS • Adela del Rio Ortega, University of Seville, Spain (adeladelrio at us.es) • Tiago Prince Sales, University of Twente, The Netherlands (t.princesales at utwente.nl) Other Committee Members https://cyprusconferences.org/caise2024/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From simon.kolker at postgrad.manchester.ac.uk Tue Nov 7 22:30:01 2023 From: simon.kolker at postgrad.manchester.ac.uk (Simon Kolker) Date: Tue, 7 Nov 2023 21:30:01 +0000 Subject: [fg-arc] Call for Papers IEEE SMC-IT/SCC 2024 Message-ID: CALL FOR IEEE SMC-IT/SCC 2024 SUBMISSIONS 10th IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) 15th IEEE International Conference on Space Computing (SCC) Computer History Museum, Mountain View, California Important Dates: Abstract submission deadline for feedback: Nov 30, 2023 [optional]* Abstract feedback response: Dec 15, 2023 Deadline for full papers: Feb 9, 2024 Author acceptance notification: Mar 22, 2024 Workshop papers deadline: Apr 3, 2024 Registration site open: Apr 14, 2024 Final versions deadline (papers, workshop papers, SCC presentations): May 31, 2024 Conference: Jul 15-19, 2024 *To help authors prepare their papers for submission, we offer to provide feedback on abstracts submitted in advance. This step is not compulsory, and authors may submit papers without previously submitting an abstract. Sponsored by: IEEE Computer Society - Technical Committee on Software Engineering and Technical Committee on Computer Architecture. We invite submissions for the IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) and the IEEE Space Computing Conference (SCC). These conferences gather professionals, such as system designers, engineers, computer architects, scientists, practitioners, and space explorers, who are committed to advancing information technology and improving the computational capabilities and dependability of space missions. These forums provide a valuable opportunity for in-depth technical dialogues covering various aspects of space mission hardware and software. Systems in all aspects of the space mission will be explored, including flight systems, ground systems, science data processing, engineering and development tools, operations, telecommunications, radiation-tolerant computing devices, reliable electronics, and space-qualifiable packaging technologies. The entire information systems lifecycle of the mission development will also be covered, such as conceptual design, engineering tools development, integration and test, operations, science analysis, and quality control. Topics of interest include (but are not limited to) space applications of the following: SMC-IT Robotics, Cybersecurity, Networking, Memory and Storage, Advanced Ground Control, Data Analytics and Big Data, Fault-Tolerant Processing, Intelligent and Autonomous Systems, Augmented Reality/Virtual Reality and HCI, Manufacturing and Assembly of Large Structures, Advanced Computing for Novel Instruments and Improved Operations, Software Reliability for Mission-Critical Applications and Safety of Life. SCC Components, Radiation, and Packaging, Computing Architectures, Flight Data Processing, Avionics Systems, Machine Learning/Neural Computing, Crew Interfaces, Extreme Environments Computing, Distributed Computing, Infusion and adoption of industry standards for space applications. (The organization committee is considering to have a closed door session. If you might be interested in submitting work for that session, please contact the chairs at: smcit-scc_chairs at jpl.nasa.gov.) Process and Format The SMC-IT/SCC 2024 Technical Committee is seeking two kinds of submissions at this time: full papers (BOTH SMC-IT AND SCC) and presentations (ONLY SCC). IEEE SMC-IT/SCC 2024 will use a single-pass, full-paper review process. The full paper is required and peer reviewed prior to deciding on acceptance for the conference, even if an abstract has been submitted. Full papers can be up to 10 pages, not including references. The paper template can be found on the SMC-IT/SCC 2024 website https://smcit-scc.space/submissions.html. All accepted papers will be published in the IEEE conference proceedings, indexed with the IEEE Xplore database. Note that IEEE has a 'Podium and Publish' policy for conferences, which means that no manuscript will be published in IEEE Xplore without first being presented at the conference. Authors of SCC presentations without a corresponding paper need to submit a 1-page abstract, which will allow the conference organizers to determine if the proposed presentation is germane for the conference, determine which track/session the proposed presentation belongs, and ensure the author is in contact with the track/session chair for feedback prior to the final submission. All presentation-only abstract submissions must be submitted by the full paper deadline. All submissions are uploaded via EasyChair https://easychair.org/conferences/?conf=smcitscc2024. Selected papers may be invited to appear in a special issue of a reputable journal. More details will be made available in the future. Note: It is not required to submit an abstract prior to the paper submission. Note: The SMC-IT/SCC program committee can be found on the conference website https://smcit-scc.space/#organization. CONFERENCE CHAIRS: General Chair: Ivan Perez (KBR @ NASA ARC) General Co-chair: Rory Lipkis (NASA ARC) Program Chair (SMC-IT): Marie Farrell (University of Manchester) Program Co-chair (SMC-IT): Alessandro Pinto (NASA JPL) Program Co-chair (SMC-IT): Victoria Da Poian (Microtel LLC @ NASA GSFC) Program Chair (SCC): David Rutishauser (NASA JSC) Program Co-chair (SCC): Christopher Green (NASA GSFC) Workshop Chair: Sanaz Sheikhi (Stony Brook University) Workshop Co-chair: Wesley Powell (NASA) SMC-IT/SCC Program Committee Members: https://smcit-scc.space/#organization -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Nov 13 07:49:53 2023 From: announce at ucy.ac.cy (Announce) Date: Mon, 13 Nov 2023 06:49:53 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): Third Call for Papers Message-ID: *** Third Call for Papers *** 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/ (*** Submission Deadline: November 24, 2023 AoE ***) The CAiSE’24 organization calls for full papers with a special emphasis on the theme of Information Systems in the Age of Artificial Intelligence. Artificial Intelligence (AI) has emerged as a transformative technology, revolutionizing various industries, and its significance in Information Systems cannot be overstated. AI-powered systems have the potential to streamline operations, enhance decision-making processes, and drive innovation across organizations. From data analysis to automated processes, AI is reshaping the way we leverage information in the digital age. The relevance of AI in IS extends beyond internal operations. AI-powered predictive analytics enables organizations to forecast trends, anticipate customer needs, and optimize resource allocation. This empowers businesses to adapt swiftly to changing market dynamics, gain a competitive edge, and make proactive decisions. AI algorithms can also detect anomalies and patterns that indicate potential security breaches, contributing to robust cybersecurity measures in information systems. However, while acknowledging the benefits, it is essential to consider the ethical implications of AI in information systems. Ensuring data privacy, addressing bias in algorithms, and maintaining transparency are vital aspects that need to be carefully managed and regulated to foster trust and accountability. In addition to offering an exciting scientific program, CAiSE’24 will feature a best paper award, a journal special issue, and a PhD-thesis award: • Best Paper Award‚ prize EUR 1000 (sponsored by Springer) • A small selection of best papers will be invited to submit enhanced versions for consideration in a special issue of Elsevier Information Systems journal dedicated to this conference. • PhD-Thesis Award • Best PhD thesis of a past CAiSE Doctoral Consortium author (co-sponsored by the CAiSE Steering Committee and Springer) Papers should be submitted in PDF format. Submissions must conform to Springer‚ LNCS format and should not exceed 15 pages, including all text, figures, references, and appendices. Submissions not conforming to the LNCS format, exceeding 15 pages, or being obviously out of the scope of the conference, will be rejected without review. See the guidelines here: https://www.springer.com/comp/lncs/authors.html . The results described must be unpublished and must not be under review elsewhere. Three to five keywords characterizing the paper should be listed at the end of the abstract. Each paper will be reviewed by at least two program committee members and, if positively evaluated, by one additional program board member. The selected papers will be discussed among the paper reviewers online and during the program board meeting. As the review process is not blind, please indicate your name and affiliation on your submission. Accepted papers will be presented at CAiSE’24 and published in the Springer Lecture Notes in Computer Science (LNCS) conference proceedings. We invite three types of original and scientific papers. The type of submission must be indicated in the submission system. Each contribution should explicitly address the engineering or the operation of information systems, clearly identify the information systems problem addressed, the expected impact of the contribution to information system engineering or operation, and the research method used. We strongly advise authors to clearly emphasize these aspects in their paper, including the abstract. Technical papers describe original solutions (theoretical, methodological or conceptual) in the field of IS Engineering. A technical paper should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and its potential‚ as well as demonstrate the benefits of the contribution through a rigorous evaluation. Empirical papers evaluate existing problem situations including problems encountered in practice, or validate proposed solutions with scientific means, i.e., by empirical studies, experiments, case studies, experience reports, simulations, etc. Scientific reflection on problems and practices in industry also falls into this category. The topic of the evaluation presented in the paper as well as its causal or logical properties must be clearly stated. The research method must be sound and appropriate. Exploratory papers describe completely new research positions or approaches, in order to face a generic situation arising because of new ICT tools, new kinds of activities, or new IS challenges. They must precisely describe the situation and demonstrate why current methods, tools, ways of reasoning, or meta-models are inadequate. They must also rigorously present their approach and demonstrate its pertinence and correctness in addressing the identified situation. The topics of contribution include but are not limited to: • Novel Approaches to IS Engineering ◦ Artificial Intelligence and Machine Learning ◦ Robotic Process Automation (RPA) ◦ Big Data, Data Science and Analytics ◦ Blockchain applications in IS ◦ Simulation and Digital Twins  ◦ IS for collaboration and social computing  ◦ Virtual reality / Augmented Reality ◦ Context-aware, autonomous and adaptive IS • Models, Methods and Techniques in IS Engineering ◦ Ontologies and Ontology Engineering ◦ Conceptual modeling, languages and design ◦ Requirements engineering ◦ Process modeling, analysis and improvement ◦ Process automation, mining and monitoring ◦ Models and methods for evolution and reuse ◦ Domain and method engineering ◦ Product lines, variability and configuration management ◦ Compliance and alignment handling ◦ Active and interactive models ◦ Quality of IS models for analysis and design ◦ Visualization techniques in IS ◦ Decision models and business intelligence ◦ Knowledge graphs ◦ Human-centered techniques • Architectures and Platforms for IS Engineering ◦ Distributed, mobile and open architecture ◦ Big Data architectures ◦ Cloud- and edge-based IS engineering ◦ Service oriented and multi-agent IS engineering ◦ Multi-platform IS engineering ◦ Cyber-physical systems and Internet of Things (IoT) ◦ Workflow and Process Aware Information Systems (PAIS) ◦ Handling of real time data streams ◦ Content management and semantic Web ◦ Crowdsourcing platforms ◦ Conversational agents (chatbots) ◦ Microservices design and deployment • Domain-specific and Multi-aspect IS Engineering ◦ IT governance ◦ eGovernment ◦ Autonomous and smart systems (smart city management, smart vehicles, etc.) ◦ IS for healthcare ◦ Educational Systems and Learning Analytics ◦ Value and supply chain management ◦ Industry 4.0 ◦ Sustainability and social responsibility management ◦ Privacy, security, trust, and safety management ◦ IS in the post-COVID world Submit your paper using the Easy Chair link: https://easychair.org/conferences/?conf=caise2024 . IMPORTANT DATES • Abstract Submission: 24th November 2023 (AoE) • Paper Submission: 1st December 2023 (AoE) • Notification of Acceptance: 23rd February 2024 • Camera-ready Papers: 5th April 2024 • Author registration: 5th April 2024 ORGANISATION General Chairs • Haris Mouratidis, University of Essex, UK • Pnina Soffer, University of Haifa, Israel Local Organizing and Finance Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Giancarlo Guizzardi, University of Twente, The Netherlands • Flavia Maria Santoro, University of the State of Rio de Janeiro, Brazil Other Committee Members https://cyprusconferences.org/caise2024/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From kosiolje at mathematik.uni-marburg.de Mon Nov 13 09:55:55 2023 From: kosiolje at mathematik.uni-marburg.de (Jens Kosiol) Date: Mon, 13 Nov 2023 09:55:55 +0100 Subject: [fg-arc] ICGT 2024: First Call for Papers Message-ID: <92b24379-4373-4694-b126-f5c509157cba@mathematik.uni-marburg.de> [apologies for cross-posting] ***** 1st CALL FOR PAPERS ***** ================================================================= 17th International Conference on Graph Transformation (ICGT 2024)   web: https://conf.researchr.org/home/icgt-2024 Part of STAF 2024, 8th-12th July in Twente, NL   web: https://conf.researchr.org/home/staf-2024 ================================================================= ** AIMS AND SCOPE ** The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights. The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and provide leeway for new ideas. The 17th International Conference on Graph Transformation (ICGT 2024) will be held at the University of Twente in Enschede, NL, as part of STAF 2024 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. We expect the proceedings to be published by Springer in the Lecture Notes in Computer Science (LNCS) series. --------------------------------------- ** IMPORTANT DATES ** These dates are preliminary and may be slightly revised. Abstracts:              27 Feb 2024 Paper Submission:       05 Mar 2024 Notification:           30 Apr 2024 Final version due:      14 May 2024 Conference:             within 8-12 Jul 2024 All deadlines are by end-of-day, AoE --------------------------------------- ** TOPICS ** In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2024 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one. Topics of interest include, but are not limited to the following subjects: - General models of graph transformation (e.g. adhesive categories and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Structuring and modularisation of graph transformation - Hierarchical graphs and decomposition of graphs - Parallel, concurrent, and distributed graph transformation - Graph-theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Term graph and string diagram rewriting - Petri nets and other models of concurrency - Bigraphs and bigraphical reactive systems - Computational models based on graphs - Model checking, program analysis and verification, simulation and animation - Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual) - Graph databases and graph queries - Model-driven development and model transformation - Business process models and notations - Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation) - Syntax, semantics and implementation of programming languages, including domain-specific and visual languages - Graph transformation languages and tool support - Efficient algorithms (e.g. pattern matching, graph traversal, network analysis) - Graph-based machine learning, including graph neural networks and models of rule inference - Graph transformation and artificial intelligence (e.g., AI for graph transformations, applying graph transformations in AI engineering and search-based software engineering) --------------------------------------- ** SUBMISSION TYPES ** Authors are invited to submit papers in four possible categories, which must be prepared using Springer's LNCS format. (1) Regular research papers (up to 16 pages, excluding references and appendices), including papers describing applications and case studies. Papers will be evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers (but not publication) may be included in a clearly marked appendix. (2) Tool presentation papers (up to 8 pages, excluding references and appendices), which demonstrate the main features and functionality of graph-based tools. A tool presentation may have an appendix with a detailed demo description (up to 4 pages) which will be reviewed but not included in the proceedings. (3) "Blue Skies" (up to 8 pages), reporting on new research directions or ideas which are not yet sufficiently developed to fit in other categories. Furthermore, there will also be a "Journal-First" track allowing for previously published work (in book chapters, journals, or other conferences since 2020) to be presented at ICGT 2024. The submission deadline for the Journal-First track will be later and announced separately. Please refer to the ICGT 2024 website for further information as well as the Easychair submission link: https://conf.researchr.org/home/icgt-2024 --------------------------------------- ** SPECIAL ISSUE ** Authors of the best papers at the conference will be invited to prepare and submit extended journal versions to be considered for publication in a special issue after an independent round of peer review (details TBA). --------------------------------------- ** ORGANISATION ** Programme Chairs * Russ Harmer (CNRS, Lyon, France) * Jens Kosiol (Philipps-Universität Marburg & Universität Kassel, Germany) Programme Committee The Programme Committee will include: * Nicolas Behr (CNRS, Paris, France) * Paolo Bottoni (Sapienza University of Rome, Italy) * Andrea Corradini (Università di Pisa, Italy) * Juergen Dingel (Queens University, Ontario, Canada) * Jörg Endrullis (Vrije Universiteit Amsterdam, Netherlands) * Reiko Heckel (University of Leicester, UK) * Barbara König (Universität Duisburg-Essen, Germany) * Juan De Lara (Universidad Autonoma de Madrid, Spain) * Rachid Echahed (CNRS, Grenoble, France) * James Fairbanks (University of Florida, USA) * Maribel Fernandez (King's College London, UK) * Fabio Gadducci (Università di Pisa, Italy) * Leen Lambers (BTU Cottbus - Senftenberg, Germany) * Yngve Lamo (Høgskulen på Vestlandet, Norway) * Mark Minas (Universität der Bundeswehr München, Germany) * Fernando Orejas (Technical University of Catalonia, Spain) * Detlef Plump (University of York, UK) * Chris Poskitt (Singapore Management University, Singapore) * Arend Rensink (University of Twente, Netherlands) * Andy Schürr (TU Darmstadt, Germany) * Gabi Taentzer (Philipps-Universität Marburg, Germany) * Kazunori Ueda (Waseda University, Japan) --------------------------------------- ** CONTACT ** All questions about submissions should be emailed to both PC Chairs via russell.harmer at ens-lyon.fr and kosiolje at uni-marburg.de --------------------------------------- From andre.van.hoorn at uni-hamburg.de Thu Nov 23 12:23:14 2023 From: andre.van.hoorn at uni-hamburg.de (Andre van Hoorn) Date: Thu, 23 Nov 2023 12:23:14 +0100 Subject: [fg-arc] CfP: Special Issue on "Quality in Software Architecture" in Journal of Systems and Software Message-ID: <1535639c-4db6-4b3d-8b4e-31d4997fd6cf@uni-hamburg.de> Liebe Kolleginnen und Kollegen, wir organisieren ein Special Issue zum Thema "Quality in Software Architecture" im Journal of Systems and Software (JSS): https://www.sciencedirect.com/journal/journal-of-systems-and-software/about/call-for-papers#quality-in-software-architecture. Schöne Grüße, André (van Hoorn) # Special Issue: "Quality in Software Architecture" Software architecture is the backbone of every software system, influencing its performance, reliability, maintainability, and more. This special issue aims to explore the multifaceted concept of quality in software architecture, focusing on quantifiable models, metrics, and assurance techniques that elevate software architecture to new heights. # Topics of interest include, but are not limited to: - Quantifiable models and metrics for Software Architecture (SA) quality - Balancing and trade-offs among different quality properties in SA - Refactoring and evolution of SA to improve quality - Automated optimization of SA with respect to quality attributes - Evaluating the quality of machine learning-based SA - Requirements engineering for SA quality assurance - Graphical visualization of quality properties within SA - User studies on quality aspects and quality assurance practices in SA - Empirical datasets for benchmarking SA quality assessment techniques - Measurement techniques for assessing the quality of SA # Important Dates: - Submission Open Date: January 1, 2024 - Manuscript Submission Deadline: April 1, 2024 - Notification to Authors (first round): June 1, 2024 - Submission of Revised Papers (second round): July 1, 2024 - Completion of the Review and Revision Process (final notification): October 1, 2024 +++ Submissions will be processed and start the reviewing process as soon as they arrive, without waiting for the submission deadline. We invite you to join us in advancing the field of Software Architecture by sharing your expertise and insights. If you have research or practical insights related to the quality of software architecture, we encourage you to submit your work. To learn more and submit your contributions, please visit https://www.sciencedirect.com/journal/journal-of-systems-and-software/about/call-for-papers#quality-in-software-architecture. We look forward to your valuable contributions and to collectively elevating the discussion on Software Architecture quality. Best regards, Daniele Di Pompeo, University of L'Aquila Michele Tucci, University of L'Aquila André van Hoorn, University of Hamburg (Guest Editors) -- Dr.-Ing. Andre van Hoorn University of Hamburg, Department of Informatics Software Engineering and Construction Methods andre.van.hoorn at uni-hamburg.de -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_0x7C97F82F702C5D77.asc Type: application/pgp-keys Size: 2465 bytes Desc: OpenPGP public key URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_signature.asc Type: application/pgp-signature Size: 665 bytes Desc: OpenPGP digital signature URL: From announce at ucy.ac.cy Fri Nov 24 10:46:35 2023 From: announce at ucy.ac.cy (Announce) Date: Fri, 24 Nov 2023 09:46:35 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): Final Call for Papers Message-ID: *** Final Call for Papers *** 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/ (*** Submission Deadline: Abstract: December 1, 2023 AoE; Paper: December 8, 2023 AoE ***) The CAiSE’24 organization calls for full papers with a special emphasis on the theme of Information Systems in the Age of Artificial Intelligence. Artificial Intelligence (AI) has emerged as a transformative technology, revolutionizing various industries, and its significance in Information Systems cannot be overstated. AI-powered systems have the potential to streamline operations, enhance decision-making processes, and drive innovation across organizations. From data analysis to automated processes, AI is reshaping the way we leverage information in the digital age. The relevance of AI in IS extends beyond internal operations. AI-powered predictive analytics enables organizations to forecast trends, anticipate customer needs, and optimize resource allocation. This empowers businesses to adapt swiftly to changing market dynamics, gain a competitive edge, and make proactive decisions. AI algorithms can also detect anomalies and patterns that indicate potential security breaches, contributing to robust cybersecurity measures in information systems. However, while acknowledging the benefits, it is essential to consider the ethical implications of AI in information systems. Ensuring data privacy, addressing bias in algorithms, and maintaining transparency are vital aspects that need to be carefully managed and regulated to foster trust and accountability. In addition to offering an exciting scientific program, CAiSE’24 will feature a best paper award, a journal special issue, and a PhD-thesis award: • Best Paper Award‚ prize EUR 1000 (sponsored by Springer) • A small selection of best papers will be invited to submit enhanced versions for consideration in a special issue of Elsevier Information Systems journal dedicated to this conference. • PhD-Thesis Award • Best PhD thesis of a past CAiSE Doctoral Consortium author (co-sponsored by the CAiSE Steering Committee and Springer) Papers should be submitted in PDF format. Submissions must conform to Springer‚ LNCS format and should not exceed 15 pages, including all text, figures, references, and appendices. Submissions not conforming to the LNCS format, exceeding 15 pages, or being obviously out of the scope of the conference, will be rejected without review. See the guidelines here: https://www.springer.com/comp/lncs/authors.html . The results described must be unpublished and must not be under review elsewhere. Three to five keywords characterizing the paper should be listed at the end of the abstract. Each paper will be reviewed by at least two program committee members and, if positively evaluated, by one additional program board member. The selected papers will be discussed among the paper reviewers online and during the program board meeting. As the review process is not blind, please indicate your name and affiliation on your submission. Accepted papers will be presented at CAiSE’24 and published in the Springer Lecture Notes in Computer Science (LNCS) conference proceedings. We invite three types of original and scientific papers. The type of submission must be indicated in the submission system. Each contribution should explicitly address the engineering or the operation of information systems, clearly identify the information systems problem addressed, the expected impact of the contribution to information system engineering or operation, and the research method used. We strongly advise authors to clearly emphasize these aspects in their paper, including the abstract. Technical papers describe original solutions (theoretical, methodological or conceptual) in the field of IS Engineering. A technical paper should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and its potential‚ as well as demonstrate the benefits of the contribution through a rigorous evaluation. Empirical papers evaluate existing problem situations including problems encountered in practice, or validate proposed solutions with scientific means, i.e., by empirical studies, experiments, case studies, experience reports, simulations, etc. Scientific reflection on problems and practices in industry also falls into this category. The topic of the evaluation presented in the paper as well as its causal or logical properties must be clearly stated. The research method must be sound and appropriate. Exploratory papers describe completely new research positions or approaches, in order to face a generic situation arising because of new ICT tools, new kinds of activities, or new IS challenges. They must precisely describe the situation and demonstrate why current methods, tools, ways of reasoning, or meta-models are inadequate. They must also rigorously present their approach and demonstrate its pertinence and correctness in addressing the identified situation. The topics of contribution include but are not limited to: • Novel Approaches to IS Engineering ◦ Artificial Intelligence and Machine Learning ◦ Robotic Process Automation (RPA) ◦ Big Data, Data Science and Analytics ◦ Blockchain applications in IS ◦ Simulation and Digital Twins  ◦ IS for collaboration and social computing  ◦ Virtual reality / Augmented Reality ◦ Context-aware, autonomous and adaptive IS • Models, Methods and Techniques in IS Engineering ◦ Ontologies and Ontology Engineering ◦ Conceptual modeling, languages and design ◦ Requirements engineering ◦ Process modeling, analysis and improvement ◦ Process automation, mining and monitoring ◦ Models and methods for evolution and reuse ◦ Domain and method engineering ◦ Product lines, variability and configuration management ◦ Compliance and alignment handling ◦ Active and interactive models ◦ Quality of IS models for analysis and design ◦ Visualization techniques in IS ◦ Decision models and business intelligence ◦ Knowledge graphs ◦ Human-centered techniques • Architectures and Platforms for IS Engineering ◦ Distributed, mobile and open architecture ◦ Big Data architectures ◦ Cloud- and edge-based IS engineering ◦ Service oriented and multi-agent IS engineering ◦ Multi-platform IS engineering ◦ Cyber-physical systems and Internet of Things (IoT) ◦ Workflow and Process Aware Information Systems (PAIS) ◦ Handling of real time data streams ◦ Content management and semantic Web ◦ Crowdsourcing platforms ◦ Conversational agents (chatbots) ◦ Microservices design and deployment • Domain-specific and Multi-aspect IS Engineering ◦ IT governance ◦ eGovernment ◦ Autonomous and smart systems (smart city management, smart vehicles, etc.) ◦ IS for healthcare ◦ Educational Systems and Learning Analytics ◦ Value and supply chain management ◦ Industry 4.0 ◦ Sustainability and social responsibility management ◦ Privacy, security, trust, and safety management ◦ IS in the post-COVID world Submit your paper using the Easy Chair link: https://easychair.org/conferences/?conf=caise2024 . IMPORTANT DATES • Abstract Submission: 1st December 2023 (AoE, extended and firm) • Paper Submission: 8th December 2023 (AoE, extended and firm) • Notification of Acceptance: 23rd February 2024 • Camera-ready Papers: 5th April 2024 • Author registration: 5th April 2024 ORGANISATION General Chairs • Haris Mouratidis, University of Essex, UK • Pnina Soffer, University of Haifa, Israel Local Organizing and Finance Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Giancarlo Guizzardi, University of Twente, The Netherlands • Flavia Maria Santoro, University of the State of Rio de Janeiro, Brazil Other Committee Members https://cyprusconferences.org/caise2024/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sun Nov 26 14:03:12 2023 From: announce at ucy.ac.cy (Announce) Date: Sun, 26 Nov 2023 13:03:12 +0000 Subject: [fg-arc] CAiSE'24 Forum: First Call for Papers and Tool Demonstrations Message-ID: *** CAiSE'24 Forum: First Call for Papers and Tool Demonstrations *** 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/ (*** Submission Deadline: March 4, 2024 AoE ***) The CAiSE Forum is a space within the CAiSE conference to present and discuss the new exciting ideas and tools related to Information Systems Engineering. The Forum intends to serve as an interactive platform, encourage potential authors to present emerging topics and controversial positions, and demonstrate innovative systems, tools, and applications. The Forum sessions at the CAiSE conference will facilitate the interaction, discussion, and exchange of ideas among presenters and participants. Contributions to the CAiSE'24 Forum are welcome to address any of the CAiSE'24 conference topics and, particularly, this year's theme—Information Systems in the Age of Artificial Intelligence. We invite two types of submissions: • Visionary papers present innovative research projects, which are still at a relatively early stage and do not necessarily include a full-scale validation. Visionary papers will be presented as posters in the Forum. • Demo papers describe innovative tools and prototypes that implement the results of research efforts. The tools and prototypes will be presented as demos in the Forum, accompanied by a poster. Both visionary papers and demo papers must not exceed 8 pages in LNCS format. See authors' guidelines at the Springer site: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . Papers should be submitted in PDF format through the conference management system available at Easy Chair (https://easychair.org/my/conference?conf=caise2024) and select the Forum option. The submitted papers must be unpublished and must not be under review elsewhere. PUBLICATION AND PRESENTATIONS Accepted papers will be published by Springer in a CAISE Forum proceedings volume within the Lecture Notes in Business Information Processing (LNBIP) series (https://www.springer.com/series/7911). Authors should consult Springer's authors guidelines and use their LaTeX or Word proceedings templates for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. It is expected that at least one of the authors attends CAiSE'24, presents the poster/delivers the demo, and interacts with the Forum participants. We also envision a short oral presentation for all papers to attract participants to the posters. IMPORTANT DATES • Paper Submission Deadline: 4th March, 2024 (AoE) • Notification of Acceptance: 1st April, 2024 • Camera-ready Deadline: 8th April, 2024 • Author Registration Deadline: 8th April, 2024 FORUM CHAIRS • Shareeful Islam, Anglia Ruskin University, United Kingdom • Arnon Sturm, Ben-Gurion University of the Negev, Israel FORUM COMMITTEE • Steven Alter, University of San Francisco • Abel Armas Cervantes, The University of Melbourne • Giuseppe Berio, Université de Bretagne Sud and IRISA UMR 6074 • Drazen Brdjanin, University of Banja Luka • Corentin Burnay, University of Namur • Cinzia Cappiello, Politecnico di Milano • Suphamit Chittayasothorn, King Mongkut's Institute of Technology Ladkrabang • Maya Daneva, University of Twente • Sergio de Cesare, University of Westminster • Johannes De Smedt, KU Leuven • Marne de Vries, University of Pretoria • Michael Fellmann, University of Rostock • Christophe Feltus, Luxembourg Institute of Science and Technology • Hans-Georg Fill, University of Fribourg • Janis Grabis, Riga Technical University • Sergio Guerreiro, INESC-ID / Instituto Superior Técnico • Martin Henkel, Stockholm University • Jennifer Horkoff, Chalmers University of Technology • Shareeful Islam, Anglia Ruskin University • Janis Kampars, RTU • Evangelia Kavakli, University of the Aegean • Marite Kirikova, Riga Technical University • Janne J. Korhonen, Aalto University • Elena Kornyshova, CNAM • Agnes Koschmider, University of Bayreuth • Chung Lawrence, University of Texas at Dallas • Henrik Leopold, Kühne Logistics University • Tong Li, Beijing University of Technology • Beatriz Marín, Universidad Politecnica de Valencia • Andrea Marrella, Sapienza University of Rome • Raimundas Matulevicius, University of Tartu • Jose Ignacio Panach Navarrete, Universitat de València • Oscar Pastor, Universidad Politécnica de Valencia • Francisca Pérez, Universidad San Jorge • Pierluigi Plebani, Politecnico di Milano • Manuel Resinas, University of Seville • Genaina Rodrigues, University of Brasilia • Ben Roelens , Open Universiteit, Ghent University • Mattia Salnitri, Politecnico di Milano • Stefan Strecker, University of Hagen • Arnon Sturm, Ben-Gurion University of the Negev • Irene Vanderfeesten, Katholieke Universiteit Leuven • Yves Wautelet, Katholieke Universiteit Leuven • Hans Weigand, Tilburg University • Manuel Wimmer, Johannes Kepler University Linz • Anna Zamansky, University of Haifa -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Nov 27 10:55:46 2023 From: announce at ucy.ac.cy (Announce) Date: Mon, 27 Nov 2023 09:55:46 +0000 Subject: [fg-arc] 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024): Third Call for Papers Message-ID: <0UBO8IE5-5CL-IE6C-WRRB-QLTKA1A2DU7Z@ucy.ac.cy> *** Third Call for Papers *** 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024) 19-21 June, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/iceccs2024/ (*** Submission Deadline: 8 December, 2023 AoE ***) Recent years have witnessed a rapidly rising emphasis on the design, implementation and management of complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defence, transportation, aerospace, hazardous environments, energy, and healthcare. These complex systems are frequently distributed over heterogeneous networks and process a large amount of data, leveraging emerging artificial intelligence (AI), large language models, and machine learning techniques. Complexity arises from many factors, including the dynamic environment and the scenarios these systems operate in, demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability, data heterogeneity, as well as the wide range of development methodologies, programming languages and implementation details. Performance, real-time behaviour, fault tolerance, robustness, security, adaptability, development time and cost, and long life concerns are some of the key issues arising in the development of such systems. The International Conference on Engineering of Complex Computer Systems (ICECCS) is a well-established event that has been held around the world for over 25 years. The goal of this conference is to bring together industrial, academic, and government experts from a variety of application domains and software disciplines, to discuss how the disciplines’ problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the conference includes long-term research issues, near-term requirements and challenges, established complex systems, emerging promising tools, and retrospective and prospective reflections of research and development into complex systems. LIST OF TOPICS Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: Requirements, modeling and formal methods • Requirements analysis and specification • Model-driven development • Model checking • SAT/SMT solvers for software analysis and testing AI, Complex intelligent models and complex systems • Big data management • Data-drive and AI-backed systems • Machine learning for Software Engineering • AI4SE and SE4AI • Adaptive, self-managing and multi-agent systems Security, reliability and dependability • Safety-critical and fault-tolerant architectures • Formal methods • Security and privacy of complex systems • Privacy-preserving AI • Fairness Software engineering • Verification and validation • Reverse engineering and refactoring • Software architecture • Human Machine Interaction • Agile methods Realistic complex systems • Ubiquitous computing, context awareness, sensor networks • Cyber-physical systems and Internet of Things (IoT) • Autonomous systems and self-healing systems • Industrial case studies Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. COLLABORATION WITH THE ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (TOSEM) To facilitate the dissemination of high-quality research presented at ICECCS 2024, selected papers will be invited to submit extended versions of their accepted conference papers to ACM Transactions on Software Engineering and Methodology (TOSEM). Authors of these selected papers are kindly requested to submit their extended manuscripts within six months following their conference presentation. Upon the authors' acceptance of this invitation, TOSEM will provide comprehensive instructions and requirements for the submission and review process. TOSEM will conduct its rigorous review process and make final decisions on acceptance. SUBMISSION AND PUBLICATION Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by the program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in the industry, and reflect on the lessons learnt from them. Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by the program committee members, and accepted short papers will be published in the conference proceedings. Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings have been published by the Conference Publishing Services (CPS) of the IEEE Computer Society. Submitted manuscripts should be in English and formatted in the style of the double-column IEEE CPS format. Full papers should not exceed 9 pages + 1 page for bibliography, and short papers should not exceed 5 pages + 1 page for bibliography, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately without review. Please prepare your manuscripts in accordance with the IEEE CPS guidelines. https://www.ieee.org/conferences/publishing/templates.html . We invite all prospective authors to submit their manuscripts via the ICECCS 2024 portal, hosted by the EasyChair conference management system. https://easychair.org/conferences/?conf=iceccs2024 . IMPORTANT DATES • Abstract Submissions Due: 08 December, 2023 AoE • Full Paper Submissions Due: 15 December, 2023 AoE • Acceptance/Rejection Notification: 15 March, 2024 • Camera-ready Due: 15 April, 2024 • Author Registration Due: 15 April, 2024 • Conference Dates: 19-21 June, 2024 ORGANISATION Steering Committee • Jin Song Dong, National University of Singapore, Singapore • Mike Hinchey, University of Limerick, Ireland • Xiaohong Li, Tianjin University, China • Shaoying Liu, Hiroshima University, Japan • Mauro Pezze, University in Lugano, Switzerland • Roy Sterritt, Ulster University, United Kingdom • Jing Sun (Chair), University of Auckland, New Zealand General Co-Chairs • Yamine Ait-Ameur, IRIT, France • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Guangdong Bai, University of Queensland, Australia • Fuyuki Ishikawa, National Institute of Informatics, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.lammich at utwente.nl Sun Nov 26 16:38:13 2023 From: p.lammich at utwente.nl (Peter Lammich) Date: Sun, 26 Nov 2023 16:38:13 +0100 Subject: [fg-arc] IJCAR 2024: 2nd Call for Papers Message-ID: ** *Apologies if you receive multiple copies of this CfP* * =======================================================================   CALL FOR PAPERS   IJCAR 2024   The 12th International Joint Conference on Automated Reasoning Nancy, France , July 1-6, 2024 https://ijcar2024.loria.fr/ ======================================================================= IJCAR is the premier international joint conference on all topics in automated reasoning. IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024. IJCAR 2024 is the merger of leading events in automated reasoning:   * CADE (Conference on Automated Deduction)   * FroCoS (Symposium on Frontiers of Combining Systems)   * TABLEAUX (Conference on Analytic Tableaux and Related Methods) TOPICS ====== IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. Original research papers and descriptions/evaluationsof working automated deduction systems or proof assistant systems are solicited. IJCAR topics include the following: * Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory. * Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, machine learning and theorem proving,integration of automated provers/proof assistants in automated test generators, program synthesisers, verified compilers, intelligent systems, agent based systems, knowledge processing systems, formal methods tools and other symbolic tools, etc. * Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation and processing/engineering, education, formalization of mathematics, trusted AI,etc. IMPORTANT DATES ================ 29 Jan 2024  Abstract submission 05 Feb 2024  Paper submission 28 Mar 2024  Notification of paper decisions 28 Apr 2024  Camera-ready papers due 1-2 Jul 2024  Workshops & Tutorials 3-6 Jul 2024  Conference, including CASC WORKSHOPS, TUTORIALS, SYSTEM COMPETITION ========================================== A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. The call for co-located events is available on the conference website. SUBMISSION GUIDELINES ====================== IJCAR 2024 invites submissions related to the topics of interest mentioned above. All papers must be original and not simultaneously submitted to another peer-reviewed journal or conference. The following paper categories are welcome: Regular papersdescribing solid new research results. They can be up to 15 pages in LNCS style, including figures but excluding references and appendices. Where applicable, regular papers are supported by experimental validation. Submissions reporting on case studies in an industrial context are strongly invited as regular papers. Short papersdescribing implemented systems, user experiences, case studies and domain models, etc. They can be up to 7 pages in LNCS style, excluding references and appendices. All submissions will be judged on relevance, originality, significance, correctness, and readability. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, e.g., via a reference to a website or in an appendix of the paper. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period. All submissions must be formatted using the Springer LNCS styles  and submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=ijcar2024 The IJCAR 2024 proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS) as Gold Open Access, and will be available online during the conference. At least one person must register for each accepted paper, and this registration must also cover the Gold Open Access processing fee of 200 Euro net per paper. Authors of accepted papers are required to ensure that at least one of them will participate in the conference and present the work. The papers delivered to us will be processed according to theour regular workflow, meaning Springer will generate both full-text HTML and PDF versions of the papers, to be made available in SpringerLink, and the full book will be available in PDF and ePub formats. The papers will be published under the CC-BY-4.0-license. BEST PAPER AWARD ================ IJCAR 2024 will recognize the most outstanding submissions with a best paper award and a best student paper award at the conference. STUDENT TRAVEL AWARDS ===================== Woody Bledsoe Travel Awards will be available to support selected students in attending the conference. ORGANIZATION ============ Conference Co-Chairs:   * Didier Galmiche (University of Lorraine, France)   * Stephan Merz (Inria Nancy, France)   * Christophe Ringeissen (Inria Nancy, France) Programme Chairs:   * Christoph Benzmüller (University of Bamberg & FU Berlin, Germany)   * Marijn Heule (Carnegie Mellon University, USA)   * Renate Schmidt (University of Manchester, UK) Workshop, Tutorial and Competition Chairs:   * Sophie Tourret (Inria Nancy, France) Publicity Chair   * Peter Lammich (University of Twente, The Netherlands) Local Arrangements   * Anne-Lise Charbonnier (Inria Nancy, France)   * Sabrina Verdenal (Inria Nancy, France) Programme Committee:   * The list of PC members is available on the conference website https://merz.gitlabpages.inria.fr/2024-ijcar/committee/pc/ * -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.lammich at utwente.nl Mon Nov 27 15:14:49 2023 From: p.lammich at utwente.nl (Peter Lammich) Date: Mon, 27 Nov 2023 15:14:49 +0100 Subject: [fg-arc] IJCAR 2024: 2nd call for co-located events Message-ID: <56766f58-ee8b-4632-9793-5780a14b9ca1@utwente.nl> /Apologies if you receive multiple copies/ *IJCAR 2024: 2nd call for co-located events* 12th International Joint Conference on Automated Reasoning – IJCAR 2024 July 1–6, 2024, Nancy, France https://ijcar2024.loria.fr DEADLINE EXTENSION: submissions open till December 8th, 2023 The International Joint Conference on Automated Reasoning (IJCAR 2024) is soliciting proposals for co-located events such as workshops, tutorials and competitions. Researchers are invited to submit proposals on any topic related to automated reasoning, from theoretical foundations to tools and applications. The co-located events will take place before the IJCAR conference on Monday & Tuesday, July 1-2, 2024. Proposals can have up to three pages and should consist of the following two parts.     A description part including:         a short scientific justification of the proposed topic, its           significance, and the particular benefits of the workshop to the           community, as well as a list of previous or related workshops (if           relevant);         a brief description (up to 120 words) of the event for the website and           publicity material.     An organisational part including:         contact information for the workshop organisers;         proposed affiliated conference;         estimate of the number of workshop participants;         proposed format and agenda (e.g. paper presentations, tutorials, demo           sessions, etc.)         potential invited speakers;         procedures for selecting papers and participants;         tentative schedule for paper submission and notification of acceptance;         plans (and needs) for remote participation [*];         plans for dissemination, if any (e.g. a journal special issue);         duration (which may vary from one day to two days);         any other special requirements. The organisers of co-located events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event through specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; plan for remote participation (if applicable); and arrange post-proceedings if any. The IJCAR organising committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants. Important Dates     Submission of co-located event proposals (extended): December 8th, 2023     Notification of success of proposals: December 11th, 2023     Main conference: July 3-6, 2024     Workshop dates: July 1-2, 2024 Proposals should be sent directly to Sophie Tourret by email at sophie.tourret at inria.fr . [*] A zoom connection can be provided on demand. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Thu Nov 30 10:02:50 2023 From: announce at ucy.ac.cy (Announce) Date: Thu, 30 Nov 2023 09:02:50 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): Last Mile for Paper Submission Message-ID: *** Last Mile for Paper Submission *** 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/ (*** Submission Deadline: Abstract: December 1, 2023 AoE; Paper: December 8, 2023 AoE ***) The CAiSE’24 organization calls for full papers with a special emphasis on the theme of Information Systems in the Age of Artificial Intelligence. Artificial Intelligence (AI) has emerged as a transformative technology, revolutionizing various industries, and its significance in Information Systems cannot be overstated. AI-powered systems have the potential to streamline operations, enhance decision-making processes, and drive innovation across organizations. From data analysis to automated processes, AI is reshaping the way we leverage information in the digital age. The relevance of AI in IS extends beyond internal operations. AI-powered predictive analytics enables organizations to forecast trends, anticipate customer needs, and optimize resource allocation. This empowers businesses to adapt swiftly to changing market dynamics, gain a competitive edge, and make proactive decisions. AI algorithms can also detect anomalies and patterns that indicate potential security breaches, contributing to robust cybersecurity measures in information systems. However, while acknowledging the benefits, it is essential to consider the ethical implications of AI in information systems. Ensuring data privacy, addressing bias in algorithms, and maintaining transparency are vital aspects that need to be carefully managed and regulated to foster trust and accountability. In addition to offering an exciting scientific program, CAiSE’24 will feature a best paper award, a journal special issue, and a PhD-thesis award: • Best Paper Award‚ prize EUR 1000 (sponsored by Springer) • A small selection of best papers will be invited to submit enhanced versions for consideration in a special issue of Elsevier Information Systems journal dedicated to this conference. • PhD-Thesis Award • Best PhD thesis of a past CAiSE Doctoral Consortium author (co-sponsored by the CAiSE Steering Committee and Springer) Papers should be submitted in PDF format. Submissions must conform to Springer‚ LNCS format and should not exceed 15 pages, including all text, figures, references, and appendices. Submissions not conforming to the LNCS format, exceeding 15 pages, or being obviously out of the scope of the conference, will be rejected without review. See the guidelines here: https://www.springer.com/comp/lncs/authors.html . The results described must be unpublished and must not be under review elsewhere. Three to five keywords characterizing the paper should be listed at the end of the abstract. Each paper will be reviewed by at least two program committee members and, if positively evaluated, by one additional program board member. The selected papers will be discussed among the paper reviewers online and during the program board meeting. As the review process is not blind, please indicate your name and affiliation on your submission. Accepted papers will be presented at CAiSE’24 and published in the Springer Lecture Notes in Computer Science (LNCS) conference proceedings. We invite three types of original and scientific papers. The type of submission must be indicated in the submission system. Each contribution should explicitly address the engineering or the operation of information systems, clearly identify the information systems problem addressed, the expected impact of the contribution to information system engineering or operation, and the research method used. We strongly advise authors to clearly emphasize these aspects in their paper, including the abstract. Technical papers describe original solutions (theoretical, methodological or conceptual) in the field of IS Engineering. A technical paper should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and its potential‚ as well as demonstrate the benefits of the contribution through a rigorous evaluation. Empirical papers evaluate existing problem situations including problems encountered in practice, or validate proposed solutions with scientific means, i.e., by empirical studies, experiments, case studies, experience reports, simulations, etc. Scientific reflection on problems and practices in industry also falls into this category. The topic of the evaluation presented in the paper as well as its causal or logical properties must be clearly stated. The research method must be sound and appropriate. Exploratory papers describe completely new research positions or approaches, in order to face a generic situation arising because of new ICT tools, new kinds of activities, or new IS challenges. They must precisely describe the situation and demonstrate why current methods, tools, ways of reasoning, or meta-models are inadequate. They must also rigorously present their approach and demonstrate its pertinence and correctness in addressing the identified situation. The topics of contribution include but are not limited to: • Novel Approaches to IS Engineering ◦ Artificial Intelligence and Machine Learning ◦ Robotic Process Automation (RPA) ◦ Big Data, Data Science and Analytics ◦ Blockchain applications in IS ◦ Simulation and Digital Twins  ◦ IS for collaboration and social computing  ◦ Virtual reality / Augmented Reality ◦ Context-aware, autonomous and adaptive IS • Models, Methods and Techniques in IS Engineering ◦ Ontologies and Ontology Engineering ◦ Conceptual modeling, languages and design ◦ Requirements engineering ◦ Process modeling, analysis and improvement ◦ Process automation, mining and monitoring ◦ Models and methods for evolution and reuse ◦ Domain and method engineering ◦ Product lines, variability and configuration management ◦ Compliance and alignment handling ◦ Active and interactive models ◦ Quality of IS models for analysis and design ◦ Visualization techniques in IS ◦ Decision models and business intelligence ◦ Knowledge graphs ◦ Human-centered techniques • Architectures and Platforms for IS Engineering ◦ Distributed, mobile and open architecture ◦ Big Data architectures ◦ Cloud- and edge-based IS engineering ◦ Service oriented and multi-agent IS engineering ◦ Multi-platform IS engineering ◦ Cyber-physical systems and Internet of Things (IoT) ◦ Workflow and Process Aware Information Systems (PAIS) ◦ Handling of real time data streams ◦ Content management and semantic Web ◦ Crowdsourcing platforms ◦ Conversational agents (chatbots) ◦ Microservices design and deployment • Domain-specific and Multi-aspect IS Engineering ◦ IT governance ◦ eGovernment ◦ Autonomous and smart systems (smart city management, smart vehicles, etc.) ◦ IS for healthcare ◦ Educational Systems and Learning Analytics ◦ Value and supply chain management ◦ Industry 4.0 ◦ Sustainability and social responsibility management ◦ Privacy, security, trust, and safety management ◦ IS in the post-COVID world Submit your paper using the Easy Chair link: https://easychair.org/conferences/?conf=caise2024 . IMPORTANT DATES • Abstract Submission: 1st December 2023 (AoE, extended and firm) • Paper Submission: 8th December 2023 (AoE, extended and firm) • Notification of Acceptance: 23rd February 2024 • Camera-ready Papers: 5th April 2024 • Author registration: 5th April 2024 ORGANISATION General Chairs • Haris Mouratidis, University of Essex, UK • Pnina Soffer, University of Haifa, Israel Local Organizing and Finance Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Giancarlo Guizzardi, University of Twente, The Netherlands • Flavia Maria Santoro, University of the State of Rio de Janeiro, Brazil Other Committee Members https://cyprusconferences.org/caise2024/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From luis.magdalena at upm.es Mon Nov 27 17:13:01 2023 From: luis.magdalena at upm.es (Luis Magdalena) Date: Mon, 27 Nov 2023 17:13:01 +0100 Subject: [fg-arc] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals Message-ID: <67ecb4d3-f969-41ec-a0cf-d26b2841afde@upm.es> The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974. We invite all members of the international AI research community to submit their best work to ECAI. We furthermore invite proposals for workshops and tutorials to be held during the first two days of the conference. Proposals from all subfields of AI, and organisers and presenters of all levels of seniority are welcome. The deadlines are as follows: Workshop proposals: Monday, 15 January 2024 Tutorial proposals: Thursday, 15 February 2024 Papers:    Thursday, 25 April 2024 (abstract deadline one week earlier) Demos:    Thursday, 9 May 2024 Consult the ECAI-2024 website for the full Calls: Call for Workshop Proposals:https://www.ecai2024.eu/calls/workshops Call for Tutorial Proposals:https://www.ecai2024.eu/calls/tutorials Call for Papers:https://www.ecai2024.eu/calls/main-track Call for Demos: https://www.ecai2024.eu/calls/demos Calls for the Doctoral Consortium and our sister conference on Prestigious Applications of Intelligent Systems (PAIS) will get published soon, so please stay tuned. -- Luis Magdalena Publicity Chair of the European Conference on Artificial Intelligence (ECAI-2024) -------------- next part -------------- An HTML attachment was scrubbed... URL: