Teaching Formal Methods Second International Conference, Tfm 2009,

Integrated Formal Methods 7th International Conference, Ifm 2009,

Contemporary Computing Second International Conference, Ic3 2009,

Formal Methods And Software Engineering 16th International Conference

Formal Methods In Macro-biology First International Conference, Fmmb

Trusted Computing Second International Conference, Trust 2009 Oxford,

Formal Methods Teaching Third International Workshop And Tutorial,

Formal Grammar 19th International Conference, Formal Grammar 2014,

E-voting And Identity Second International Conference, Vote-id 2009,

Formal Grammar 22nd International Conference, Fg 2017, Toulouse,

Formal Aspects Of Component Software 16th International Conference,

Formal Concept Analysis 13th International Conference, Icfca 2015,

Information Theoretic Security Second International Conference, Icits

Pervasive Computing 7th International Conference, Pervasive 2009,

Cloud Computing First International Conference, Cloudcom 2009,

Formal Grammar 24th International Conference, Fg 2019, Riga, Latvia,