List of workshops
- Call for papers: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'21)
The 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'21) calls for papers. It
will be co-located with PLDI'21 and take place virtually.Call for papers: https://pldi21.sigplan.org/home/SOAP-2021#Call-for-Papers.
Paper submission deadline: 22nd March 2021.
- Bx 2021: FIRST CALL FOR PAPERS
9th International Workshop on Bidirectional Transformations (Bx 2021)
as part of the STAF conference (21-25 June 2021),
Western Norway University of Applied Sciences, Bergen, Norway
http://bx-community.wikidot.com/bx2021:home- Interdisciplinary Approaches in Data Science and Digital Transformation Practice (IADSDTP 2021)
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 DS and DT. The focus in Data Science may be set to various aspects, such as: data warehousing, reporting, online analytical processing, data analytics, data mining, process mining, text mining, predictive analytics and prescriptive analytics, as well as various aspects of machine learning, big data and time series analysis. We express an interest in gathering scientists and practitioners interested in applying DS and DT approaches in public and government sectors, such as healthcare, education, or security services. However, experts from all sectors are welcomed.- [email protected]: 2nd Workshop on Quantitative Aspects of Variant-rich Systems
Families of systems arise naturally in software and hardware: whenever there are configuration parameters, optional features, or updating functionalities, the system can be described by a collection of variants. The main challenge one has to face when analyzing such families is the number of system variants that grows exponential in the number of parameters, rendering their analysis a challenging task. The main goal of this workshop is to bring researchers together, presenting the different approaches to deal with non-functional properties of variant-rich systems.
The workshop solicits regular paper, short paper, and presentation-only submissions and is co-organized with ETAPS on the 28th of March 2021.
https://qavs.edgecloud.de
Submission: 1 March 2021
Full version submission: 28 April 2021- Rust Verification Workshop at ETAPS 2021: Call for Talk and Demo 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.- Virtual Machines and Language Implementations (VMIL) 2020: Call For Participation
The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies.
The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.
- F-IDE 2021 - Call for Papers
6th Workshop on Formal Integrated Development Environment (F-IDE) 2021.
Online event, affiliated with NASA Formal Methods 2021.
https://cister-labs.pt/f-ide2021* paper submission: Mon, Mar 1, 2021
* Notification: Mon, Apr 19, 2021
* Camera-ready: Mon, May 3, 2021
* Workshop: May 24-28, 2021- VMIL 2020 Deadline Extension
The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies.
The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.
