This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2042, which took place in Puerto Varas, Chile, in March 2024. Complexity Theory; Part II: Combinatorics and Graph Theory; Automata Theory and Formal Languages; and Game Theory and Fairness.