[TYPES/announce] Joint Call for Workshop Submissions - Software Technologies: Applications and Foundations (STAF 2024)

[Vadim Zaytsev]

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://urldefense.com/v3/__https://conf.researchr.org/track/wadt-2024/wadt-2024-research-papers__;!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvarx20TU$ 

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://urldefense.com/v3/__https://conf.researchr.org/home/staf-2024/gcm-2024*Call-for-Papers__;Iw!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvS4bWW5Y$ 

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://urldefense.com/v3/__https://conf.researchr.org/home/staf-2024/a-mde-2024*Call-for-Papers__;Iw!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvQoHDrj3$ 

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://urldefense.com/v3/__https://conf.researchr.org/home/staf-2024/mess-2024*Call-for-Papers__;Iw!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvWgeJlGU$ 

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://urldefense.com/v3/__https://conf.researchr.org/home/staf-2024/llm4mde-2024*Call-for-Papers__;Iw!!IBzWLUs!WXQD6hF2VYF3zLS-HUAmIFt7UWtmC931i47ySJGmZyDt6-pcb4YBUxCk9N0SZFO2ZDN7ae482TyoIJX1cca0cm8pvaYajDhG$ 

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240501/47d6295b/attachment-0001.htm>