26th SAS 2019: Porto, Portugal

Invited Contributions

Pointers and Dataflow

Languages and Decidability

Numerical

Trends: Assuring Machine Learning

Synthesis and Security

Temporal Properties and Termination

a service of Schloss Dagstuhl - Leibniz Center for Informatics