ISoLA 2014: Corfu, Greece

Evolving Critical Systems

Rigorous Engineering of Autonomic Ensembles

Automata Learning

Formal Methods and Analysis in Software Product Line Engineering

Model-Based Code Generators and Compilers

Tutorial: Automata Learning in Practice

maintained by Schloss Dagstuhl LZI, founded at University of Trier