https://velo.wiki.ls2n.fr/ 2026-05-02T07:05:16+02:00 https://velo.wiki.ls2n.fr/ https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico text/html 2025-05-19T09:46:23+02:00 https://velo.wiki.ls2n.fr/doku.php?id=velo:events&rev=1747640783&do=diff Event Organisation * * 27/05/2025 Les Journées Scientifiques 2025 de Nantes Université CL1 - J.R. Abrial, un pionnier du développement scientifique des langages informatiques et des méthodes formelles et de leur application à grande échelle dans l’industrie text/html 2026-04-28T11:12:02+02:00 https://velo.wiki.ls2n.fr/doku.php?id=velo:js2025&rev=1777367522&do=diff CL1 - J.R. Abrial, un pionnier du développement scientifique des langages informatiques et des méthodes formelles et de leur application à grande échelle dans l’industrie Colloque n°1 - Salle N lien Colloque n°1 Ce colloque relie les travaux de J.R. Abrial, du langage LTR développé au Centre de programmation de la marine, à Paris, en passant par le SGBD Socrate développé à l’IMAG de Grenoble, sa participation à la définition du langage ADA, l’invention de la notation formelle Z, puis la métho… text/html 2026-04-28T13:19:55+02:00 https://velo.wiki.ls2n.fr/doku.php?id=velo:presentations&rev=1777375195&do=diff VELO Meetings VELOVELO bis [template PPTX] 2026 VELO * 09/07/2026 Réunion équipe VELO * 25/06/2026 Réunion équipe VELO * 11/06/2026 Réunion équipe VELO * 21/05/2026 Réunion équipe VELO * 07/05/2026 Réunion équipe VELO / direction LS2N * 30/04/2026 Réunion équipe VELO : soutenance de thèse de Hiba ( text/html 2022-06-16T13:11:54+02:00 https://velo.wiki.ls2n.fr/doku.php?id=velo:summary-cjs&rev=1655377914&do=diff Cristiana J. Silva Center for Research and Development in Mathematics and Applications (CIDMA), Department of Mathematics, University of Aveiro, Portugal Title: Complex networks and hybrid models applied to epidemics In this talk we present complex networks built with non identical instances of epidemiological models for infectious diseases, such as Tuberculosis (TB), HIV/AIDS and COVID-19. We consider real data from TB in Angola and Portugal, HIV/AIDS in Cape Verde, COVID-19 in Portugal and …