Programming Languages 20th Brazilian Symposium, Sblp 2016, Maringá,

Programming Languages 16th Brazilian Symposium, Sblp 2012, Natal,

Programming Languages 17th Brazilian Symposium, Sblp 2013, Brasília,

Programming Languages 18th Brazilian Symposium, Sblp 2014, Maceio,

Database Programming Languages 12th International Symposium, Dbpl

Programming Languages And Systems 18th European Symposium On

Programming Languages And Systems 18th Asian Symposium, Aplas 2020,

Advances In Geoinformatics Viii Brazilian Symposium On Geoinformatics,

Algorithms -- Esa 2012 20th Annual European Symposium, Ljubljana,

Human-computer Interaction Symposium Ifip 20th World Computer

Formal Methods: Foundations And Applications 23rd Brazilian Symposium,

Trends In Functional Programming 13th International Symposium, Tfp

Fm 2015: Formal Methods 20th International Symposium, Oslo, Norway,

Computer Programming And Programming Languages Bogdan-dumitru

Proceedings Of The 5th Brazilian Technology Symposium Emerging Trends,

Static Analysis 20th International Symposium, Sas 2013, Seattle, Wa,