Este compendio reúne las ponencias del 12.º Simposio Latinoamericano sobre informática teórica, cubriendo temas de algoritmos, complejidad y lógica formal en un volumen exhaustivo de 714 páginas que sirve como referencia para investigadores y estudiantes avanzados.