Il ciclo LiMoSP - Linguaggi e Modelli per il Software e le sue Proprietà comprende seminari di ricerca e seminari divulgativi nel campo delle scienze informatiche, col duplice scopo di favorire lo scambio di idee e la cooperazione tra l'Università di Urbino Carlo Bo e altri atenei e istituti di ricerca italiani e stranieri, nonché di diffondere la cultura informatica tra il personale dell'Ateneo e la popolazione studentesca.