Joint Call for Workshop Submissions - Software Technologies: Applications and Foundations (STAF 2024)

by Vadim Zaytsev, May 1, 2024

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!

STAF 2024 will include:

27th International Workshop on Algebraic Development Techniques (WADT 2024)

https://conf.researchr.org/track/wadt-2024/wadt-2024-research-papers

Event: 8 July 2024

Deadline: 10 May 2024 (abstract) + 17 May 2024 (full)

Topics of interest:

  • Foundations of algebraic specification
  • Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems
  • Specification languages, methods, and environments
  • Semantics of conceptual modelling methods and techniques
  • Model-driven development
  • Graph transformations, term rewriting, and proof systems
  • Integration of formal specification techniques
  • Theorem-proving technologies and integration with specification languages
  • Formal testing and quality assurance, validation, and verification
  • Algebraic approaches to knowledge representation and cognitive sciences

15th International Workshop on Graph Computation Models (GCM 2024)

https://conf.researchr.org/home/staf-2024/gcm-2024

Event: 9 July 2024

Deadline: 7 May 2024 (abstract) + 14 May 2024 (full)

Topics of interest:

  • Foundations
    • Models of graph transformation
    • Analysis and verification of graph transformation systems
    • Parallel, concurrent, and distributed graph transformation
    • Term graph rewriting
    • Formal graph languages
  • Applications
    • Graph-based programming models and visual programming
    • Model-driven engineering
    • Evolutionary computation
    • Software architectures, validation and evolution
    • Databases
    • Graph-based security models
    • Workflow and business processes
    • Social network analysis
    • Bioinformatics and computational chemistry
    • Quantum computing
    • Case-studies

Second International Workshop on Agility in Model-Driven Engineering (AgileMDE 2024)

https://conf.researchr.org/home/staf-2024/a-mde-2024

Event: 10 July 2024

Deadline: 6 May 2024 (abstract) + 13 May 2024 (full)

Topics of interest:

  • Integration of agile and model-driven methods
  • Lightweight modelling and tools for agile MDE
  • Acceleration and automation of MDE processes, using AI support or other approaches
  • Industrial applications of agile MDE
  • Agile MDE for safety-critical systems
  • Agile MDE approaches for reverse-engineering and re-engineering

Fourth International Workshop on MDE for Smart IoT Systems (MeSS 2024)

https://conf.researchr.org/home/staf-2024/mess-2024

Event: 10 July 2024

Deadline: 13 May 2024

Topics of interest:

  • Runtime models and operation of smart IoT systems
  • Model-based deployment and orchestration of IoT Systems
  • Model-based testing for IoT
  • Multi-view modelling for IoT
  • Code generation for IoT
  • Simulation of physical systems and things
  • Modelling languages for IoT systems
  • Model-based analysis, verification, and validation techniques
  • Trustworthiness of smart IoT systems
  • Integration of IoT, Fog, and Cloud Computing spaces
  • Megamodelling for IoT systems (of systems)

First Large Language Models for Model-Driven Engineering Workshop (LLM4MDE 2024)

https://conf.researchr.org/home/staf-2024/llm4mde-2024

Event: 11 July 2024

Deadline: 6 May 2024 (abstract) + 13 May 2024 (full)

Topics of interest:

  • LLM-augmented modelling tools
  • LLMs to support MDE tasks
  • Prompt engineering techniques to adapt LLMs in the context of MDE
  • Retrieval Augmentation Generation (RAG) to support MDE
  • Performance evaluation of LLMs in a MDE context
  • Benchmarks to assess the modelling capabilities of LLMs
  • LLMs trained with modelling corpora
  • LLMs for supporting low-code development