From announce at ucy.ac.cy Sun Oct 1 13:36:08 2023 From: announce at ucy.ac.cy (Announce) Date: Sun, 1 Oct 2023 11:36:08 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): First Call for Papers Message-ID: *** First 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: 4th March 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 Mon Oct 2 12:35:41 2023 From: announce at ucy.ac.cy (Announce) Date: Mon, 2 Oct 2023 10:35:41 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): Last Call for Workshop Proposals Message-ID: *** Last Call for Workshop 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: October 13, 2023 AoE ***) CAiSE is a well-established, highly visible conference series on Advanced Information Systems (IS) Engineering. It covers all relevant topics in the area, including methodologies and approaches for IS engineering, innovative platforms, architectures and technologies, and engineering of specific kinds of IS. CAiSE conferences also have the tradition of hosting workshops in related fields. Workshops are intended to focus on particular topics and provide ample room for discussions of new ideas and developments. CAiSE 2024, the 36th edition of the CAiSE series, invites proposals for workshops to be held in conjunction with the main conference, related to the CAiSE topics, covering new emerging topics and targeting innovative papers in special focus areas. Prospective workshop organisers should specify whether they plan an event with a presentation-oriented track, a discussion-oriented track, or both. Presentation-oriented track This track focuses on accepted papers with presentations followed by Q&A sessions, akin to conferences. The proceedings of these workshops are intended to be published in a joint volume in the Springer LNBIP series. Submissions must  conform to the Springer LNCS/LNBIP format and should  not exceed 12 pages. According to the Springer standards, the overall acceptance rate cannot exceed 45%-50%. Discussion-oriented track This track emphasizes discussions facilitated by paper presentations revolving around novel ideas and early-stage research. Since the main criterion for paper acceptance in such workshops is relevance and potential for raising discussion, they are not expected to have their proceedings in the Springer LNBIP volume. The edition of a joint proceedings volume next to the LNBIP one for the discussion-oriented track is underway. Proceedings shall be submitted to CEUR-WS.org for online publication. Details on this aspect will be provided separately. Proposal submission Workshop proposals should be submitted via EasyChair at the following address: 
https://easychair.org/conferences/?conf=caise2024 
Please select the Author role and the CAiSE 2024 Workshops track. Prior contact with the workshop chairs (caise2024-workshops at easychair.org) is encouraged. The organizer(s) of approved workshops will be responsible for advertising their workshop, eliciting high-quality submissions, organizing the reviewing process of their workshop’s papers according to the principles and guidelines of CAiSE, and collecting camera-ready copies of accepted papers (verifying that they comply with the formatting rules). Organizers (including co-organizers) are expected to attend their entire workshop. Detailed instructions for workshop proposers The proposal (up to 1000 words) should cover the following points: • Workshop title, duration (1 day or 2 days), preferred date (3-4 June 2024) • Workshop type (presentation-oriented or discussion-oriented, or both). • Information on the organizers (PC chairs, other organizers who will be present at the workshop or are otherwise involved, including the person responsible for web presence and communication). Please include names, addresses, and affiliations, indicating the main responsible person. The submission should include a one-paragraph biographical sketch for each organizer, describing relevant qualifications and experience. Please specify at least one PC chair. PC chairs will not be allowed to submit papers to the workshop, but other organizers (who will have no oversight over the review process) are encouraged to do so. • Purpose: What are the main goals of the workshop? Please list the workshop topics. How does the focus of the workshop differ from the main conference? How does the focus of the workshop differ from other potential CAiSE events? (Proponents are advised to look at the workshops and working conferences held at CAiSE 2022 and CAiSE 2023 and differentiate your scope from theirs.) • Organization of the workshop: Specify the type of contributions, distribution into sessions, type of sessions, etc. Mention if you plan to have any keynote speaker (please note that the conference organization will not cover fees, travel expenses, accommodation and registration costs of keynote speakers). Include any special requirements regarding infrastructure and room layout. • Tentative list of PC members. • An estimate of the number of papers to be accepted, and the number of attendees. If applicable, short information on previous editions of the workshop series (this should include submission, acceptance, and attendance information). Short information on your plans for advertising your workshop and making it highly visible. Services provided by CAiSE • EasyChair installation for the management of the workshop submissions (each organizer will be made chair of their own workshop). • Publication of papers in an LNBIP volume for presentation-oriented tracks, and in a CEUR-WS.org online volume for discussion-oriented tracks. • One free workshop-only registration if more than 10 people are registered for the workshop. Organizers willing to attend the whole event (main conference) will have to register for the conference at their own expense. • Local organizational infrastructure and administrative support (registration, badges, refreshments, beamers, screens, etc.). In particular, all venue issues (rooms, meals and catering, social dinner, etc.) as well as the management of the registrations and the financing/administrative issues will be handled by the CAiSE Organization Board and are not under the responsibility of the workshop organizers. • Advertisement of the workshop on the CAiSE 2024 homepage and mailings. Please note that the workshop may be canceled if the number of registrations is less than 10. Also, in the case of workshops with topics that are similar, two or more workshops may be suggested to merge together. Key Dates • Submission of workshops proposals (via Easychair): October 13th, 2023 (AoE) • Workshop notifications: November 3rd, 2023 • Workshop paper submission (tentative, recommended for presentation-oriented tracks): March 6th, 2024 (AoE) • Workshop paper decision (recommended for presentation-oriented tracks): April 3rd, 2024 • Camera-ready due (recommended for presentation-oriented tracks): April 22nd, 2024 • Author registration for workshops papers: April 22nd, 2024 • Workshops: June 3rd-4th, 2024 Contact For more information and inquiries, please feel free and welcome to contact the Workshop Chairs at the following address: caise2024-workshops at easychair.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Tue Oct 3 16:28:09 2023 From: announce at ucy.ac.cy (Announce) Date: Tue, 3 Oct 2023 14:28:09 +0000 Subject: [fg-arc] 21st International Conference on Software and Systems Reuse (ICSR 2024): First Call for Papers Message-ID: *** First 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: January 22, 2024, AoE • Full paper submission: January 29, 2024, AoE • Notification: March 8, 2024, AoE • Camera Ready: March 22, 2024, AoE • Author Registration: March 22, 2024 AoE ORGANISATION Steering Committee • Eduardo Almeida, Federal University of Bahia, Brazil • Goetz Botterweck, Lero, University of Limerick, Ireland • Rafael Capilla Sevilla, Universidad Rey Juan Carlos, 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 gisellitto at unisa.it Thu Oct 5 09:58:19 2023 From: gisellitto at unisa.it (Giulia SELLITTO) Date: Thu, 5 Oct 2023 09:58:19 +0200 Subject: [fg-arc] [Call for Papers] EASE 2024 - Evaluation and Assessment in Software Engineering Message-ID: The International Conference on Evaluation and Assessment in Software Engineering (EASE) is one of the premier conferences for research related to empirical software engineering. EASE is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A conference in CORE. The 28th edition of EASE will take place from 18 to 21 June 2024 in Salerno, Italy. EASE 2024 welcomes high-quality submissions, describing original and unpublished research for the following tracks: full research papers, vision & emerging results, short papers & posters, industry, and a doctoral symposium. There will also be co-located events, including workshops and tutorials, and a track planned for journal-first presentations. For further information, please visit the official website https://conf.researchr.org/home/ease-2024 Call for Papers - Research Track The EASE research track seeks high quality submissions of technical research papers describing original and unpublished results. EASE welcomes papers addressing topics related to evaluating and assessing software products, processes, practices, tools & techniques including: - Meta-science (e.g., papers about research methods and methodological issues, whether empirical or conceptual) - Infrastructure and techniques for conducting empirical studies on SE. - Theory development, operationalization, testing and application. - Applications of evaluation and assessment in specific contexts, such as - Software Requirements - Software Architecture - Software Design - Software Construction - Software Testing - Software Engineering Operations - Software Maintenance - Software Configuration Management - Software Engineering Management - Software Engineering Models and Methods - Software Engineering Process - Software Quality - Software Security - Software Engineering Economics - Software Engineering Professional Practice - Computing Foundations - Human factors and behavioral aspects of SE - Inter- or multi-disciplinary studies intersecting software engineering - Evaluation and comparison of technologies and approaches (e.g., IoT, Context–Awareness, Cyber-physical) Similarly, EASE welcomes papers employing any of the following empirical methods in SE: - Action Research - Benchmarking - Case Study - Case Survey - Data Science - Engineering Research (aka design as research, design science) - Experiment with human participants - Grounded Theory - Longitudinal Study - Meta-science - Mixed Methods (also select methods that were mixed) - Optimization Studies - Qualitative Survey (i.e., interview study) - Quantitative Simulation - Questionnaire Survey (quantitative) - Repository Mining - Systematic Literature Review - Mixed methods and multi-methodology - Replication studies EASE also welcomes studies with negative findings or non-significant results. Important Dates Abstract Submission deadline: 11 January 2024, AoE Submission deadline: 18 January 2024, AoE Notification: 6 March 2024, AoE Camera ready: 26 April 2024, AoE Early registration deadline: 5 May 2024, AoE Further Information Further information on all the tracks can be accessed on the official website https://conf.researchr.org/home/ease-2024 X (Twitter) official account: @ConfEASE (https://twitter.com/ConfEASE) Official Hashtag: #EASE2024 -------------- next part -------------- An HTML attachment was scrubbed... URL: From shang at encs.concordia.ca Thu Oct 5 20:38:37 2023 From: shang at encs.concordia.ca (Weiyi(Ian) Shang) Date: Thu, 5 Oct 2023 14:38:37 -0400 Subject: [fg-arc] Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2023 Message-ID: The SPEC Kaivalya Dixit Distinguished Dissertation Award aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. Nominated dissertations will be evaluated in terms of scientific originality, scientific significance, practical relevance, impact, and quality of the presentation. The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. The winner will receive $1000, which will be awarded at the ACM/SPEC International Conference on Performance Engineering (ICPE 2024). Nomination Guidelines A nomination consists of one PDF file less than 20MB that must include the following information in this order: A nomination letter with the name of the student, the title of the dissertation, the institution where the dissertation was defended, and the date of the defense. The nomination letter should outline the outstanding contributions of the dissertation and should not exceed 2 pages (letter size) using 11 point font. A C.V. of the nominee (up to three pages) that clearly marks all publications/technical reports that are included in the dissertation. The dissertation itself, including a one-page extended abstract of the dissertation. The dissertation may be accompanied by publications describing the same research as the dissertation. However, the dissertation itself also needs to be submitted. SPEC Kaivalya Dixit Distinguished Dissertation Award is open to dissertations defended between October 2021 and September 2023; a thesis can be nominated only once, which means that a 2022 thesis nominated in 2023 cannot be nominated again in 2024. If there are several outstanding submissions, the committee may choose to split the award. Nominations should be uploaded to EasyChair at URL: https://easychair.org/conferences/?conf=specaward2023. The submission system is open with a hard nomination deadline of October 20st, AOE. Nominations can be provided by anyone except the thesis author. Typically, it is the thesis advisor or a member of the thesis defense committee, but other people – especially experts in performance evaluation – can do so as well. List of Topics The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. Selection committee Cristina Abad (University in Guayaquil, Ecuador), selection committee chair Varsha Apte, IIT Bombay, India Valeria Cardellini, Università degli Studi di Roma "Tor Vergata", Italy David Daly, MongoDB, USA Anshul Gandhi, Stony Brook University, USA Klaus Lange, Hewlett Packard Enterprise (HPE), USA Arif Merchant, Google, USA Evgenia Smirni, William and Mary, USA Marco Vieira, University of Coimbra, Portugal Jan Vitek, Charles University, Czech Republic Contact All questions about submissions should be emailed to nominations at spec dot org. -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at se-rwth.de Sat Oct 7 16:11:04 2023 From: michael at se-rwth.de (Michael, Judith) Date: Sat, 7 Oct 2023 14:11:04 +0000 Subject: [fg-arc] ECMFA 2024 | Call for Papers Message-ID: ------------------------------------------------------------------------ ECMFA 2024 - Call for Papers 20th European Conference on Modelling Foundations and Applications (ECMFA 2024) July 2024 - Twente, The Netherlands (co-located with STAF 2024) https://conf.researchr.org/home/staf-2024 ------------------------------------------------------------------------ Model-Based Engineering (MBE) is an approach to the design, analysis, and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality. The European Conference on Modelling Foundations and Applications (ECMFA) is the premier European forum dedicated to advancing the state of knowledge and fostering the application of all aspects of MBE and related approaches. This year ECMFA will rely on two independent rounds of reviewing, starting in December and February respectively. Papers accepted in the first round are published as soon as they are ready, and presented at the conference. Papers accepted in the second round are published after the camera-ready deadline and presented at the conference. The outcome of each review process can be: Accept, Accept with minor revisions, Resubmit with major revision or Reject. Authors will be granted enough time to apply the required changes. All accepted papers will be published in the JOT journal, which is platinum open-access and indexed by Scopus, DBLP, and Scientific Commons, among others. =========== Call for Papers =========== We are soliciting papers presenting original research on all aspects of model-based engineering. Two types of submissions are possible: * Foundation Papers, dealing with modeling foundations, such as metamodeling, model transformations, model validation, verification and testing, model engineering methods and tools, and related aspects. * Application Papers, dealing with the application of modeling techniques, including experience reports on the use of MBE methods and tools, industrial case studies, or successful applications of MBE practices in industry or in public administration, with significant modeling lessons learned. All applications must have been done in real contexts and at least one of the authors of the paper must be from the company or administration where the application took place. =========== Submission process =========== Submissions must conform to the JOT LaTeX template and must not exceed 14 pages (including figures, references, and appendices). Failure to conform to these guidelines may result in disqualification of the paper. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed; any concurrent submission will be deemed as a serious breach of scientific ethics, resulting in the immediate rejection of the paper and appropriate action will be taken. All submissions will be peer-reviewed by at least three members of the Program Committee. All papers have to be submitted electronically in PDF format through Easychair. Topics of interest include, but are not limited to: * Foundations of MBE, including model transformations, domain-specific languages, verification and validation approaches, etc. * Novel paradigms, formalisms, applications, approaches, frameworks, or processes for model-based engineering such as low-code/no-code development, digital twins, etc. * Interplay between MBE with and for AI-based systems. * Application of MBE methods, tools, and techniques to specific domains, e.g., automotive, aerospace, cyber-physical systems, robotics, Artificial Intelligence or IoT. * Successful use of MBE in connection with other disciplines and approaches, such as Artificial Intelligence, Blockchain, DevOps, or Open Source, Safety Assurance. * Educational aspects of MBE. * Tools and initiatives for the successful adoption of MBE in industry. Review criteria and process All papers will be assessed by the program committee in terms of their novelty, significance, technical quality, rigor, and suitability for the conference. Contributions can be submitted to any of the two submission periods. In both rounds, each submitted paper can be recommended by the Program Committee to be accepted as is, accepted with minor revisions, undergo major revisions, or rejected. Papers accepted at any of the two rounds with major or minor revisions will be given a specified period of time to perform the revisions and re-submit. The same reviewers will assess how well the revision requests have been addressed by the authors, and whether the final paper maintains or improves the level of contribution of the original submission. Revisions that significantly lessen the contribution of the work or that fail to adequately address the reviewers' original concerns will result in the paper's rejection. Papers not accepted but with a sufficient level of quality may be encouraged to be re-submitted next year, or alternatively as regular JOT articles, hence continuing their review process through the normal journal channels. Artifacts Artifacts are recommended, but not required, for the initial submission. Depending on the papers, reviewers may take the existence of artifacts as a positive signal about the work. Also depending on the papers, artifacts may be required as a condition for publication. Publication All accepted papers will be published as platinum open-access journal publications in JOT. At least one author for each accepted paper must register before the early registration deadline and present the paper during the conference. Failure to do so will result in the paper being withdrawn from the proceedings. =============== Important Dates =============== * Round 1 - Submission: Dec 1, 2023 - Notification: Jan 19, 2024 * Round 2 - Submission: Feb 23, 2024 - Notification: Apr 10, 2024 * Conference: July, 2023 =========== Contact =========== The PC Chairs Adrian Rutle (Western Norway University of Applied Sciences, NO, Adrian.Rutle at hvl.no) and Judith Michael (RWTH Aachen University, DE, michael at se-rwth.de) are looking forward to your submissions! -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at se-rwth.de Sat Oct 7 16:09:47 2023 From: michael at se-rwth.de (Michael, Judith) Date: Sat, 7 Oct 2023 14:09:47 +0000 Subject: [fg-arc] Modellierung 2024 | Deadline Extension Message-ID: <32e9dd0b5fbe4dfab941f1ca2e42d9c5@se-rwth.de> Liebe Kolleginnen und Kollegen, Die Einreichfrist für die Konferenz Modellierung 2024 wurde um eine Woche auf den 16.10. verschoben - siehe https://bpt.hpi.uni-potsdam.de/modellierung2024/submissions/ Wir freuen uns auf die Einreichungen von allen Modellierungsbegeisterten aus unterschiedlichen Bereichen der Informatik! Beste Grüße, Judith Michael und Mathias Weske ******************** Dear colleagues, the Modellierung 2024 conference has extended the deadline for submissions to 16.10. - see https://bpt.hpi.uni-potsdam.de/modellierung2024/submissions/en/ We look forward to receiving submissions from all modeling enthusiasts from different fields of computer science! Best regards, Judith and Mathias -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.jurjo at imdea.org Thu Oct 12 12:06:49 2023 From: daniel.jurjo at imdea.org (Daniel Jurjo) Date: Thu, 12 Oct 2023 12:06:49 +0200 Subject: [fg-arc] LOPSTR 2023 - Final Call for Participation Message-ID: ** Apologies for multiple postings ** ----------------------------------------------------------------------                           Call for Participation                                 LOPSTR 2023                The 33rd International Symposium on Logic-based                    Program Synthesis and Transformation        Cascais (Lisbon), Portugal, Mon 23 - Tue 24, October 2023                   Colocated with PPDP 23 as part of SPLASH 23                      https://lopstr.github.io/2023/ ----------------------------------------------------------------------   Registration is now open for LOPSTR 2023!   The 33rd International Symposium on Logic-based Program Synthesis and   Transformation will be co-located with PPDP 2023 as part of SPLASH   2023 in Cascais (Lisbon), Portugal and held on October 23-24.   REGISTRATION   *Virtual registration is also possible*   Registration link: https://2023.splashcon.org/attending/Registration   INVITED SPEAKERS   - Manuel V. Hermenegildo     On-The-Fly Verification via Incremental, Interactive Abstract     Interpretation with CiaoPP and VeriFly.   - Maribel Fernandez     Unification Modulo Equational Theories in Languages with Binding     Operators   ACCEPTED PAPERS   - Gonzague Yernaux and Wim Vanhoof. Predicate Anti-unification in     (Constraint) Logic Programming   - Bach Nguyen Trong, Kanae Tsushima and Zhenjiang Hu. Design Datalog     Templates for Synthesizing Bidirectional Programs from Tabular     Examples   - John P. Gallagher, Manuel V. Hermenegildo, Jose F. Morales and     Pedro Lopez-Garcia. Transforming big-step to small-step semantics     using interpreter specialisation   - Hector Suzanne and Emmmanuel Chailloux. A reusable machine-calculus     for automated resource analyses   - Jordina Francès de Mas and Juliana Bowles. A novel EGs-based     framework for systematic propositional-formula simplification   - Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel     V. Hermenegildo. A rule-based approach for designing and composing     abstract domains   - Marija Kulas. A term matching algorithm and substitution generality   - Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical     Interpretation of Asynchronous Multiparty Compatibility   - Anna Bamberger and Maribel Fernandez. From Static to Dynamic Access     Control Policies via Attribute-Based Category Mining   - Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz     and Ekaterina Komendantskaya. Towards a Certified Proof Checker for     Deep Neural Network Verification   - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and     Maurizio Proietti. Constrained Horn Clauses Satisfiability via     Catamorphic Abstractions   - Peter Lozov, Dmitry Kosarev, Dmitry Ivanov and Dmitry     Boulytchev. Relational Solver for Java Generics Type System From Cassia.Trojahn at irit.fr Sun Oct 15 10:26:10 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Sun, 15 Oct 2023 10:26:10 +0200 Subject: [fg-arc] =?utf-8?q?First_Call_for_papers=3A_Special_issue_on_Ont?= =?utf-8?q?ology_Matching_and_Machine_Learning_=28Semantic_Web_Journal=29?= Message-ID: <74c-652ba200-e9-4042bf80@48556064> Special issue on Ontology Matching and Machine Learning https://www.semantic-web-journal.net/blog/special-issue-ontology-matching-and-machine-learning ------------------- This special issue aims to discuss the latest research proposals and on the use of machine learning for ontology matching, data interlinking, and data integration in general. Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. While early approaches have addressed the use of machine learning, new deep learning and large language models have gained attention in the field, proving new ways of capturing the relationships between the entities of different ontologies. The special issue aims at providing a comprehensive view of the latest research advancements and inspire further research in this evolving area. We welcome original research papers that propose novel techniques, models, and frameworks for ontology matching, data interlink and data integration. ------------------- Themes and Topics ------------------- We are interested in (including but not limited to) the following themes and topics that study the application of deep learning and large langage models in general: - Matching and deep learning - Matching and large language models - Learning in instance matching, data interlinking - Large-scale and efficient matching techniques - Matching and neuro-symbolic techniques - Matcher selection, combination and tuning - User involvement - Explanations in matching - Social and collaborative matching - Uncertainty in matching - Expressive alignments - Reasoning with alignments - Alignment coherence and debugging - Matching for emerging applications (e.g., web tables, knowledge graphs) - Benchmarks for machine learning oriented matching ------------------- Deadline ------------------- Submission deadline: 20th February 2024. Papers submitted before the deadline will be reviewed upon receipt. ------------------- Author Guidelines ------------------- We invite full papers, dataset descriptions, application reports and reports on tools and systems. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this special issue. Authors can extend previously published conference or workshop papers; guidelines for this can be found in FAQ 9. Submissions shall be made through the Semantic Web journal website at http://www.semantic-web-journal.net. Prospective authors must take notice of the submission guidelines posted at http://www.semantic-web-journal.net/authors. We welcome any submission type as described http://www.semantic-web-journal.net/authors#types. While there is no upper limit, paper length must be justified by content. Note that you need to request an account on the website for submitting a paper. Please indicate in the cover letter that it is for the "Ontology Matching and Machine Learning" special issue. All manuscripts will be reviewed based on the SWJ open and transparent review policy and will be made available online during the review process. Also note that the Semantic Web journal is open access and all submissions rely on an open and transparent review process (see FAQ 1). Finally please note that submissions must comply with the journal’s Open Science Data requirements, which are detailed in the corresponding blog post. ------------------- Guest Editors The guest editors can be reached at om-ml at googlegroups.com . ------------------- Cássia Trojahn, IRIT, France Sven Hertling, University of Mannheim, Germany Huanyu Li, Linköping University, Sweden Oktie Hassanzadeh, IBM Research, USA ------------------- Guest Editorial Board ------------------- Ernesto Jiménez-Ruiz, City, University of London, UK & SIRIUS, University of Oslo, Norway Pavel Shvaiko, Trentino Digitale, Italy Jérôme Euzenat, INRIA & Univ. Grenoble Alpes, France TO BE COMPLETED From p.lammich at utwente.nl Tue Oct 17 16:52:44 2023 From: p.lammich at utwente.nl (Peter Lammich) Date: Tue, 17 Oct 2023 16:52:44 +0200 Subject: [fg-arc] IJCAR 2024 --- Call for Papers Message-ID: <13f5aded-4559-43a8-8f39-aacf0f701bfe@utwente.nl> ** *IJCAR 2024* * =======================================================================   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 (partly tentative) ================ 15 Jan 2024  Abstract submission deadline 22 Jan 2024  Paper submission deadline 15 Mar 2024  Notification of paper decisions (tentative) 04 Apr 2024  Camera-ready papers due (tentative) 1-2 Jul 2024Workshops & Tutorials 3-6 Jul 2024Conference, 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. Details will be published in separate calls and 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. All accepted papers must have one registration including the processing fees of the Gold Open Access (200 Euros per paper is foreseen, like for the previous edition of IJCAR). Authors of accepted papers are required to ensure that at least one of them will participate in the conference and present the work. 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:   * TBA * -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sun Oct 22 15:38:02 2023 From: announce at ucy.ac.cy (Announce) Date: Sun, 22 Oct 2023 13:38:02 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): Second Call for Papers Message-ID: *** Second 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 announce at ucy.ac.cy Mon Oct 23 14:34:48 2023 From: announce at ucy.ac.cy (Announce) Date: Mon, 23 Oct 2023 12:34:48 +0000 Subject: [fg-arc] 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024): Second Call for Papers Message-ID: *** Second 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. 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 Wed Oct 25 10:24:13 2023 From: p.lammich at utwente.nl (Peter Lammich) Date: Wed, 25 Oct 2023 10:24:13 +0200 Subject: [fg-arc] IJCAR 2024: call for co-located events Message-ID: IJCAR 2024: call for co-located events 12th International Joint Conference on Automated Reasoning – IJCAR 2024 July 1–6, 2024, Nancy, France https://ijcar2024.loria.fr 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: November 27th, 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. From victoriaeyharabide at gmail.com Wed Oct 25 16:37:52 2023 From: victoriaeyharabide at gmail.com (Victoria Eyharabide) Date: Wed, 25 Oct 2023 16:37:52 +0200 Subject: [fg-arc] Postdoctoral position - Semantic graphs in digital humanities Message-ID: *(Apologies for multiple postings)* *Postdoctoral Researcher/Research Engineer Position on “Semantic graphs in digital humanities”* 1 Information about the internship • *Supervisors:* – Anne-Valerie PONT-BOULAY , associate professor in Roman History, UMR 8167 Centre Antiquité Classique et Tardive, Sorbonne Université – Victoria EYHARABIDE , associate professor in computer science, STIH Laboratory, Sorbonne Université • *Location: *Maison de la recherche, Sorbonne Université - 28 rue Serpente, 75006 Paris. • *Duration: *24 months (possibility to be extended up to 5 years) • *Keywords: *Digital humanities, knowledge representation and reasoning, knowledge graphs, Roman history. • *Project*: ERC Consolidator Grant *PECUNIA* – *Private interests in public functions: Framing a new paradigm of power in the cities of the Roman empire* (70 BC-284 AD) • *Environment*: The PECUNIA project also benefits from the infrastructure of the *Sorbonne Center for Artificial Intelligence* (SCAI ) . • *Remuneration*: between €2905 and €4566.02 depending on experience • *Start date*: The position is available from February 1st, 2024. 2 Project background The *PECUNIA* project – Private interests in public functions: Framing a new paradigm of power in the cities of the Roman empire (70 BC-284 AD), funded by an ERC Consolidator Grant (2022), aims to study the economic and material resources provided through the participation in public life of different elite groups in the cities of the Roman Empire. The objective is to create analytical tools to study the resources, institutions, and social groups involved in their functioning. Over five years, this project will bring together historians, epigraphists, papyrologists, and computer science researchers. We will bring together thousands of sources from the Roman Empire (written, both epigraphic, and "literary" sources mainly in Latin and Greek) and then structure these data (geolocation, bibliographic references, prosopographic data, institutional position, and available resources) in the context of Linked open data. The final objective aims to offer, in addition to access to the data themselves, a new tool accessible to different specialist audiences to quantify, visualize, and model them using knowledge graphs. 3 Job description The candidate's main objective will be to develop and implement computational solutions for creating a domain-specific knowledge graph gathering historical data. The candidate will build the knowledge base using the Patrimonium editor designed by Ausonius (Bordeaux), and create new solutions to depict the intricate and complex power relations that underlie the distribution of the financial and material resources available among aristocratic groups in the Roman Empire. Effectively identifying and linking people, resources, roles, and cities will receive special consideration. The candidate will work in close collaboration with researchers in history and epigraphy to find the best solutions to implement the database of the project and curate data. Finally, the candidate will design innovative user interfaces for displaying and querying the knowledge base. The candidate will be under the supervision of PECUNIA’s project PI, Anne-Valérie Pont, and Victoria Eyharabide, a specialist in Computer Sciences; the candidate will also have the opportunity to benefit from the scientific context of the *Sorbonne Center for Artificial Intelligence* (SCAI ) and regular interactions with its researchers. The ambition of SCAI is to contribute significantly to the excellence of interdisciplinary research and education in artificial intelligence by promoting exchanges between researchers, students, and industry. 4 Profile of applicant Applicants are required to have: • A Ph.D. in Computer Science or Digital Humanities. Doctoral students about to graduate (before the end of 2023) are invited to apply! • Advanced skills in Python programming are mandatory. • Strong background in two areas of artificial intelligence: semantic web technologies (ontologies, reasoning models, linked data, SPARQL) and automatic learning of graphs and vector representations. • Fluency in written and spoken English is essential. • Excellent communication skills to discuss with researchers from different backgrounds (mainly historians and epigraphers). Ideally, we are also searching for candidates with the following desired qualifications: • Documented experience in the implementation of machine learning methods for the analysis of knowledge graphs. • Expertise in technical aspects related to data sharing, database systems, linked data/RDF, knowledge graphs, data semantics, and inference engines is desired. • Experience in knowledge open-source tools for knowledge graphs such as Neo4J RDF Semantic Toolkit, RDF4J, and GraphDB. • Communication skills in French are a plus but not required. The position is open immediately. Review of applications will begin as soon as applications are received and continue until the position is filled. 5 Application Applicants should send an email to Victoria Eyharabide maria-victoria.eyharabide at sorbonne-universite.fr and Anne-Valerie PONT-BOULAY anne-valerie.pont-boulay at sorbonne-universite.fr with: • A full curriculum vitae including a complete list of publications • A transcript of higher education records • A one-page research statement discussing how the candidate's background fits the proposed topic • Two support letters from persons who have worked with them. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ERC PECUNIA post-doc semantic graphs.pdf Type: application/pdf Size: 240103 bytes Desc: not available URL: