In this book, street-level bureaucracy scholars from South Asia, sub-Saharan Africa, the Middle East, and Latin America analyse the conditions that shape frontline work and citizens´ everyday experience of the state. They provide unique insights into critical themes such as resource scarcities, bureaucratic corruption, control practices and the complexities of dealing with vulnerable population groups.

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area

This book constitutes the refereed proceedings of the 9th Brazilian Symposium on Bioinformatics, BSB 2014, held in Belo Horizonte, Brazil, in October 2014. The 18 revised full papers presented were carefully reviewed and selected from 32 submissions. The papers cover all aspects of bioinformatics and computational biology.