List of workshops
- 6th Workshop on Model Driven Approaches in System Development (MDASD 2020)
A goal of the proposed workshop is to bring together people working on MD languages, techniques and tools, as well as Domain Specific Languages (DSL) and applying them in the requirements engineering, information system and application development, databases, and related areas, so that they can exchange their experience, create new ideas, evaluate and improve MD approaches and spread its use. The intention is to target an interdisciplinary nature of MD approaches in software engineering, as well as research topics expressed by but not limited to acronyms such as Model Driven Software Engineering (MDSE), Model Driven Software Development (MDSD), Domain Specific Modeling (DSM), and OMG's Model Driven Architecture (MDA).
- WRLA 2020
The 13th International Workshop on Rewriting Logic and its Applications
An ETAPS 2020 satellite event - Dublin, Ireland - April 25-26 2020- Interdisciplinary Approaches in Data Science and Digital Transformation Practice (IADSDTP 2020)
Invited Session in the scope of the 24th International Conference on on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2020)
The main goal of the session is to attract researchers from all over the world who will present their contributions, interdisciplinary approaches or case studies in the area of Data Science and Digital Transformation.
- Rust Verification Workshop at ETAPS 2020: Call for Talk, Demo, and Challenge Proposals
Rust is a new programming language for writing performant code with strong type and memory safety guarantees. It is now considered a serious alternative to C and C++ for systems programming, because it provides high-level abstractions but without the cost of garbage collection. Given the growing popularity of Rust, and given that bugs in systems programs can be costly, there is growing interest in the program verification community for building program verifiers for Rust. In this workshop, we aim to bring together language designers, application developers and formal verification tool builders, to exchange ideas and build collaborations around developing verified Rust programs.
The goal of this workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the verification of Rust programs and exploring avenues for collaboration.
We want the workshop to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, tool demos, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website.- CfP: ProvenanceWeek, IPAW, TaPP 2020
Continuing the first three successful ProvenanceWeek events in 2014, 2016, and
2018, ProvenanceWeek 2020 aims to provide a venue for both mature research
contributions and early-stage research in the area of provenance, and to attract
a broad audience of researchers working on provenance techniques, researchers in
other disciplines that make use of, or apply, provenance techniques, and
participants from industry or government.ProvenanceWeek 2020 will feature two primary events organized into tracks, the
International Provence and Annotation Workshop (IPAW) track and the Theory and
Practice of Provenance (TaPP) track, and in addition, will feature a joint
poster/demo track.- CFP: CREST'20
5th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
Dublin, Ireland, 25 April 2020
A satellite event of ETAPS 2020https://sites.google.com/view/crest2020
- WRLA 2020
WRLA 2020
The 13th International Workshop on Rewriting Logic and its Applications
An ETAPS 2020 satellite event - Dublin, Ireland - April 25-26 2020- CFP: 18th Belgium-Netherlands Software Evolution Workshop - BENEVOL 2019
The Call for Paper for the 18th Belgium-Netherlands Software Evolution Workshop
Brussels, Belgium
28th - 29th November, 2019
http://soft.vub.ac.be/benevol2019/
