List of workshops - page 2

VPT 2022: Second Call for Papers
by Geoffrey Hamilton, Dec. 8, 2021

The 10th International Workshop on Verification and Program Transformation will take place on April 2nd, 2022 in M√ľnchen, Germany, in conjunction with ETAPS 2022. This is the second call for papers for this workshop.

Interdisciplinary Approaches in Data Science and Digital Transformation Practice (KES / IADSDTP 2022)
by Ivan Lukovic, Dec. 8, 2021

The main goal of the IADSDTP invited 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, as well as in industry sectors and Industry 4.0 approaches. Experts from all other sectors are also welcomed.

Rust Verification Workshop at ETAPS 2022: Call for Talk and Demo Proposals
by Peter Mueller, Dec. 3, 2021

Call for Talk, Demo, and Challenge Proposals
2nd Rust Verification Workshop, Co-located with ETAPS 2022, Munich

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.

PLAS 2021 Call for Participation - 16th Workshop on Programming Languages and Analysis for Security
by Marco Guarnieri, Dec. 2, 2021

PLAS 2021 will be held online on December 7. Participation will be free without any preregistration.

PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to the future research at the intersection of programming languages and security.

PLACES 2022 - First Call for Papers
by Marco Carbone, Nov. 16, 2021

The 13th edition of PLACES (Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software) will be co-located with ETAPS 2022 in Munich, Germany on 3rd April 2022.

CfP for [email protected]'22: 5th Workshop on Models for Formal Analysis of Real Systems
by Clemens Dubslaff, Nov. 14, 2021

The MARS workshop brings together researchers from different communities who are developing formal models of real systems. Challenging complex models often occur in formal methods, such as networks, cyber-physical systems, hardware/software codesign, biology, etc. but their thorough discussion is usually not in the scope of conference submissions. MARS emphasizes modeling over verification, so as to retain lessons learnt from formal modeling for complex and real-world systems.

CfP for [email protected]'22: 3rd Workshop on Quantitative Aspects of Variant-rich Systems
by Clemens Dubslaff, Nov. 14, 2021

Families of systems arise naturally due to parameters, configurations, features, versions, etc. The often huge number of system variants render their design, modeling, and analysis challenging tasks. Due to the rising impact of cyber-physical systems, quantitative aspects such as probability of failure, energy consumption, or numerical parameter values become more and more important.

QAVS targets researchers that are active in these areas to discuss challenges, work in progress, and results. The workshop solicits regular paper, short paper, and presentation-only submissions.

Call for Presentations: PriSC 2022 @ POPL 2022 -- Deadline extension
by Marco Guarnieri, Nov. 5, 2021

The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings. The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges. The 6th edition of PriSC will be held on January 22, together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022.