upvd

LAboratoire de Mathématiques et de PhySique
Vérification NUmérique des Systèmes (VENUS)

  Actualités


  • pas de photo

    Prochaine Réunion

    Le 17 octobre 2018 dans la salle de réunion du LAMPS à 13h Exposé de Alexis Cornet

  • pas de photo

    Prochaine Réunion

    Le 9 Octobre 2018 à la salle de séminaire de l'UFR à 10h Intervenant: Nicolas Pech-Gourg Titre: Méthodes de RO et d'IA appliquées à la résolution de problèmes de gestion.

  • pas de photo

    Parution de Livre

    Parution du livre "Foundations of discrete mathematics with algorithms and programming" co-écrit par Sridharan Sriraman. Lien UPVD