seminarios
- Linux, Git y software libre – David Charte
- Introducción a LaTeX – José María Martín
- apuntesDGIIM – Daniel Pozo
- Técnicas de estudio – Pablo Baeyens
- Adjunciones – Mario Román
- El algoritmo de Shor paso a paso – José Alberto Orejuela
- Programando ordenadores cuánticos – Pablo Baeyens
Quincuagésimo noveno seminario
- Monoides coloreados – Mario Román
Quincuagésimo octavo seminario
- Funtores, mónadas y otras clases de tipos en Haskell – Pablo Baeyens
- Tutorial de Deep Learning con Keras y Tensorflow – David Charte
Quincuagésimo séptimo seminario
- Introducción a Haskell – Pablo Baeyens
- Introducción a Isabelle – Rodrigo Raya
- Cómo ser becario en una Big Tech: The Coding Interview – José Antonio Álvarez
Quincuagésimo quinto seminario
- Física en videojuegos: diseño e implementación – Víctor Buendía
Quincuagésimo cuarto seminario
- Música y matemáticas – Marta Fernández y Violeta Atienza
Quincuagésimo tercer seminario
- Introducción y ejemplos de modelado matemático de sistemas biológicos – Bartolomé Ortiz
- Cómo construir un Instagram federado desde cero – Yábir García
Quincuagésimo segundo seminario
- Linux, Git y uso de la terminal – David Charte
- Introducción a LaTeX – Pablo Baeyens
Quincuagésimo primero seminario
- Algunos resultados de probabilidad e inferencia estadística – Daniel Pozo
- 4 años de seminarios – David Charte
- Mi teorema favorito – Colectivo
- Constructivismo y computación – Mario Román
- Superficies de Riemann y algunos teoremas globales de superficies en $\mathbb{R}^3$ – David Moya
- Polinomios ciclotómicos y semigrupos numéricos – Andrés Herrera
- Teoría de categorías y cálculo lambda – Mario Román
- Teoría de categorías aplicada al diseño de software – Braulio Valdivielso
Cuadragésimo séptimo seminario
- Amarfly en el país de la computación cuántica - Ana Martínez
- Repetición espaciada con Anki - Pablo Baeyens
- Programando en categorías cartesianas - Mario Román
- Generalizando la desigualdad de las medias - Pablo Baeyens
- Ruby en 10 líneas. Introducción a Enumerators - David Charte
- Árboles y grafos: conceptos básicos - José Antonio Álvarez
- Problemas de programación y estructuras de datos - Ignacio Cordón
Cuadragésimo segundo seminario
- Verificación formal - David Charte
- Lógica intuicionista y cálculo lambda - Mario Román
- Iteradores y generadores en Python - Yábir García
- Categorías, funtores y transformaciones naturales - Mario Román
- Homología singular, en espacios y en pares - José Carlos Entrena
- Introducción a Perl6 - Elena Merelo
- Introducción a Latex - Pablo Baeyens
- Problemas de matemáticas - Colectivo
- Herramientas para informática y matemáticas - Mario Román, Nacho Cordón, Pablo Baeyens, David Charte
- SikuliX - Rubén Morales
- Problemas de programación - Colectivo
- Introducción al aprendizaje PAC - Nacho Cordón
- Problemas de programación - Marta Andrés
- Ejemplos de Haskell - Pablo Baeyens y Mario Román
- Latex en Telegram - Ignacio Cordón
- Funtores y mónadas en Haskell - Pablo Baeyens y Mario Román
- Los esenciales para Informática y Matemáticas - David Charte, Mario Román
- Introducción a R y RStudio - Ignacio Cordón
- Teoría de tipos - Mario Román
- Conceptos fundamentales del Álgebra - Andrés Herrera
- Veaml - David Charte
- Problemas de la revista Archimede - Colectivo
- Una introducción a Kaggle: Digit Recognizer - Andrés Herrera
- Álgebra de tipos - Mario Román
- Escribiendo para el Blog LibreIM - David Charte
- Hackathon de la OSL. Blog LibreIM - Colectivo
- Open Data. Proyecto Petra - David Charte
- Introducción a R - David Charte y Mario Román
- Fundamentos de teoría de categorías - Mario Román
- Problemas de Hackerrank - Colectivo
- Problemas de olimpiadas matemáticas - Colectivo
- Lenguajes naturales - Colectivo
- Metaseminario: debate sobre los seminarios - Colectivo
- Quiero ser investigador, ¿por dónde empiezo? - Francisco Charte (Univ. Jaén)
- Geometría clásica - Colectivo
- Árboles y otras estructuras de datos. Red-black trees. - Andrés Herrera, Óscar Bermúdez y Mario Román
- Elipsoide y yo - Evangelina Santos (Dpto. Álgebra)
- Computabilidad y cálculo lambda - Mario Román
- Lógica y teoría de conjuntos - Colectivo
- Introducción a Python - Ignacio Mas
- Introducción a Javascript - David Charte
- Problemas de la Olimpiada Iberoamericana de Matemática Universitaria - Colectivo
- Introducción a los Algoritmos Genéticos - Andrés Herrera
- Tipos, teoremas y demostraciones por ordenador - Mario Román
- Latex, Git, GitHub y otras herramientas - David Charte, Ignacio Cordón y Mario Román
- Funciones especiales: Gamma, Beta y Digamma - Ignacio Cordón
- El isomorfismo de Curry-Howard - Mario Román
- Algoritmos de Clasificación en Minería de Datos
- Resolución de problemas de matemáticas y programación - Colectivo