From announce at ucy.ac.cy Wed Jan 3 12:12:44 2024 From: announce at ucy.ac.cy (Announce) Date: Wed, 3 Jan 2024 11:12:44 +0000 Subject: [fg-arc] CAiSE'24 Forum: Second Call for Papers and Tool Demonstrations Message-ID: *** CAiSE'24 Forum: Second 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: 4th March, 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 Fri Jan 5 12:41:56 2024 From: announce at ucy.ac.cy (Announce) Date: Fri, 5 Jan 2024 11:41:56 +0000 Subject: [fg-arc] 21st International Conference on Software and Systems Reuse (ICSR 2024): Fourth Call for Papers Message-ID: <23XCWK6E-XWZN-MTRP-JU68-6HVJ142TAY8Y@ucy.ac.cy> *** Fourth 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 15, 2024, AoE • Author Registration: April 15, 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 sauer at uni-paderborn.de Fri Jan 5 13:53:52 2024 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 5 Jan 2024 13:53:52 +0100 Subject: [fg-arc] Call for Papers: HCSE 2024 Conference on Human-Centered Software Engineering (submissions due: February 16 / April 5) Message-ID: *(Apologies if you receive multiple e-mails on this subject via different channels!)* *HCSE 2024* *Call for Papers* *10th International Working Conference on Human-Centered Software Engineering* *8th to 10th of July, 2024, Reykjavik, Iceland*** *http://www.hcse-conference.org* ** *Submission dates:* *Technical full papers, late breaking results: *Friday, February 16th, 2024 *Demos, posters and Discussion Forum short papers*: Friday, April 5th, 2024 *HCSE*is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design . We aim at *bringing together researchers and practitioners* interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes - more info on the topics on: https://hcse-conference.org/ A novelty of *HCSE 2024* is the *Discussion Forum for PhD students* who want to present and intensively discuss with established researchers their research ideas and get feedback and/or guidance for the continuation of their work in a friendly and constructive atmosphere. Altogether, HCSE 2024 welcomes the following types of contributions: * * * Technical full papers (up to 20 pages) * Late-breaking result papers (up to 12 pages) * Demonstration papers (5–8 pages) * Poster papers (5–8 pages, plus poster design draft) * Discussion Forum papers from PhD students (5–8 pages, plus poster design draft) * * Further information on these formats can be obtained from:https://hcse-conference.org/ All accepted papers will appear in the conference proceedings published by Springer in the *LNCS* series. *Submissions and Reviewing Process* All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed *double-blind*; demonstrations, posters and Discussion Forum submissions *single-blind*. Authors must prepare their submission files accordingly! For poster and Discussion Forum submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. *Proceedings* All accepted papers will appear in conference proceedings published by Springer.They must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. *Presentations* All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results papers to give tool demos as well without submitting additional demo papers. * * *Important Dates* *Technical full and late breaking results papers* -Submission: Friday, February 16th, 2024 -Notification to authors: Friday, March 22nd, 2024 -Camera-ready due: Friday, April 19th, 2024 *Demos, posters and Discussion Forum short papers* -Submission: Friday, April 5th, 2024 -Notification to authors: Friday, April 19th, 2024 -Camera-ready due: Friday, May 3rd, 2024 *Conference dates*: July 8th – 10th, 2024 * * *Organizers* *General Conference Chairs:* * Marta Kristín Lárusdóttir, Reykjavik University, Iceland * Bilal Naqvi, LUT University, Lappeenranta, Finland *Technical Paper Chairs:* * Carmelo Ardito, LUM Giuseppe Degennaro University, Italy * Regina Bernhaupt, Eindhoven University of Technology, The Netherlands * Stefan Sauer, Paderborn University, Germany *Demos & Posters Chair:* Bilal Naqvi, LUT University, Lappeenranta, Finland *Discussion Forum for PhD Students Chair:* Marta Kristín Lárusdóttir, Reykjavik University, Iceland *Local Organizers:* * Marta Kristín Lárusdóttir, Reykjavik University, Iceland * Anna Sigríður Islind, Reykjavik University, Iceland * Grischa Liebel, Reykjavik University, Iceland -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5449 bytes Desc: Kryptografische S/MIME-Signatur URL: From luis.magdalena at upm.es Mon Jan 8 12:44:19 2024 From: luis.magdalena at upm.es (Luis Magdalena) Date: Mon, 8 Jan 2024 12:44:19 +0100 Subject: [fg-arc] [ECAI-2024] Deadline for Workshop Proposals approaching (and more!) Message-ID: <2ab37abd-cb4e-47d2-96c3-ccf90b9f4d5e@upm.es> Would you like to organise a workshop at ECAI-2024? The 27th European Conference on Artificial Intelligence will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024, with workshops taking place during the first two days. Proposals from all subfields of AI and organisers of all levels of seniority are welcome. The deadline is fast approaching: Monday, 15 January 2024. Full details here: https://www.ecai2024.eu/calls/workshops Check the website for further opportunities to participate: submitting a tutorial proposal, submitting a paper to either the main conference or PAIS, submitting a demo paper, or taking part in the doctoral consortium. -- Luis Magdalena Publicity Chair of the European Conference on Artificial Intelligence (ECAI-2024) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Jan 8 15:25:35 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 8 Jan 2024 14:25:35 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): Second Call for Tutorial Proposals Message-ID: *** Second 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: 28th February, 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 Presenters Registration Deadline: 8th 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 michael at se-rwth.de Mon Jan 8 23:12:51 2024 From: michael at se-rwth.de (Michael, Judith) Date: Mon, 8 Jan 2024 22:12:51 +0000 Subject: [fg-arc] =?iso-8859-1?q?SE_Konferenz_2024_=7C_Fr=FChbucherfrist?= Message-ID: <7e810fea5adf4072982f9c3ced31af5f@se-rwth.de> Liebe Kolleginnen und Kollegen, Manuel und Rick und das Org.-Team laden Euch hiermit ganz herzlich zur SE-Konferenz 2024 (https://se2024.se.jku.at/), von 26. Februar bis 1. März 2024 an der Johannes Kepler Universität in Linz, Österreich, Wir haben ein tolles Programm für Euch zusammengestellt bzw. tragen auch einige von Euch dazu bei (siehe https://se2024.se.jku.at/detailprogramm/; Änderungen noch vorbehalten): (o) 5 Workhops und ein Meetup zu Themen wie Automotive SE, Quantum SE, SE für Cyber-Physical Production Systems, Generative und Neurosymbolic AI im SE, Avionics Systems and SE und Anforderungsmanagement in Enterprise Systems Projekten. (o) Treffen der Universitätsprofessor*innen (separate Einladung kommt von Kurt (Schneider)) (o) 3 spannende Keynotes (siehe https://se2024.se.jku.at/keynotes/) (o) das wissenschaftliche Hauptprogramm mit dem "Best-of" der Forscher*innengruppen im deutschsprachigen Raum (o) einen Industrietrag (o) Ernst Denert Preis (o) Student Research Competition für Bachelor- und Masterstudenten (o) die SEUH als kollokierte Konferenz (o) tolle Social Events (unter anderem das Konferenzdinner inklusive einer Führung durch die voestapline Stahlwelten) Bitte beachtet auch die Frühbucherfrist bis zum 10.1. (übermorgen) -- Registrierung unter: https://se2024.se.jku.at/registrierung/ Für Rückfragen stehen wir und unser Team gerne jederzeit zur Verfügung, Wir freuen uns sehr auf ein Wiedersehen in Linz! Rick (Rabiser) und Manuel (Wimmer), SE 2024 General Chairs ______________________________________________ Univ.-Prof. Mag. Dr. Rick Rabiser Head of Christian Doppler Lab VaSiCS JKU-Head of JKU/Dynatrace Co-Innovation Lab Head of Cyber-Physical Systems Lab Linz Institute of Technology JOHANNES KEPLER UNIVERSITY LINZ Altenberger Straße 69 4040 Linz, Austria Open Innovation Center P +43 732 2468 4363 rick.rabiser at jku.at jku.at/cdl-vasics jku.at/lit/cps-lab -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Tue Jan 9 14:46:57 2024 From: announce at ucy.ac.cy (Announce) Date: Tue, 9 Jan 2024 13:46:57 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering: Second Call for Workshop Papers Message-ID: *** Second Call for Workshop 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: 26th February, 2024 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'24, the 36th edition of the CAiSE series, will host the following workshops. For more information for each workshop please visit the workshops' web sites. CAiSE'24 Workshops • 3rd International Workshop on Agile Methods for Information Systems Engineering (Agil-ISE) https://agilise.github.io/2024/index.html • International Workshop on Blockchain for Information Systems (BC4IS24) and Blockchain for Trusted Data Sharing (B4TDS) https://pros.unicam.it/bc4isb4tds/ • 2nd International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS) https://hybridaims.com/ • 2nd Workshop on Knowledge Graphs for Semantics-driven Systems Engineering https://www.omilab.org/activities/events/caise2024_kg4sdse/ • 16th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2024) https://eomas2024.fel.cvut.cz/ • Digital Transformation with Business Process Mining (DigPro2024) https://digpro.iiita.ac.in/ IMPORTANT DATES • Paper Submission Deadline: 26th February, 2024 (AoE) • Notification of Acceptance: 27th March, 2024 • Camera-ready Deadline: 5th April, 2024 • Author Registration Deadline: 5th April, 2024 Workshop Chairs • João Paulo A. Almeida, Federal University of Espírito Santo, Brazil • Claudio di Ciccio, Sapienza University of Rome, Italy • Christos Kalloniatis, University of the Aegean, Greece -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at se-rwth.de Tue Jan 9 17:54:08 2024 From: michael at se-rwth.de (Michael, Judith) Date: Tue, 9 Jan 2024 16:54:08 +0000 Subject: [fg-arc] MODELS 2024 | CFP - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems Message-ID: --------------------------------------------------------------------------- MODELS 2024 ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems September 22-27, 2024 Linz, Austria https://conf.researchr.org/home/models-2024 --------------------------------------------------------------------------- MODELS is the premier conference series for model-based software and systems engineering. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MODELS come from diverse backgrounds, including researchers, academics, engineers, and industrial professionals. MODELS 2024 is a forum for participants to exchange cutting-edge research results and innovative practical experiences around modeling, modeling languages, and model-based software and systems engineering. This year's edition will provide an opportunity for the modeling community to further advance the foundations of modeling, and come up with innovative applications of modeling in emerging areas of cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, machine learning, security, open source, and sustainability. --------------------------------------------------------------------------- **** Important Dates **** Abstract Submission: March 21, 2024 Paper Submission: March 28, 2024 Author responses: May 27-29, 2024 Author notification: June 17, 2024 Camera Ready Due: July 31, 2024 --------------------------------------------------------------------------- **** Topics of Interest (but not restricted to) **** MODELS 2024 solicits submissions on a variety of topics related to modeling for software and systems engineering including, but not limited to: * Fundamentals of model-based engineering, including the definition of syntax and semantics of modeling languages and model transformation languages. * New paradigms, formalisms, applications, approaches, frameworks, or processes for model-based engineering such as low-code/no-code development, digital twins, etc. * Definition, use, and analysis of model-based generative and re-engineering approaches. * Model-based monitoring, analysis, and adaptation heading towards intelligent systems. * Development of model-based systems engineering approaches and modeling-in-the-large, including interdisciplinary engineering and coordination. * Applications of AI to model-related engineering problems, e.g., approaches based on search, machine learning, large language models (AI for modeling) * Model-based engineering foundations for AI-based systems (modeling for AI) * Human and organizational factors in model-based engineering. * Tools, meta-tools, and language workbenches for model-based engineering, including model management and scalable model repositories. * Hybrid multi-modeling approaches, i.e., integration of various modeling languages and their tools. * Evaluation and comparison of modeling languages, techniques, and tools. * Quality assurance (analysis, testing, verification, fidelity assessment) for functional and non-functional properties of models and model transformations. * Collaborative modeling to address team management issues, e.g., browser-based and cloud-enabled collaboration. * Evolution of modeling languages and related standards. * Modeling education, e.g., delivery methods and curriculum design. * Modeling in software engineering, e.g., applications of models to address common software engineering challenges. * Modeling for specific challenges such as collaboration, scalability, security, interoperability, adaptability, flexibility, maintainability, dependability, reuse, energy efficiency, sustainability, and uncertainty. * Modeling with, and for, novel systems and paradigms in fields such as security, cyber-physical systems (CPSs), the Internet of Things, cloud computing, DevOps, blockchain technology, data analytics, data science, machine learning, Big Data, systems engineering, socio-technical systems, critical infrastructures and services, robotics, mobile applications, conversational agents, and open-source software. * Empirical studies on the application of model-based engineering in areas such as smart manufacturing, smart cities, smart enterprises, smart mobility, smart society, etc. --------------------------------------------------------------------------- As in previous years, MODELS 2024 offers two tracks for technical papers: the Foundations Track and the Practice Track. A detailed description of these tracks can be found at: https://conf.researchr.org/track/models-2024/models-2024-technical-track NEW THIS YEAR: Foundations Track welcomes both short and long New Ideas and Vision Papers --------------------------------------------------------------------------- **** FOUNDATIONS TRACK **** We invite authors to submit high-quality papers describing significant, original, and unpublished results in the following categories: 1. Technical Papers Technical papers should report on innovative research in modeling or model-driven engineering activities. They should describe a novel contribution to the field and carefully demonstrate the novelty by referencing relevant related literature. Evaluation Criteria: Technical papers will be evaluated based on originality, soundness, relevance, significance, strength of validation, quality of presentation, and quality of related work discussions. Submissions must clearly and explicitly describe what is novel about their contribution in comparison to prior work. Results must be validated by formal proofs, rigorous demonstrations (e.g., rigorous case studies or simulations), or empirical evaluations (e.g., controlled experiments or surveys). Authors are strongly encouraged to make the artifacts used for the evaluation publicly available, e.g., via a GitHub repository or an alternative that is expected to provide long-term availability. A respective artifact evaluation process is described below. 2. New Ideas and Vision Papers New ideas and vision papers describe original, non-conventional research positions in modeling or model-driven engineering and/or approaches that deviate from standard practice. They describe well-defined revolutionary research ideas that are in the early stage of the investigation. They might provide evidence that common wisdom should be challenged, present unifying theories about existing modeling research that can provide new insights or lead to the development of new technologies or approaches, or apply modeling technology to unprecedented application areas. Evaluation Criteria: New ideas and vision papers are either short or long papers. Both will be assessed primarily on their degree of originality and potential for advancing innovation in the field. As such, new ideas and vision papers are expected to follow a specific format, and provide a compelling and revolutionary argument. Note that this category is not intended for foundation or practice papers without sufficient evaluation. Such papers will not be accepted. Submissions must clearly describe shortcomings of the state-of-the-art and the relevance, correctness, and impact of the idea/vision. New ideas and vision papers need not be fully worked out and a detailed roadmap need not be provided. The use of worked-out examples to support new ideas is strongly encouraged. Long papers must also supply some degree of validation. However, we accept less rigorous methods of validation such as compelling arguments, exploratory implementations, and substantial examples. Authors are also strongly encouraged to make any artifacts publicly available, e.g., via a GitHub repository or an alternative that is expected to provide long-term availability. A respective artifact evaluation process is described below. --------------------------------------------------------------------------- **** PRACTICE TRACK **** The goal of the Practice Track is to bridge the gap between foundational research in Model-Based Engineering (MBE) and needs in practice. We invite authors to submit original contributions that report on the application of MBE solutions in the industry, the public sector, or open-source environments. Examples include: * Demonstrations of scalable and cost-effective methodologies and tools. * Case studies or field reports offering valuable insights. * Comparisons of competing approaches in real-world scenarios. * Submissions need to communicate the context of the application and the practical importance of the findings. Unlike the application itself, any reported lessons learned or insights gained must be original. Evaluation Criteria: A paper in the Practice Track will be evaluated primarily on the potential impact of its findings. Specifically: * The paper must describe the context of the MBE application and what problem it solves/addresses. * The paper should include a concise explanation of the approaches, techniques, methodologies, and tools used. * The paper should report on the efficacy of the application, ideally in comparison to alternatives, and/or what new lessons have been learned or insights have been gained. * Studies that report negative results must include a thorough discussion of the possible causes of the failure and, ideally, provide a perspective on how to address them. Authors are encouraged to make artifacts publicly available, e.g., via a GitHub repository or an alternative that is expected to provide long-term availability. A respective artifact evaluation process is described below. --------------------------------------------------------------------------- **** Artefact Evaluation **** Authors of accepted papers will be invited to submit their accompanying artifacts (e.g., software and datasets) to the Artifact Evaluation track to be evaluated by the Artifact Evaluation Committee. Participation in the Artifact Evaluation process is optional and does not affect paper acceptance. Submissions that successfully pass the Artifact Evaluation process will be awarded a seal of approval that will be attached to the papers. **** Special Issue in SoSyM **** Authors of best papers from the conference will be invited to revise and submit extended versions of their papers for publication in the Journal of Software and Systems Modeling. https://www.sosym.org/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Wed Jan 10 13:07:50 2024 From: announce at ucy.ac.cy (Announce) Date: Wed, 10 Jan 2024 12:07:50 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering: First Call for DC Papers Message-ID: <4ZWP5X-VTW-A72N-KT24-K2OIH3IFHBR4@ucy.ac.cy> *** First Call for Doctoral Consortium 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: 8th March, 2024 AoE ***) The CAiSE conference series has a proud track record of running an international Doctoral Consortium affiliated with the event. The CAiSE'24 Doctoral Consortium aims to attract PhD students working on foundations, techniques, tools and applications in the Information Systems Engineering field. At the Doctoral Consortium, the participating PhD students will have the opportunity to present their research and to get feedback from an audience of peers and senior faculty in a supportive environment. There will also be discussions tailored to the needs and interests of PhD students. The goals of the Doctoral Consortium are to ensure that participating PhD students: • receive constructive and personalized feedback and advice on their research program by dedicated Doctoral Consortium mentors, • provide an opportunity to meet, interact with and learn from established researchers and practitioners in the Information Systems Engineering community, • develop a supportive community of peer scholars and a spirit of collaborative research, • discuss broader opportunities and concerns related to a PhD study and post-PhD pathways. To be eligible for the Doctoral Consortium, the candidate must be a current PhD student within a recognized research institution. We welcome submissions of both late-stage PhD students (having at least 6 months of work after the conference and before their expected completion), and early-stage PhD students (with at least 6 months of work already performed prior to the submission date). WHY SUBMITTING TO THE CAiSE'24 DOCTORAL CONSORTIUM? The CAiSE'24 Doctoral Consortium will be attended by renowned academics from the Information Systems Engineering field who will actively participate as mentors for the PhD students accepted to the Doctoral Consortium. The participating PhD students will receive constructive reviews on their submission, as well as personalized guidance by Doctoral Consortium mentors regarding their research program and presentation at the Consortium event. Accepted papers will be published in the CEUR proceedings (https://ceur-ws.org/), which are indexed in DBLP. Participants of the CAiSE Doctoral Consortium will be subsequently eligible to submit their PhD thesis (after the degree is granted) for a CAiSE PhD Award. SUBMISSION PROCESS Submissions must be made electronically by the stated deadline via the EasyChair conference system at https://easychair.org/conferences/?conf=caise2024 . Each submission should contain (i) a recommendation letter from the student’s PhD advisor, and (ii) a paper describing the research plans and the current status of progress (see more details in the Paper Submission Guidelines section). Submissions must have a single author, but the name of the PhD advisors should be mentioned in the paper (usually in the Acknowledgments section). Submissions should concern original research. All submitted materials must be in English. Attendees must have sufficient proficiency in English for being allowed to participate in the academic discussions of the Consortium. Submissions of both early and late-stage PhD students are welcome. Submissions of early-stage PhD students should concentrate on the selection of the research methods to apply, the realization and contextualization of the relevant literature, the expected pitfalls and ways to mitigate them. Submissions of late-stage PhD students should also include preliminary research results and discuss to some extent conclusions and threats. The recommendation letter from the PhD advisor should include an assessment of the current status of the research, an expected date for the completion of the dissertation, a delineation of the anticipated benefits for the student's participation at the Consortium and details of any submissions associated with the research. PAPER CONTENT AND FORMAT The paper must: • clearly formulate the research questions investigated in the thesis, • identify a significant problem in the field of Information System Engineering, • outline the current status of the problem domain and related solutions, • describe the research methods that are applied or proposed and the expected artifacts, • outline the contributions of the applicant’s work to the problem domain and highlight their uniqueness, • present any preliminary results achieved so far (mainly relevant for late-stage PhD students), • conform to the CEURART template using the 1-column layout format (thus, NOT the Springer LNCS format and NOT in multiple column layouts); the most recent template (including Word and LaTeX) can be downloaded from http://ceur-ws.org/Vol-XXX/index.html, • contain up to 4,000 words (including everything, e.g., references, tables, figures). REVIEW PROCESS Each submission will be reviewed by two members of the Doctoral Consortium Mentoring Board. The main evaluation criteria are: relevance, originality, significance, technical soundness, accuracy, clarity and the expected benefits to the student from participating in the Doctoral Consortium. Acceptance is based on the review outcomes. ATTENDANCE AND REGISTRATION FEE The Doctoral Consortium is held in parallel with the main CAiSE conference on 5-7 June 2024. The presentations and decisions are expected to take place in person, so attendance in the entire Doctoral Consortium is required. To facilitate detailed feedback to the participants, attendance to the Doctoral Consortium is by invitation only, limited to the participants and the Mentoring Board. There is no separate registration fee for participants in the Doctoral Consortium. Participants should register to the main conference by selecting either the “Main conference” option or another option that includes the main conference. IMPORTANT DATES • Paper Submission: 8th March 2024 (AoE) • Notification of Acceptance: 19th April 2024 • Camera-ready Copy: 26th April 2024 • Doctoral Consortium: 5th-7th June 2024 QUESTIONS AND INQUIRIES Questions about eligibility and other inquiries can be sent to the CAiSE’24 Doctoral Consortium chairs at caise2024_dc at easychair.org . MENTORING BOARD • Raimundas Matulevičius, University of Tartu, Estonia • Massimo Mecella, Sapienza University of Rome, Italy • Barbara Pernici, Politecnico di Milano, Italy • Jolita Ralyte, University of Geneva, Switzerland • Hajo Reijers, Utrecht University, the Netherlands • Monique Snoeck, KU Leuven, Belgium • Barbara Weber, University of St. Gallen, Switzerland • Jelena Zdravkovic, Stockholm University, Sweden DOCTORAL CONSORTIUM CHAIRS • Iris Reinhartz-Berger, University of Haifa, Israel • Chiara Di Francescomarino, University of Trento, Italy • Aggeliki Tsohou, Ionian University, Greece -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Fri Jan 12 12:15:16 2024 From: announce at ucy.ac.cy (Announce) Date: Fri, 12 Jan 2024 11:15:16 +0000 Subject: [fg-arc] CAiSE'24: First Call for Research Projects Exhibition Message-ID: <3Q7US2DR-ILKQ-6FEQ-LE37-E1WAH6DFKFYK@ucy.ac.cy> *** First Call for Research Projects Exhibition *** 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: 8th April, 2024 AoE ***) CAiSE 2024 features a Research Project Exhibition (RPE at CAiSE'24) where researchers and practitioners can present their ongoing research projects (e.g., H2020 or ERC projects, national grants) in the context of Information Systems Engineering. The main objective of this call is to serve as a forum where presenters can disseminate the intermediate results of their projects or get feedback about research project proposals being developed. The exhibition will also provide a warm environment to find potential research partners, foster existing relationships, and discuss research ideas. To participate in the RPE at CAiSE'24, the authors should submit a short paper (5-8 pages) showcasing the project, including the participants, the main objectives of the project and relevant results obtained so far (or expected results in the case of project proposals). Each submission will be peer-reviewed on the relevance of the submitted paper in the context of CAiSE 2024. If the paper is accepted, the authors will be invited to register for the conference to present their work at the Research Projects Exhibition session at CAiSE 2024. The accepted contributions will be proposed for publication by CEUR proceedings using the 1-column CEUR-ART style. In addition, the authors of the most influential project presented at the RPE at CAiSE'24 will receive an award distinguishing their contribution as the "Most Influential Project of the Research Project Exhibition @CAiSE'24". RESEARCH PROJECTS REQUIREMENTS For the Research Projects Exhibition, we solicit submissions of projects related to the topics of CAiSE that meet the following criteria: • Projects funded by the European Union, by national or local funding organisations, or even by individual universities and industries. • Projects focused on fundamental research, applied research or more industry-oriented. • Research projects carried out by an international consortium of partners or by a national research team. • Research statements for future projects concerning the Information Systems Engineering community. SUBMISSION GUIDELINES Papers should be submitted via Easychair (https://www.easychair.org/conferences/?conf=caise2024) by selecting the "Research Projects Exhibition". Each submission of a research project should include: • The project's full name, acronym, duration (from-to), participants, funding agency and URL. • Names of presenter(s) and main contributors. • Abstract and keywords. • Summary of project objectives and expected tangible outputs. • The relevance of the project (or one of its work packages) to the topics of the International Conference on Advanced Information Systems Engineering. • If the project is ongoing: summary of current status and intermediate results. All submissions should be 5 to 8 pages long and be formatted as a 1-column CEUR-ART style (templates available at https://ceur-ws.org/Vol-XXX/). An intention to submit should be performed one week before the deadline, including the full name of the project, the authors' name and the abstract. Each submission will be reviewed by at least two members of the Program Committee. In case of disagreement, a third member of the Program Committee will review the submission. The Program Committee will comprise international researchers with expertise in the field. ATTENDANCE AND PRESENTATION During the Research Projects Exhibition session, the authors of accepted contributions will present the research project. Details about the format of the session and instructions to prepare the presentation will be given to authors after the acceptance notification. At least one author of each submission accepted for the Research Projects Exhibition must register and attend the conference to present the work. The author needs a full registration to present the research project. IMPORTANT DATES • Intention to Submit: 1st April, 2024 (AoE) • Submission: 8th April, 2024 (AoE) • Notification of Acceptance: 22nd April, 2024 • Camera Ready: 13th May, 2024 • Author Registration: 17th May, 2024 • Conference Dates: 3rd-7th June, 2024 RESEARCH PROJECTS EXHIBITION CHAIRS • Raimundas Matulevicius, University of Tartu, Estonia • Henderik A. Proper, TU Wien, Austria -------------- next part -------------- An HTML attachment was scrubbed... URL: From t.s.neele at tue.nl Mon Jan 8 15:00:56 2024 From: t.s.neele at tue.nl (Thomas Neele) Date: Mon, 8 Jan 2024 15:00:56 +0100 Subject: [fg-arc] SPIN 2024: second Call for Papers (deadline extension) Message-ID: <6b8ec191-146a-4515-92a7-49a5c27e911d@tue.nl> ***********************************************************************                              CALL FOR PAPERS SPIN 2024 - 30th International Symposium on Model Checking of Software Luxembourg City, Luxembourg, 10–11 April, 2024 co-located with ETAPS 2024 (6-11 April) *extended deadline*: January 22, 2024 (23:59:59 Anywhere on Earth) Conference website: https://spin-web.github.io/SPIN2024/ Submission link: https://easychair.org/conferences/?conf=spin2024 Celebration of the 30th SPIN symposium: special anniversary track *********************************************************************** The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the SPIN model checker. However, over the years it has evolved to a broadly-scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: https://spinroot.com/spin/Workshops/. In celebration of the 30th edition of the symposium, SPIN 2024 features a special track for historical accounts and other broad discussions (see below). Topics of interest include, but are not limited to: - Insightful surveys or historical accounts on topics of relevance to the symposium, for the special anniversary track (see below) - Formal verification techniques for automated analysis of (concurrent) software/hardware, including: - Model checking - Deductive verification - Automated theorem proving, including SAT and SMT - Abstraction and symbolic execution techniques - Static analysis and abstract interpretation - Modular and compositional verification techniques - Verification of timed and probabilistic systems - Automated testing using advanced analysis techniques - Program synthesis - Derivation of specifications, test cases etc. via formal analysis - Formal specification languages, temporal logic, design-by-contract - Formal analysis of learned systems - Any combination of the above - Application and/or engineering of verification tools, including: - Case studies of interesting systems or with interesting results - Implementation of novel verification tools - Benchmarks and comparative studies for verification tools - Verification tools using modern hardware, e.g.: multi-core CPU, GPU, TPU, cloud, and quantum  IMPORTANT DATES Submissions due: January 22, 2024 (23:59:59 Anywhere on Earth) *extended deadline* Author notification: February 26, 2024 Camera ready: March 11, 2024 Symposium: 10-11 April, 2024  SUBMISSION CATEGORIES AND GUIDELINES Papers should be submitted via the EasyChair SPIN 2024 submission website: https://easychair.org/conferences/?conf=spin2024. The proceedings of SPIN 2024 will be published in Springer’s Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere. We are soliciting three categories of papers: * Full Research Papers describing fully developed work and complete results (16 pages, excluding bibliography); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages, excluding bibliography). * Special anniversary track: to celebrate the 30th edition of SPIN, we invite submissions that present the field of formal methods in a broad sense. These may be historical accounts, discussion of successful research lines, surveys, position papers etc (16 pages, excluding bibliography). All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work. At least one author of each accepted paper must attend the symposium and present the paper. A Best Paper award will be announced and handed out at the conference. A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT).  ARTIFACTS SPIN 2024 introduces an artifact evaluation, performed by an Artifact Evaluation Committee (AEC). The AEC evaluates artifacts based on documentation, availability, reproducibility of results and reusability. Papers with an accompanying artifact may be awarded one or more badges from the EAPLS artifact badging scheme. Submission of an artifact is optional. Full details on artifact evaluation are available on https://spin-web.github.io/SPIN2024/artifacts.  INVITED SPEAKERS Keynotes at SPIN will be given by Kristin Yvonne Rozier (Iowa State University, USA) and Holger Hermanns (Saarland University, Germany).  ORGANIZATION Program Chairs Thomas Neele, Eindhoven University of Technology Anton Wijs, Eindhoven University of Technology Program Committee Georgiana Caltais, University of Twente, The Netherlands Deepak D’Souza, Indian Institute of Science Bangalore, India Sofie Haesaert, Eindhoven University of Technology, The Netherlands Matthias Heizmann, University of Freiburg, Germany Paula Herber, University of Münster, Germany Gerard Holzmann, Nimble Research, USA Mitja Kulczynski, Kiel University, Germany Ondřej Lengál, Brno University of Technology, Czech Republic Radu Mateescu, Inria Grenoble - Rhône-Alpes, France Rosemary Monahan, Maynooth University, Ireland Thomas Neele, Eindhoven University of Technology, The Netherlands Jaco van de Pol, Aarhus University, Denmark Violet Ka I Pun, Western Norway University of Applied Sciences, Norway Alceste Scalas, Technical University of Denmark, Denmark Christian Schilling, Aalborg University, Denmark Stephen Siegel, University of Delaware, USA Marjan Sirjani, Malardalen University, Sweden Scott Smolka, Stony Brook University, USA Yann Thierry-Mieg, LIP6-Sorbonne Université, France Anton Wijs, Eindhoven University of Technology, The Netherlands Artifact Evaluation Chairs Ernst Moritz Hahn, (University of Twente, Netherlands) Matthias Volk, (Eindhoven University of Technology, Netherlands)  CONTACT INFORMATION Thomas Neele, t.s.neele at tue.nl Anton Wijs, a.j.wijs at tue.nl From OptLearnMAS at protonmail.com Thu Jan 11 05:43:54 2024 From: OptLearnMAS at protonmail.com (OptLearnMAS) Date: Thu, 11 Jan 2024 04:43:54 +0000 Subject: [fg-arc] Call for Papers: OptLearnMAS workshop at AAMAS 2024 Message-ID: Dear Colleague, The OptLearnMAS workshop at AAMAS 2024 is accepting submissions! The goal of the workshop is to provide researchers with a venue to discuss models or techniques for tackling a variety of multi-agent optimization problems. We seek contributions in the general area of multi-agent optimization, including distributed optimization, coalition formation, optimization under uncertainty, winner determination algorithms in auctions and procurements, and algorithms to compute Nash and other equilibria in games. Of particular emphasis are contributions at the intersection of optimization and learning. See below for a (non-exhaustive) list of topics. This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimization and learning problems or problems that can be effectively solved by adopting a multi-agent framework. Topics The workshop organizers invite paper submissions on the following (and related) topics: - Optimization for learning (strategic and non-strategic) agents - Learning for multi-agent optimization problems - Distributed constraint satisfaction and optimization - Winner determination algorithms in auctions and procurements - Coalition or group formation algorithms - Algorithms to compute Nash and other equilibria in games - Optimization under uncertainty - Optimization with incomplete or dynamic input data - Algorithms for real-time applications - Cloud, distributed and grid computing - Applications of learning and optimization in societally beneficial domains - Multi-agent planning - Multi-robot coordination The workshop is of interest both to researchers investigating applications of multi-agent systems to optimization problems in large, complex domains, as well as to those examining optimization and learning problems that arise in systems comprised of many autonomous agents. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimization and learning problems in different areas, to introduce new application domains for multi-agent optimization techniques, and to elaborate common benchmarks to test solutions. Finally, the workshop will welcome papers that describe the release of benchmarks and data sets that can be used by the community to solve fundamental problems of interest, including in machine learning and optimization for health systems and urban networks, to mention but a few examples. Visit the website: https://optlearnmas.github.io/ Important Dates - Feb 5, 2024 (23:59 UTC-12) – Submission Deadline - Mar 4, 2024 (23:59 UTC-12) – Acceptance notification - May 6-7, 2024 – Workshop Date Cheers, Filippo Bistaffa, Hau Chan, Jiaoyang Li, and Xinrun Wang OptLearnMAS-24 Co-Chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: From kosiolje at mathematik.uni-marburg.de Thu Jan 11 11:03:05 2024 From: kosiolje at mathematik.uni-marburg.de (Jens Kosiol) Date: Thu, 11 Jan 2024 11:03:05 +0100 Subject: [fg-arc] 2nd CfP: 17th International Conference on Graph Transformation (ICGT) Message-ID: <5370182e-9b5f-4fbe-8d73-18669a065143@mathematik.uni-marburg.de> [apologies for cross-posting] ***** 2nd CALL FOR PAPERS ***** IMPORTANT: the submission dates have been brought forward by one week since the 1st CFP ================================================================= 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. --------------------------------------- ** IMPORTANT DATES ** Abstracts:              20 Feb 2024 Paper Submission:       27 Feb 2024 Notification:           23 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. The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. 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 * Nicolas Behr (CNRS, Paris, France) * Paolo Bottoni (Sapienza University of Rome, Italy) * Andrea Corradini (Università di Pisa, Italy) * Juergen Dingel (Queens University, Ontario, Canada) * Rachid Echahed (CNRS, Grenoble, France) * Jörg Endrullis (Vrije Universiteit Amsterdam, Netherlands) * James Fairbanks (University of Florida, USA) * Maribel Fernandez (King's College London, UK) * Fabio Gadducci (Università di Pisa, Italy) * Reiko Heckel (University of Leicester, UK) * Barbara König (Universität Duisburg-Essen, Germany) * Leen Lambers (BTU Cottbus - Senftenberg, Germany) * Juan De Lara (Universidad Autonoma de Madrid, Spain) * 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) * Steffen Zschaler (King's College London, UK) --------------------------------------- ** CONTACT ** All questions about submissions should be emailed to both PC Chairs via russell.harmer at ens-lyon.fr and kosiolje at mathematik.uni-marburg.de --------------------------------------- From vdheuvel.bas at gmail.com Tue Jan 9 16:25:35 2024 From: vdheuvel.bas at gmail.com (Bas van den Heuvel) Date: Tue, 9 Jan 2024 16:25:35 +0100 Subject: [fg-arc] 2nd Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Inbox Message-ID: [Apologies for multiple copies, please forward it to interested parties] =================================================================== 2ND JOINT CALL FOR PAPERS DisCoTec 2024 19th International Federated Conference on Distributed Computing Techniques June 17-21, 2024 Groningen, The Netherlands Submit your papers by February 9, 2024! https://www.discotec.org/2024 =================================================================== DisCoTec is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). DisCoTec 2024 will gather three main conferences (COORDINATION, DAIS, FORTE) that cover a broad spectrum of distributed computing subjects---from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. === Keynote Speakers === We are pleased to announce the following keynote speakers: - Marieke Huisman (University of Twente, NL) - Laura Kovács (Vienna University of Technology, AT) - Paulo Veríssimo (KAUST, SA) === Main Conferences === == COORDINATION == (https://www.discotec.org/2024/coordination) 26th International Conference on Coordination Models and Languages Chairs: - Ilaria Castellani (INRIA Sophia Antipolis, FR) - Francesco Tiezzi (University of Florence, IT) == DAIS == (https://www.discotec.org/2024/dais) 24th International Conference on Distributed Applications and Interoperable Systems Chairs: - Rolando Martins (University of Porto, PT) - Mennan Selimi (South East European University, MK) == FORTE == (https://www.discotec.org/2024/forte) 44th International Conference on Formal Techniques for Distributed Objects, Components and Systems Chairs: - Valentina Castiglioni (Eindhoven University of Technology, NL) - Adrian Francalanza (University of Malta, MT) === Artefact Evaluation (all conferences) === Chair: - Roberto Casadei (University of Bologna, IT) === Important Dates (for all main conferences) === - Abstract submission: February 2, 2024 - Paper submission: February 9, 2024 - Paper notification: March 29, 2024 - Camera-ready: April 24, 2024 - DisCoTec conference: June 17-21, 2024 Deadlines expire at 23:59 (AoE, anywhere on earth) on the dates displayed above. See the site of each conference for topics of interest, submission categories, and EasyChair submission instructions. === Proceedings === The proceedings of COORDINATION, DAIS, and FORTE will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo. === Journal Special Issues === Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals: - Logical Methods in Computer Science (https://lmcs.episciences.org) - Science of Computer Programming (TBC). === Organizing Committee === - Jorge A. Pérez (University of Groningen, NL — General Chair) - Ivan Bliznets (University of Groningen, NL) - Anton Chernev (University of Groningen, NL) - Dan Frumin (University of Groningen, NL — Workshops and Tutorials Co-chair) - Helle Hvid Hansen (University of Groningen, NL) - Bas van den Heuvel (Karlsruhe University of Applied Sciences and University of Freiburg, DE — Publicity Chair) - Juan C. Jaramillo (University of Groningen, NL) - Claudio Antares Mezzina (University of Urbino, IT — Workshops and Tutorials Co-chair) - Revantha Ramanayake (University of Groningen, NL) === Steering Committee === - Gianluigi Zavattaro (University of Bologna, IT — Chair) - Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) - Adrian Francalanza (University of Malta, MT) - Kurt Geihs (University of Kassel, DE) - Ivan Lanese (University of Bologna/INRIA, IT) - Alberto Lluch Lafuente (Technical University of Denmark, DK) - Mieke Massink (CNR-ISTI, IT) - Elie Najm (Telecom Paris Tech, FR) - Manuel Núñez (Universidad Complutense de Madrid, ES) - Luís Veiga (INESC-ID, Universidade de Lisboa, PT) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Jochen.Quante at de.bosch.com Thu Jan 11 09:11:45 2024 From: Jochen.Quante at de.bosch.com (Quante Jochen (CR/ADX4.2)) Date: Thu, 11 Jan 2024 08:11:45 +0000 Subject: [fg-arc] Call for Papers: WSRE 2024 Message-ID: Call for Papers: WSRE 2024 26. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum Bad Honnef, 29.-30. April 2024 https://fg-sre.gi.de/veranstaltung/26-workshop-software-reengineering-evolution Warum der WSRE? Unser Ziel ist die Förderung der Zusammenarbeit und der Austausch zwischen Forschung und Praxis im deutschsprachigen Raum zu den Themen "Software-Reengineering", "Software-Wartung" und "Software-Evolution". Darunter verstehen wir prinzipiell alle Aktivitäten rund um die Analyse, Bewertung, Visualisierung, Verbesserung, Migration und Weiterentwicklung von Software-Systemen. Wir laden Forscher*innen und Praktiker*innen herzlich ein, beim WSRE über Erfahrungen, Projekte, Forschungsergebnisse, Methoden und Werkzeuge in diesem Bereich zu berichten, ihre aktuellen Arbeiten vorzustellen und in einem offenen Umfeld konstruktiv zu diskutieren. Was ist dieses Jahr besonders? - Vorträge: Einblick in sowie Rückblick und Ausblick auf interessante Arbeiten und Ergebnisse rund ums Software-Reengineering und verwandte Themen aus Forschung und Praxis. Lernen und Diskutieren! - Student Paper Award: Wir rufen insbesondere den studentischen Nachwuchs (Bachelor- oder Master-Studierende) auf, Beiträge einzureichen und werden den besten Beitrag in dieser Kategorie prämieren. https://fg-sre.gi.de/aktivitaeten/call-for-student-papers/2024 - Tool Demos: In einem interaktiven Format ("Markt der Möglichkeiten") können Werkzeuge für das Software-Reengineering aus Forschung und Praxis vorgestellt und ausprobiert werden. Reengineering zum Anfassen! - Networking: Interaktive Programmpunkte zum direkten Austausch und zur Vernetzung zwischen den Teilnehmer*innen inklusive eines Social Events und eines Conference Dinners. Wann und wo? Der Workshop findet vom 29. bis 30. April 2024 im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer*innen erfolgt wie üblich im Physikzentrum: https://www.dpg-physik.de/dpg/pbh/ Die Anreise und Übernachtung im Physikzentrum ist bereits am 28. April möglich. Wie reiche ich einen Beitrag ein? Eingereicht werden können Erfahrungs-, Ergebnis- und Projektberichte, Diskussionsbeiträge sowie Vorschläge für Tool-Demos aus der Forschung und Praxis. Die Einreichung eines Papers zur Tool-Demo ist optional. Einreichungen bitte über EasyChair: https://easychair.org/conferences/?conf=wsre2024 Mögliche Themen sind u.a. Software-Analyse und -Transformation, Software-Qualität und Metriken, (intelligente) Wissensgewinnung aus Software-Repositorien, Software-Visualisierung, Analyse- und Reengineering-Werkzeuge, Continuous-Development-Ansätze, Wartung und Refactoring, Software-Migration und -Modernisierung, Design for Future und Managed Software Evolution, Modelle, Methoden, Prozesse für Reengineering und Software-Evolution, empirische Forschung und der Faktor Mensch im Reengineering, Wirtschaftlichkeit von Reengineering-Maßnahmen. Als Beiträge werden erweiterte Kurzfassungen in deutscher oder englischer Sprache auf maximal zwei Seiten im Format der Softwaretechnik-Trends erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE und Hinweise zum Format unter https://fb-swt.gi.de/publikationen/softwaretechnik-trends Wie ist der Zeitplan? - Einreichung der Kurzfassungen: 23. Februar 2024 - Benachrichtigung über die Annahme: 22. März 2024 - Einreichung der druckfertigen Endfassung: 12. April 2024 - Anmeldeschluss zur Teilnahme: 12. April 2024 Organisatoren für die FG SRE: Jochen Quante, Marco Konersmann, Stefan Sauer, Daniela Schilling, Sandro Schulze Kontakt: mailto:wsr at uni-koblenz.de Mit freundlichen Grüßen / Best regards Dr. Jochen Quante Senior Expert Software Analysis & Design
Dependable Cyber-Physical Systems Engineering (CR/ADX4) Robert Bosch GmbH | Renningen | 70465 Stuttgart | GERMANY | www.bosch.com Tel. +49 711 811-42170 | Mobile +49 1525 8813421 | Fax +49 711 811-24932 | Jochen.Quante at de.bosch.com Registered Office: Stuttgart, Registration Court: Amtsgericht Stuttgart, HRB 14000; Chairman of the Supervisory Board: Prof. Dr. Stefan Asenkerschbaumer; Managing Directors: Dr. Stefan Hartung, Dr. Christian Fischer, Dr. Markus Forschner, Stefan Grosch, Dr. Markus Heyn, Dr. Tanja Rückert From Cassia.Trojahn at irit.fr Thu Jan 11 13:42:02 2024 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 11 Jan 2024 13:42:02 +0100 Subject: [fg-arc] =?utf-8?q?Second_Call_for_Papers=3A_Special_issue_on_On?= =?utf-8?q?tology_Matching_and__Machine_Learning_=28Semantic_Web_Journal?= =?utf-8?q?=29?= In-Reply-To: <74c-652ba200-e9-4042bf80@48556064> Message-ID: <269ddd-659fe200-3-1be41820@254353483> 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 language 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, Univeristy of London, UK & SIRIUS, Univeristy of Oslo, Norway Pavel Shvaiko, Trentino Digitale, Italy Jérôme Euzenat, INRIA & Univ. Grenoble Alpes, France Vasilis Efthymiou, Harokopio University of Athens, Greece George Papadakis, National and Kapodistrian University of Athens, Greece Heiko Paulheim, University of Mannheim, Germany Catia Pesquita, Universidade de Lisboa, Portugal Pierre Monnin, Université Côte d’Azur, INRIA, France Alsayed Algergawy, University of Passau, Germany Yuan He, University of Oxford, United Kingdom Jiaoyan Chen, University of Oxford, United Kingdom Zhu Wang, University of Illinois, Chicago, USA Valentina Tamma, University of Liverpool United Kingdom Olivier Teste, Institut de Recherche en Informatique de Toulouse, France From p.lammich at utwente.nl Fri Jan 12 00:07:46 2024 From: p.lammich at utwente.nl (Peter Lammich) Date: Fri, 12 Jan 2024 00:07:46 +0100 Subject: [fg-arc] IJCAR 2024: Final Call for Papers Message-ID: <37e43a37-8546-4e65-8fdd-a8ffdfd0e0e7@utwente.nl> IJCAR 2024: Final Call for Papers IJCAR is the premier international joint conference on all aspects of 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 conference 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/evaluations of 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 * |5 Feb 2024|Paper submission * |28 Mar 2024|Notification of paper decisions * |28 Apr 2024|Camera-ready papers due * |1-2 Jul 2024|Workshops, competitions, and tutorials * |3-6 Jul 2024|Conference, including CASC Co-located Events IJCAR 2024 will have numerous co-located events. Please seehere for an up-to-date list. 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 papers|describing 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 papers|describing 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 seriesLecture 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 the 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 Award Woody Bledsoe Travel Awards will be available to support selected students in attending the conference. -------------- next part -------------- An HTML attachment was scrubbed... URL: From saverio.giallorenzo at gmail.com Fri Jan 12 16:24:02 2024 From: saverio.giallorenzo at gmail.com (Saverio Giallorenzo) Date: Fri, 12 Jan 2024 16:24:02 +0100 Subject: [fg-arc] 2nd CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Message-ID: 2nd Call For Papers COORDINATION 2024 26th International Conference on Coordination Models and Languages Part of 19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024), together with FORTE and DAIS conferences. Dates: June 18-20, 2024 Location: University of Groningen, The Netherlands Website: https://www.discotec.org/2024/coordination Paper submission deadline: February 09, 2024 Submission Link: https://easychair.org/conferences/?conf=coordination2024 Scope ======== Modern information systems rely increasingly on combining concurrent, distributed, mobile, adaptive, reconfigurable, and heterogeneous components. New models, architectures, languages, and verification techniques are necessary to cope with the complexity induced by the demands of today's software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behaviour from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination. Main Topics ============== Topics of interest encompass all areas of coordination, including (but not limited to) coordination-related aspects of: - Theoretical models and foundations for coordination: component composition, concurrency, distribution, mobility; dynamic, spatial and probabilistic aspects of coordination; logic, types, semantics. - Coordination of multi-agent and collective systems: models, languages, infrastructures, self-adaptation, self-organisation, distributed solving, collective intelligence and emerging behaviour. - Coordination and modern distributed computing: web services, microservices, peer-to-peer networks, grid computing, context-awareness, ubiquitous computing, mobile computing, reversible computing. - Session-based programming: models, languages, behavioural types, and tools. - Models, languages, verification techniques, and tools for interacting smart contracts and (blockchain-based) decentralised applications. - Languages, methodologies, and tools for secure coordination. - Cybersecurity aspects of coordinated systems, coordinated approaches to cybersecurity. - Nature- and bio-inspired approaches to coordination. - Specification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and security aspects. - Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing. - Coordination platforms for infrastructures of emergent new application domains, like IoT, fog-, and edge-computing. - Programming methodologies, languages, middleware, tools, and environments for the development and verification of coordinated applications, including DevOps approaches. - Coordination in business process management: coordination models for business process management, process mining techniques and tools for coordination models. - Industrial relevance of coordination and software architectures: programming in the large, domain-specific software architectures and coordination models, industry-driven efforts in coordination and case studies. - Interdisciplinary aspects of coordination. Invited Speakers ================== Marieke Huisman, University of Twente, The Netherlands Laura Kovács, Vienna University of Technology, Austria Paulo Veríssimo, KAUST, Kingdom of Saudi Arabia Important dates ================== - Abstract submission: February 02, 2024 - Paper submission: February 09, 2024 - Paper notification: March 29, 2024 - Camera-ready: April 24, 2024 Dates are Anywhere on Earth (AoE). Submission ============= We invite you to submit: - Regular papers (7-15 pages, not counting references): describing thorough and complete research results and experience reports. In a clear case of need, as an exception, authors may ask for permission via email to the PC co-chairs to exceed the paper's max length by at most 10%, under the condition that last-minute shortening would really damage the clarity of the paper or result in non-submission. The authors must make a draft of the paper available to the PC co-chairs via EasyChair. - Short papers (4-6 pages, not counting references): describing research in progress or opinion papers on the past of COORDINATION research, on the current state of the art, or on prospects for the years to come. - Survey papers (16-25 pages, not counting references): describing important results and success stories related to the topics of COORDINATION. - Tool papers (4-15 pages, not counting references): describing technological artefacts in the scope of the research topics of COORDINATION. Tool papers should provide a clear account of the tool's functionality, discuss the tool's practical capabilities possibly with reference to the type and size of problems it can handle, and, when applicable, report on realistic case studies (possibly providing a rigorous experimental evaluation). Tool papers may also provide an account of the theoretical foundations, including relevant citations, and present design and implementation concerns, possibly including software architecture and core data structures. Papers that present extensions to existing tools should clearly describe the improvements or extensions with respect to previously published versions of the tool, possibly providing data on enhancements in terms of resources and capabilities. Papers may contain a link to a publicly downloadable MPEG-4 demo video of at most 10 minutes length. Artefacts ============ Following ACM's definition [1], an artefact is "a digital object that was either created by the authors to be used as part of the study or generated by the experiment itself. For example, artifacts can be software systems, scripts used to run experiments, input datasets, raw data collected in the experiment, or scripts used to analyze results". To improve and reward reproducibility and to give more visibility and credit to the effort of tool developers in the COORDINATION community, authors of submitted papers are invited to submit publicly available artefacts (using permanent repositories such as Software Heritage, Zenodo, etc.), which will be associated with their paper for evaluation. Based on the result of the artefact evaluation, one or more badges may be applied to a paper. Specifically, COORDINATION uses the EAPLS badging scheme [2], which in its own turn is based on and consistent with the ACM initiative. Artefact submission is mandatory for tool papers and the result of the artefact evaluation will be considered in the tool paper's acceptance decision. Instead, artefact submission is optional for all the other paper categories and the result of the artefact evaluation will not affect the paper's acceptance decision but may affect the best paper selection. Dates (AoE): - Artefact submission: February 29, 2024 - Kick-the-tires phase: - Problem reports from reviewers: 8 March, 2024 - Authors' response to reviewers: 15 March, 2024 - Artefact notification: March 29, 2024 [1] https://www.acm.org/publications/policies/artifact-review-and-badging-current [2] https://eapls.org/pages/artifact_badges Proceedings ============== The conference proceedings, consisting of accepted submissions from any paper category, will be published by Springer in LNCS-IFIP volumes. Special issues ================= After the conference, selected papers from the COORDINATION and FORTE programmes (except for tool papers) will be invited to a special issue of the Logical Methods in Computer Science journal. The paper submission deadline is planned for October/November 2024, and the notifications for the first round of reviews around February 2025. Selected accepted tool papers, instead, will be invited to a special issue of a reputable journal with a track dedicated to software, like the Journal of Science of Computer Programming's Software Track. The most recent special issue is out: COORDINATION 2021, Special Issue of Logical Methods in Computer Science, edited by Ferruccio Damiani and Ornela Dardha, available at: https://lmcs.episciences.org/volume/view/id/449. Previous special issues can be found at https://www.discotec.org/2024/coordination#proceedings-and-special-issues-from-previous-editions . Programme Committee chairs ============================= Ilaria Castellani (INRIA Sophia Antipolis, France) Francesco Tiezzi (University of Florence, Italy) Publicity chair ================== Saverio Giallorenzo (University of Bologna, Italy) Programme Committee ====================== Giorgio Audrito (University of Turin, Italy) Laura Bocchi (University of Kent, UK) Chiara Bodei (University of Pisa, Italy) Marcello Bonsangue (Leiden University, The Netherlands) Silvia Crafa (University of Padova, Italy) Cinzia Di Giusto (Université Côte d'Azur, France) Paola Giannini (University of Piemonte Orientale, Italy) Hannah Gommerstadt (Vassar College, USA) Heerko Groefsema (University of Groningen, The Netherlands) Thomas Hildebrandt (University of Copenhagen, Denmark) Sung-Shik Jongmans (Open University of the Netherlands, The Netherlands) Dimka Karastoyanova (University of Groningen, The Netherlands) Jean Krivine (IRIF, CNRS, France) Eva Kühn (Vienna University of Technology, Austria) Roland Kuhn (Actyx, Germany) Alberto Lluch Lafuente (Technical University of Denmark, Denmark) Antónia Lopes (University of Lisbon, Portugal) Michele Loreti (University of Camerino, Italy) Mieke Massink (CNR-ISTI, Italy) Hernán Melgratti (University of Buenos Aires, Argentina) Maurizio Murgia (Gran Sasso Science Institute, Italy) Anna Philippou (University of Cyprus, Cyprus) José Proença (University of Porto, Portugal) Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) Barbara Re (University of Camerino, Italy) Marjan Sirjani (Mälardalen University, Sweden) Meng Sun (Peking University, China) Carolyn Talcott (SRI International, USA) Peter Thiemann (Universität Freiburg, Germany) Mirko Viroli (University of Bologna, Italy) Franco Zambonelli (University of Modena and Reggio Emilia, Italy) Artefact Evaluation Committee chair ====================================== Rumyana Neykova (Brunel University London, UK) Artefact Evaluation Committee ---------------------------------------- Nour Ali (Brunel University London, UK) Tiago Cogumbreiro (UMass Boston, USA) Saverio Giallorenzo (University of Bologna, Italy) Arwa Hameed (University of Glasgow, UK) Keigo Imai (DeNA, Japan) Omar Inverso (Gran Sasso Science Institute, Italy) Doriana Medic (University of Turin, Italy) Mário Pereira (NOVA School of Science and Technology, Portugal) Lorenzo Rossi (University of Camerino, Italy) Cristina Seceleanu( Mälardalen University, Sweden) Felix Stutz (MPI SWS, Germany) Fangyi Zhou (Amazon, UK) Steering Committee ===================== Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) Simon Bliudze (INRIA Lille, France) Laura Bocchi (University of Kent, UK) Ferruccio Damiani (University of Turin, Italy) Ornela Dardha (University of Glasgow, UK) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) Giovanna di Marzo Serugendo (Université de Genève, Switzerland) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Sung-Shik Jongmans (Open University of the Netherlands, Netherlands) Christine Julien (University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Alberto Lluch Lafuente (Technical University of Denmark, Denmark) Antónia Lopes (University of Lisbon, Portugal) Michele Loreti (Università di Camerino, Italy) Mieke Massink (ISTI-CNR, Pisa, Italy) - chair José Proença (University of Porto, Portugal) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Mälardalen University, Sweden) Carolyn Talcott (SRI International, California, USA) Maurice ter Beek (CNR-ISTI, Italy) Emilio Tuosto (Gran Sasso Science Institute, Italy) Vasco T. Vasconcelos (University of Lisbon, Portugal) Mirko Viroli (Università di Bologna, Italy) Gianluigi Zavattaro (Università di Bologna, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Jan 15 14:28:30 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 15 Jan 2024 13:28:30 +0000 Subject: [fg-arc] CAiSE'24: First Call for Journal First Submissions Message-ID: <1G3WNEMH-MSJO-02OM-VLPE-WFQ7OSSK2Q@ucy.ac.cy> *** First Call for Journal First Submissions *** 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: 31st March, 2024 AoE ***) CAiSE 2024 is organising journal-first sessions as part of the scientific program. The aim of these sessions is to disseminate recent important research contributions and spark discussions between authors and researchers in the CAiSE community. Authors of selected journal articles on CAiSE-related topics will be invited to present their work at the conference. SCOPE For the journal-first sessions, we solicit submissions related to articles that have been accepted for publication by a reputable journal and that meet the following criteria: • The article relates to the topics of the CAiSE conference and the recent call for papers. • The article is an original submission to the journal and not an extension of an earlier conference or workshop paper. • The article is an original research article; review articles or commentaries will not be considered. • The article was accepted for publication by a journal on or after 1 January 2023, the acceptance must have been publicly announced, the article must be available at the publisher’s website (e.g., as "articles in advance" or published on a journal’s website), and the article must be written in English. • The article has not been presented at, and is not under consideration for, journal-first tracks of other conferences. FORMAT Accepted submissions will be presented as part of the CAiSE 2024 scientific programme. SUBMISION Submissions must be done electronically via Easychair (https://easychair.org/my/conference?conf=caise2024) and include: • Title and author information of the article. • The original abstract and keywords. • DOI of the original publication or, alternatively, a link to the publication at the journal’s website. EVALUATION All submissions will be reviewed by the track chairs with the aim to accept all qualifying submissions subject to ability to accommodate them in the program. If needed, priority will be given to submissions according to their topical fit with the scope of the conference, the importance of the contribution, as well as the standing of the respective journal (including, but not limited to, the journal's impact factor and ranking results). ATTENDANCE AND PRESENTATION At least one author of each submission accepted for the journal-first track must register and attend the conference to present the work. The author needs a full registration to present the journal article. As the articles of the journal-first track have been published already, they will not be part of the CAiSE 2024 proceedings. The articles will be listed in the conference program and CAiSE 2024 participants will have access to the respective abstracts and a pointer to the original journal article. IMPORTANT DATES • Submission: 31st March, 2024 (AoE) • Notification of Acceptance: 14th April, 2024 • Author Registration: 17th May, 2024 • Conference Dates: 3rd-7th June, 2024 JOURNAL FIRST CHAIRS • Paolo Giorgini, University of Trento, Italy • Jeffrey Parsons, Memorial University of Newfoundland, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From saverio.giallorenzo at gmail.com Mon Jan 15 16:55:56 2024 From: saverio.giallorenzo at gmail.com (Saverio Giallorenzo) Date: Mon, 15 Jan 2024 16:55:56 +0100 Subject: [fg-arc] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Message-ID: Choreographic Programming: Call for Contributions ================================================= First International Workshop on Choreographic Programming co-located with PLDI 2024 One-day event, TBD within 24–28th of June 2024, Copenhagen, Denmark https://pldi24.sigplan.org/home/cp-2024 Important dates --------------- - Submission deadline: March 22nd, 2024 (AoE) - Notification to authors: May 3rd, 2024 (AoE) - Workshop day: TBD in week 26 Theme and Topics ---------------- Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations. CP originated primarily in the context of process calculi, with preliminary work done to establish its foundations and experiment with implementations. Recently, several proposals have shown that one can adapt CP to work in synergy with mainstream programming paradigms, such as object-oriented and functional programming. These works substantiate the interest of a growing community of researchers and practitioners in evolving CP into a mature paradigm, able to improve the productivity and reliability of programming concurrent and distributed systems. The aim of this workshop is to catalyse the community around CP by soliciting contributions in the following topics: - Theory and models of choreographic programming. - Design and implementation of choreographic programming languages, encompassing both standalone and library-based implementations. - Design and implementation of runtime systems for choreographic programming. - Verification and testing of choreographic programs. - Type systems for choreographic languages. - Interactions with software engineering (e.g., software requirements, design, construction, testing, analysis, and maintenance and software development methodologies). - Fault tolerance and reliability in the context of choreographic programming. - Synergies and comparisons with adjacent approaches for concurrent and distributed programming (e.g., multitier programming). Contributions and Evaluation ---------------------------- Contributions can be work in progress, scientific work published or submitted for publication, tutorials, or practical experience reports. Submissions should be no more than 6 pages excluding bibliography, using the ACM Proceedings format. Templates for Microsoft Word and LaTeX can be found at the SIGPLAN author information page. Submissions will be evaluated following a lightweight double-blind review process. For further details, refer to the workshop website and for any further queries, please contact the chairs. Program Chairs -------------- Saverio Giallorenzo, University of Bologna, IT ( saverio.giallorenzo2 at unibo.it) Lindsey Kuper, University of California, Santa Cruz, US (lkuper at ucsc.edu) Marco Peressotti, University of Southern Denmark, DK (peressotti at sdu.dk) Program Committee ----------------- Owen Arden, UC Santa Cruz, US Marco Carbone, IT University of Copenhagen, DK Ethan Cecchetti, University of Wisconsin-Madison, US Luís Cruz-Filipe, University of Southern Denmark, DK Eva Graversen, University of Southern Denmark, DK Andrew K. Hirsch, University at Buffalo, SUNNY, US Sung-Shik Jongmans, Open University of the Netherlands; CWI, NL Ivan Lanese, University of Bologna, IT Hugo A. López, Technical University of Denmark, DK Rumyana Neykova, Brunel University London, UK Larisa Safina, INRIA Lillle, FR Guido Salvaneschi, University of St. Gallen, CH Ian Sweet, Galois, Inc., US -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at se-rwth.de Tue Jan 16 13:09:32 2024 From: michael at se-rwth.de (Michael, Judith) Date: Tue, 16 Jan 2024 12:09:32 +0000 Subject: [fg-arc] MODELS 2024 | Call for Workshop Proposals Message-ID: <79337e09432a47bd9516da7f502cae5b@se-rwth.de> --------------------------------------------------------------------------- MODELS 2024 - Call for Workshop Proposals --------------------------------------------------------------------------- Following the tradition of previous conferences, MODELS 2024 will host a number of workshops during the three days before the main conference. The workshops will provide a collaborative forum for a group of typically 15 to 30 participants to exchange recent and/or preliminary results, conduct intensive discussions on a particular topic, or coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussions of innovative ideas, recent progress, or practical experience on model-driven engineering for specific aspects, specific problems, or domain-specific needs. Each workshop should provide a balanced distribution of its time for both presentations of papers (favoring the attendance of young researchers) and discussions. The duration of these workshops is in general one day, but we encourage the submission of half-day workshop proposals on focused topics as well. --------------------------------------------------------------------------- Submission process Submit your workshop proposal electronically in PDF using the MODELS EasyChair submission site (https://easychair.org/conferences/?conf=models24workshops). Please adhere to the workshop proposal guidelines (https://conf.researchr.org/track/models-2024/models-2024-workshops#Proposal-guidelines), providing every requested information about the proposed workshop, using at most five pages. Please include the one-page draft of your planned Call for Papers in the proposal (not included in the five pages). In order to ensure proper coordination with the deadlines of the main conference, the deadlines specified in Important Dates below have to be respected by your plan for your workshop. An Overleaf template with the suggested structure is available at https://www.overleaf.com/read/kpkmhtrtxgsg#4ffff3. (This is a read-only link. In order to work with it, you need to make a copy of it.) --------------------------------------------------------------------------- Proceedings As in previous years, there will be joint workshop proceedings published by ACM that include papers from all workshops. For each workshop, the joint proceedings will include: an opening message from the organizers, including, if applicable, the workshop program committee, and all peer-reviewed papers presented in the workshop. Submissions must adhere to the ACM formatting instructions, which can be found at https://www.acm.org/publications/proceedings-template. Papers should have at least 5 pages. We propose page limits of 5 pages for short papers and 10 pages for full papers following the same style and format as the main tracks of the Conference. --------------------------------------------------------------------------- Important Dates - Fri 01 Mar 2024: Workshop Proposal Submissions Deadline - Fri 22 Mar 2024: Workshop Proposal Acceptance Notification - Fri 05 Jul 2024: Workshop Submissions deadline - Fri 09 Aug 2024: Workshop Notification of authors - Wed 14 Aug 2024: Workshop Camera-ready deadline - Sun 22 Sep - Tue 24 Sep 2024: Workshop dates --------------------------------------------------------------------------- Contact For any information, please contact the workshops co-chairs at models24workshops at easychair.org or visit https://conf.researchr.org/track/models-2024/models-2024-workshops#submission-process --------------------------------------------------------------------------- Workshop co-chairs Esther Guerra - Universidad Autónoma de Madrid (Spain) Paul Grünbacher - Johannes Kepler University Linz (Austria) -------------- next part -------------- An HTML attachment was scrubbed... URL: From koubarak at di.uoa.gr Wed Jan 17 08:53:47 2024 From: koubarak at di.uoa.gr (Manolis Koubarakis) Date: Wed, 17 Jan 2024 09:53:47 +0200 Subject: [fg-arc] ESSAI 2024 CALL FOR COURSE PROPOSALS Message-ID: <4f75d327a002ac8f9a66270dee3ede65.squirrel@webmail01.uoa.gr> ESSAI 2024 CALL FOR COURSE PROPOSALS (Apologies for multiple postings) The 2nd European Summer School in Artificial Intelligence - ESSAI 2024 July 15-26, 2024 Athens, Greece https://essai2024.di.uoa.gr/ IMPORTANT DATES 07 Feb 2024: Course Title submission deadline (mandatory) 14 Feb 2024: Final submission 06 Mar 2024: Notification ABOUT ESSAI 2024 is the second edition of the annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI 2024 will provide an interdisciplinary setting in which courses are offered in all areas of Artificial Intelligence and also from wider scientific, historical, and philosophical perspectives. ESSAI is a central meeting place for students and young researchers in Artificial Intelligence to discuss current research and share knowledge. Courses will consist of five 90-minute sessions, offered daily (Monday-Friday) in a single week, to allow students to develop in-depth knowledge of a topic. The first edition of ESSAI was held in Ljubljana, Slovenia (https://essai.si/ ) between the 24th and 28th of July 2023 and was extremely successful, attracting over 500 participants. We look forward to a second edition of ESSAI that is at least as successful. TOPICS AND FORMAT ESSAI aims to cover all subdisciplines of AI and the interactions between them. Proposals for courses at ESSAI 2024 are invited in all areas of Artificial Intelligence, including but not limited to the following: * Autonomous Agents and Multi-agent Systems (MAS) * Causality and Causal Learning (CL) * Ethical, Legal and Social Aspects of AI (ELS) * Foundation Models (FM) * Knowledge Representation and Reasoning (KR) * Learning Theory (LT) * Natural Language Processing (NLP) * Neuro-Symbolic Learning and Reasoning (NSLR) * Planning and Strategic Reasoning (PLAN) * Reinforcement Learning (RL) * Robotics (ROB) * Safe, Explainable and Trustworthy AI (SET) * Search and Optimization (SO) * Supervised and Unsupervised Learning (ML) * Vision (VIS) Each course will consist of five 90-minute lectures, offered daily (Monday-Friday) in a single week. While introductory courses will typically focus on one subarea of AI, advanced courses are encouraged to present a broader perspective on AI and should be of interest beyond one specific area. CATEGORIES Each proposal should fall under one of the following categories. INTRODUCTORY COURSES Introductory courses are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. ADVANCED COURSES Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. PROPOSAL GUIDELINES To be considered, course proposals should closely adhere to the following guidelines: * Courses must be presented by lecturers who submitted the proposal. For courses with more than two lecturers, the role of each lecturer should be clearly explained and justified in the proposal. * Course proposals should explicitly state the intended course category. Proposals for introductory courses should indicate the intended level, for example, as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals must be submitted in PDF format via: https://easychair.org/conferences/?conf=essai2024 and include all the following: 1. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) 2. General proposal information: Title, category 3. Information about the course content: a. Abstract of up to 150 words b. Motivation and description (up to two pages) c. Tentative outline d. Expected level and prerequisites e. Appropriate references (e.g., textbooks, monographs, proceedings, surveys) f. Whether the course will appeal to students outside of the main discipline of the course 4. Information about the proposer(s): a. Short CVs of the proposer(s) b. Evidence that the proposer(s) are excellent lecturers with relevant teaching experience, in particular in delivering intensive courses in an interdisciplinary setting. To keep participation fees to a minimum, all the instructional and organizational work of ESSAI is performed on a completely voluntary basis. However, the registration fees of organizers and instructors will be waived. In addition, and where appropriate, ESSAI will seek to partially reimburse travel and accommodation expenses associated with delivering a course. If lecturers can cover their travel and accommodation expenses from other sources, this is greatly appreciated. SUBMISSION INFORMATION By February 7, 2024: Proposers must submit on EasyChair at least the name(s) of the lecturers(s), the ESSAI area and course level and a short abstract. By February 14, 2024: Submission must be completed by uploading a PDF with the actual proposal as detailed above. SUBMISSION PORTAL Please submit your proposals to https://easychair.org/conferences/?conf=essai2024 ORGANIZING COMMITTEE Chair: Brian Logan, Utrecht University Co-chair: Magdalena Ortiz, TU Wien Local Chair: Manolis Koubarakis, National and Kapodistrian University of Athens ESSAI Steering Committee Chair (EurAI Board representative): Giuseppe De Giacomo, Oxford University From vdheuvel.bas at gmail.com Wed Jan 17 11:53:02 2024 From: vdheuvel.bas at gmail.com (Bas van den Heuvel) Date: Wed, 17 Jan 2024 11:53:02 +0100 Subject: [fg-arc] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2024 Message-ID: ====================================================== CALL FOR SATELLITE EVENTS (WORKSHOPS / TUTORIALS) DisCoTec 2024 19th International Federated Conference on Distributed Computing Techniques June 17-21, 2024 Groningen, The Netherlands Submission deadline: February 12, 2024. https://www.discotec.org/2024 ====================================================== DisCoTec is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). DisCoTec 2024 will gather three main conferences (COORDINATION, DAIS, FORTE) that cover a broad spectrum of distributed computing subjects. Researchers and practitioners are invited to submit proposals for satellite events (workshops and tutorials) to be affiliated to DisCoTec 2024. We welcome proposals on topics related to distributed systems: from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. In the past, DisCoTec has been accompanied by successful workshops and tutorials on a variety of emerging topics in distributed computing; please browse the pages of previous editions of DisCoTec to have an idea of past satellite events. The satellite events (tutorials and workshops) will be held on Monday, June 17, 2024 and on Friday, June 21, 2024. FORMAT FOR PROPOSALS Proposals of satellite events should include: * The name and the preferred date of the proposed satellite event (June 17 or 21, 2024); * A short description of the satellite event (up to 300 words); * If applicable, a description of past editions of the satellite event, including dates, organizers, submission and acceptance counts, and attendance; * For tutorials: the DisCoTec conference most related to the proposed tutorial (COORDINATION, DAIS, FORTE); * The expected number of participants; * The name and short CV of the organizer(s); * For workshops: the publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). The DisCoTec 2024 organization offers: * a link from the DisCoTec 2024 web site; * setup of meeting space and related equipment; * coffee-breaks and lunch for the participants on the day of the satellite event; * on-line registration for participants to the satellite event; * one free registration to the satellite event (for one invited speaker or one organizer). IMPORTANT DATES: - Proposal submission deadline: Monday, February 12, 2024 (but we would like to hear about prospective proposals as soon as possible). - Notification of accepted satellite events: Friday, March 1st, 2024. HOW TO APPLY: Please send your proposals to the workshops and tutorials co-chairs: * Dan Frumin (d.frumin at rug.nl) * Claudio A. Mezzina (claudio.mezzina at uniurb.it) -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at unipi.it Wed Jan 24 08:54:40 2024 From: stefano.forti at unipi.it (Stefano Forti) Date: Wed, 24 Jan 2024 07:54:40 +0000 Subject: [fg-arc] QUATIC 2024 - Call for Papers Message-ID: <6253DA50-0D8A-4EE1-BC9E-88BC885F8E26@unipi.it> ************************ CALL FOR PAPERS ************************ QUATIC 2024 - 17th International Conference on the Quality of Information and Communications Technology Pisa, Italy, September 11-13, 2024 https://2024.quatic.org/ AIMS AND SCOPE ********************** The International Conference on the Quality of Information and Communications Technology (QUATIC) is a leading scientific conference that gathers experts from industry and academia to exchange ideas and approaches regarding all quality aspects in ICT systems engineering and management. This forum seeks to foster lively discussion on how to further the state-of-the-art and define future directions, as well as to disseminate advanced new methods, techniques, and tools. QUATIC 2024, now in its 17th edition, will be hosted in Pisa, in the beautiful region of Tuscany in central Italy, straddling the Arno just before it empties into the Tyrrhenian Sea. QUATIC 2024 invites practitioners and researchers to submit technical papers reporting original research and experience results in all topics and sub-fields of Quality in ICT process, product, and applications domains, as well as sharing practical studies. The conference is organized into thematic tracks that serve as dedicated discussion venues on focused topics of interest, mixing well-established traditional QUATIC topics and newly proposed tracks, covering breakthrough research challenges: ● Emerging Topics and Technologies in Requirements Engineering - Alessio Ferrari (CNR) and Sallam Abualhaija (University of Luxembourg) ● Human Factors for Quality Software - Rodrigo Santos (UNIRIO) and Xiaofeng Wang (Free University of Bozen-Bolzano) ● ICT Process Improvement, Organisation, and Governance - Gleison Santos (UNIRIO) and Edna Canedo (Universidade de Brasília (UnB)) ● Innovative Strategies for Total Quality in Business Processes and Software - Mohamad Kassab (Pennsylvania State University) and Phillip Laplante (NIST) ● Quality Aspects of Empirical Studies - Roberto Verdecchia (University of Florence) and Marcos Kalinowski (PUC-Rio) ● Quality Aspects of Services and Cloud Computing - Vasilios Andrikopoulos (University of Groningen) and Elisabetta Di Nitto (Politecnico di Milano) ● Quality in Adaptive Software - Claudia Raibulet (Universita' degli Studi di Milano-Bicocca) and Karthik Vaidhyanathan (International Institute of Information Technology) ● Quality in the Age of AI - Grace Lewis (Carnegie Mellon Software Engineering Institute) and Domenico Bianculli (University of Luxembourg) ● Sustainability as a Quality Concern - Luis Cruz (Delft Technical University) and Maja Kirkeby (Roskilde University) ● Verification, Validation, and Testing - Mercedes Merayo (Universidad Complutense de Madrid) and Filippo Ricca (University of Genova) The relevant topics specific to each track are available from the conference web site at https://2024.quatic.org/thematic-tracks. SUBMISSIONS ****************** QUATIC 2024 accepts the following types of contributions: ● Research and experience papers (full papers, between 12 and 16 pages). Full papers should describe novel and scientifically rigorous contributions to any aspect related to the quality of ICT systems. Experience papers should present original reports on relevant industrial case studies. ● Innovative and exploratory papers (short papers, between 6 and 8 pages). Short papers should describe new, unconventional approaches that fundamentally challenge established research directions and current state of practice, but which are at an early stage of investigation. All papers must conform to the Springer CCIS Format and be submitted through the EasyChair link https://easychair.org/conferences/?conf=quatic2024, selecting the track that best suits their field. QUATIC 2024 will employ a double-blind review process. Authors of full and short papers should submit a PDF version of their paper without names and affiliations, or other elements that allow the authors' identification, to guarantee a double-blind review process. Submissions will be reviewed by at least three members of the track's Program Committee. Work without substantial new material or failing to follow length and formatting guidelines will be desk rejected and therefore will not be reviewed. The iThenticate plagiarism checker will be used to verify submissions' originality. Authors need to comply with Springer Nature Code of Conduct and QUATIC's Code of Ethical Conduct. PROCEEDINGS ******************* Accepted full and short papers will be included in the proceedings of QUATIC 2024, subject to one of the authors registering for the conference. As with previous QUATIC editions, QUATIC 2024 proceedings will be included in a volume of the Springer CCIS Series (Communications in Computer and Information Science). CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for inclusion in ISI Proceedings. IMPORTANT DATES ************************ - Paper submission: Friday, April 12, 2024 - Authors notification: Monday, May 20, 2024 - Camera-ready: Friday, June 7, 2024 (to be confirmed) ORGANIZING COMMITTEE ******************************** - Antonia Bertolino, Organizing Co-chair (ISTI-CNR, Italy) - Laura Semini, Organizing Co-chair (University of Pisa, Italy) - Patricia Lago, Program Co-chair (Vrije Universiteit Amsterdam, Netherlands) - João Pascoal Faria, Program Co-chair (University of Porto, Portugal) - Alexandra Mendes, Proceedings Chair (University of Porto, Portugal) - Cristian Augusto, Web Chair (University of Oviedo, Spain) - Stefano Forti, Publicity Co-chair (University of Pisa, Italy) - Giovanna Broccia, Publicity Co-chair (ISTI-CNR, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Jan 19 10:05:26 2024 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 19 Jan 2024 09:05:26 +0000 Subject: [fg-arc] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun Message-ID: <016e96aef34740919d50e6fc5ddd4eca@abo.fi> Dear all, The Formal Methods Teaching tutorials series starts in 2024 with a lecture on Friday, January 26! Prof Alcino Cunha, University of Minho, Portugal will lecture on his experiences in teaching Alloy with Alloy4Fun on Friday, January 26, 2024 at 3 pm CEST. Alcino uses Alloy4Fun in teaching since 2019, and was one of the proponents of Alloy6 and Alloy4Fun. Here is a bit of context for Alloy4Fun, from https://haslab.github.io/Alloy4Fun/tutorial.html: "Due to the simplicity and flexibility of the language and intuitive and automatic feedback provided by its analyzer, Alloy is often taught in introductory formal methods courses. However, the classic standalone Alloy Analyzer suffers from some limitations that hinder its usage in the classroom, namely * the lack of a straightforward mechanism to share simple Alloy models, instances and associated themes, a process that becomes cumbersome in large classes where students require feedback or have to submit exercise resolutions for evaluation; and * the absence of some automated assessment functionality or online judge system for students to autonomously solve exercises and receive automatic feedback regarding the correctness of their resolutions. The Alloy4Fun platform was developed precisely to address these issues. Alloy4Fun allows users to edit and execute Alloy 6 models online, providing a minimalistic customizable instance visualizer. Both models and instances can be easily shared through permalinks. Moreover, the platform provides support for simple specification challenges in the form of duels where students attempt to discover a secret constraint specified by the instructors. When solving these challenges, students are supported by a hint system to nudge them in the right direction when stuck. Alloy4Fun collects anonymized information about the student submissions and interactions, so that instructors can measure the progress of the students on the shared challenges and identify potential learning bottlenecks." More information about our lecturer can be found here: https://alcinocunha.github.io/. The zoom link for Alcino's lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Jan 27 12:15:56 2024 From: announce at ucy.ac.cy (Announce) Date: Sat, 27 Jan 2024 11:15:56 +0000 Subject: [fg-arc] CAiSE'24 Forum: Third Call for Papers and Tool Demonstrations Message-ID: <66T0ZCIS-ZP4L-4XL-HQ0I-W1VUDAD6FXH@ucy.ac.cy> *** CAiSE'24 Forum: Third 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: 4th March, 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 simon.kolker at postgrad.manchester.ac.uk Thu Jan 25 23:12:57 2024 From: simon.kolker at postgrad.manchester.ac.uk (Simon Kolker) Date: Thu, 25 Jan 2024 22:12:57 +0000 Subject: [fg-arc] Call for Papers IEEE SMC-IT/SCC 2024 - EXTENDED DEADLINE 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: Deadline for full papers (main tracks only) and SCC presentation-only abstracts: Feb 23, 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 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: