UH-CAS Workshop on mathematical logic