Taller Internacional de Procedimientos sobre Desarrollos en Complejidad Computacional Implícita