In this space you will find Lines of Generation and Application of Knowledge of each Formal Research Program