<div dir="ltr">Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a loose umbrella organisation with a steering committee that aims to provide continuity. The next edition is approaching, and workshops are still open for submissions!<br><br>STAF 2024 will include:<br><br>27th International Workshop on Algebraic Development Techniques (WADT 2024)<br>===========================================================================<br><a href="https://urldefense.com/v3/__https://conf.researchr.org/track/wadt-2024/wadt-2024-research-papers__;!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvarx20TU$">https://conf.researchr.org/track/wadt-2024/wadt-2024-research-papers</a><br><br>Event: 8 July 2024<br>Deadline: 10 May 2024 (abstract) + 17 May 2024 (full)<br>Topics of interest:<br>- Foundations of algebraic specification<br>- Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems<br>- Specification languages, methods, and environments<br>- Semantics of conceptual modelling methods and techniques<br>- Model-driven development<br>- Graph transformations, term rewriting, and proof systems<br>- Integration of formal specification techniques<br>- Theorem-proving technologies and integration with specification languages<br>- Formal testing and quality assurance, validation, and verification<br>- Algebraic approaches to knowledge representation and cognitive sciences<br><br>15th International Workshop on Graph Computation Models (GCM 2024)<br>==================================================================<br><a href="https://urldefense.com/v3/__https://conf.researchr.org/home/staf-2024/gcm-2024*Call-for-Papers__;Iw!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvS4bWW5Y$">https://conf.researchr.org/home/staf-2024/gcm-2024#Call-for-Papers</a><br><br>Event: 9 July 2024<br>Deadline: 7 May 2024 (abstract) + 14 May 2024 (full)<br>Topics of interest:<br>- Foundations<br>    - Models of graph transformation<br>    - Analysis and verification of graph transformation systems<br>    - Parallel, concurrent, and distributed graph transformation<br>    - Term graph rewriting<br>    - Formal graph languages<br>- Applications<br>    - Graph-based programming models and visual programming<br>    - Model-driven engineering<br>    - Evolutionary computation<br>    - Software architectures, validation and evolution<br>    - Databases<br>    - Graph-based security models<br>    - Workflow and business processes<br>    - Social network analysis<br>    - Bioinformatics and computational chemistry<br>    - Quantum computing<br>    - Case-studies<br><br>Second International Workshop on Agility in Model-Driven Engineering (AgileMDE 2024)<br>====================================================================================<br><a href="https://urldefense.com/v3/__https://conf.researchr.org/home/staf-2024/a-mde-2024*Call-for-Papers__;Iw!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvQoHDrj3$">https://conf.researchr.org/home/staf-2024/a-mde-2024#Call-for-Papers</a><br><br>Event: 10 July 2024<br>Deadline: 6 May 2024 (abstract) + 13 May 2024 (full)<br>Topics of interest:<br>- Integration of agile and model-driven methods<br>- Lightweight modelling and tools for agile MDE<br>- Acceleration and automation of MDE processes, using AI support or other approaches<br>- Industrial applications of agile MDE<br>- Agile MDE for safety-critical systems<br>- Agile MDE approaches for reverse-engineering and re-engineering<br><br>Fourth International Workshop on MDE for Smart IoT Systems (MeSS 2024)<br>======================================================================<br><a href="https://urldefense.com/v3/__https://conf.researchr.org/home/staf-2024/mess-2024*Call-for-Papers__;Iw!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvWgeJlGU$">https://conf.researchr.org/home/staf-2024/mess-2024#Call-for-Papers</a><br><br>Event: 10 July 2024<br>Deadline: 13 May 2024<br>Topics of interest:<br>- Runtime models and operation of smart IoT systems<br>- Model-based deployment and orchestration of IoT Systems<br>- Model-based testing for IoT<br>- Multi-view modelling for IoT<br>- Code generation for IoT<br>- Simulation of physical systems and things<br>- Modelling languages for IoT systems<br>- Model-based analysis, verification, and validation techniques<br>- Trustworthiness of smart IoT systems<br>- Integration of IoT, Fog, and Cloud Computing spaces<br>- Megamodelling for IoT systems (of systems)<br><br>First Large Language Models for Model-Driven Engineering Workshop (LLM4MDE 2024)<br>================================================================================<br><a href="https://urldefense.com/v3/__https://conf.researchr.org/home/staf-2024/llm4mde-2024*Call-for-Papers__;Iw!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvaYajDhG$">https://conf.researchr.org/home/staf-2024/llm4mde-2024#Call-for-Papers</a><br><br>Event: 11 July 2024<br>Deadline: 6 May 2024 (abstract) + 13 May 2024 (full)<br>Topics of interest:<br>- LLM-augmented modelling tools<br>- LLMs to support MDE tasks<br>- Prompt engineering techniques to adapt LLMs in the context of MDE<br>- Retrieval Augmentation Generation (RAG) to support MDE<br>- Performance evaluation of LLMs in a MDE context<br>- Benchmarks to assess the modelling capabilities of LLMs<br>- LLMs trained with modelling corpora<br>- LLMs for supporting low-code development<br></div>