Innovación en movimiento: explorando las fronteras de la ciencia y la tecnología. Noticias sobre espacio, ingeniería, tierra, historia, naturalezas, economía.
Las ciencias formales son las ramas del conocimiento que se ocupan del estudio de los sistemas formales como la lógica, matemática, ciencia computacional, teoría de la información, teoría de juegos, teoría de decisión y estadísticas.