El objetivo de la capacitación es la formación de una ciudadanía comprometida con la conservación, restauración y manejo sostenible del territorio, fortaleciendo la comprensión de los sistemas naturales y socioambientales. Se exponen nociones sobre c...

Asesoramiento y/o capacitación en micología e incluye: taxonomía y sistemática con base morfológica y filogenética molecular, diversidad, biología y ecología, conservación, cultivo y producción, aplicaciones biotecnológicas. Se emplean técnicas de mi...

Capacitación intensiva de verificación de sistemas críticos y tolerantes a fallas. Abarca corrección de programas (pre/post-condiciones) y en sistemas concurrentes (safety, liveness, deadlocks). Incluye model checking (sistemas de transiciones, SPIN,...