WorkshopsETAPS 2019

The ETAPS 2019 organizing committee invites proposals for satellite events (workshops) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. The committee especially encourages workshops on program synthesis and on the development of approximate systems.

Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software.

ETAPS 2019 satellite events will be held immediately before the main conferences, on April 6-7 at Charles University (see venues).

Accepted Workshops

• BEHAPI 2019 — Workshop on Behavioural APIs

• CREST 2019 — 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

• DICE-FOPARA 2019 — Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis

• GaLoP 2019 — 14th Workshop on Games for Logic and Programming Languages

• HCVS 2019 — 6th Workshop on Horn Clauses for Verification and Synthesis

• HSB 2019 — 6th International Workshop on Hybrid Systems and Biology

• InterAVT 2019 — Interactive Workshop on the Industrial Application of Verification and Testing

• LiVe 2019 — 3rd Workshop on Learning in Verification

• MeTRiD 2019 — 2nd International workshop on Methods and Tools for Rigorous System Design

• PERR 2019 — 3rd International Workshop on Program Equivalence and Relational Reasoning

• PLACES 2019 — Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

• QAPL 2019 — 16th Workshop on Quantitative Aspects of Programming Languages and Systems

• SPIoT 2019 — Workshop on Security practices for Internet of Things

• SynCoP 2019 — 6th International Workshop on Synthesis of Complex Parameters

• SYNTCOMP Camp 2019 — Tutorial on Automatic Synthesis of Reactive Systems.

• VerifyThis 2019 — Verification Competition