43. SOFSEM 2017: Limerick, Ireland

Foundations in Computer Science

Semantics, Specification and Compositionality

Theory of Mobile and Distributed Systems

Verification and Automated System Analysis

Petri Nets, Games and Relaxed Data Structures

Graph Theory and Scheduling Algorithms

Quantum and Matrix Algorithms

Planar and Molecular Graphs

Coloring and Vertex Covers

Algorithms for Strings and Formal Languages

Data, Information and Knowledge Engineering

Software Engineering: Methods, Tools, Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics