Ver el código de «Aplicaciones a bioinformática» - Lógica computacional y teoría de modelos (2019-20)

* ''Reconstrucción filogenética''
** [[ Reconstrucción filogenética | Programa]]
*** Instancias:
**** [[Reconstrucción filogenética 1I| Primera instancia]]
**** [[Reconstrucción filogenética 2I | Segunda instancia]]
* ''Interferencia de haplotipos''
** [[Interferencia de haplotipos | Programa]]
*** Instancias:
**** [[Interferencia de haplotipos 1I| Primera instancia]]
**** [[Interferencia de haplotipos 2I | Segunda instancia]]
* ''Estructura secundaria del ARN''
** [[Estructura secundaria del ARN | Programa]]
*** Instancias:
**** [[Estructura secundaria del ARN 1I| Primera instancia]]
**** [[Estructura secundaria del ARN 2I | Segunda instancia]]
**** [[Estructura secundaria del ARN 3I | Tercera instancia]]
* ''Predicción de la estructura de proteínas''
** [[ Predicción de la estructura de proteínas | Programa]]
*** Instancias:
**** [[Predicción de la estructura de proteínas 1I| Primera instancia]]
**** [[Predicción de la estructura de proteínas 2I | Segunda instancia]]
**** [[Predicción de la estructura de proteínas 3I | Tercera instancia]]
**** [[Predicción de la estructura de proteínas 4I | Cuarta instancia]]