This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

The moral economy of mobile phones implies a field of shifting relations among consumers, companies and state actors, all of whom have their own ideas about what is good, fair and just. These ideas inform the ways in which, for example, consumers acquire and use mobile phones; companies promote and sell voice, SMS and data subscriptions; and state actors regulate both everyday use of mobile phones and market activity around mobile phones. Ambivalence and disagreement about who owes what to whom is thus an integral feature of the moral economy of mobile phones. This volume identifies and evaluates the stakes at play in the moral economy of mobile phones. The six main chapters consider ethnographic cases from Papua New Guinea, Fiji and Vanuatu. The volume also includes a brief introduction with background information on the recent ‘digital revolution’ in these countries and two closing commentaries that reflect on the significance of the chapters for our understanding of global capitalism and the contemporary Pacific. DOI: http://doi.org/10.22459/MEMP.05.2018

This textbook emphasizes connections between theory and application, making physics concepts interesting and accessible to students while maintaining the mathematical rigour inherent in the subject. Frequent, strong examples focus on how to approach a problem, how to work with the equations, and how to check and generalize the result.