facebooktwittergooglerss

Connexion adhérents

L'agenda d'Aquinum

Effacer
  • Mars 2020
  • Commence le 30 Mars 2020 18:15
    À 12 Rue des Faussets, 33000 Bordeaux, France
    Conférence pour vous donner les clés de l'emploi, animée par 3 spécialistes du recrutement dans le domaine du numérique. Let’s Recruit - 2ème conférence | Spécial entreprises du numérique !
  • Commence le 31 Mars 2020 18:15
    À 12 Rue des Faussets, 33000 Bordeaux, France
    Savoir communiquer sur son projet est essentiel pour convaincre ses prospects, ses clients, des investisseurs, ou même son banquier ! Aquinum vous propose à travers cet événement « Try to pitch #2 » de venir challenger votre projet.
  • Avril 2020
  • Commence le 07 Avril 2020 19:00
    À 12 Rue des Faussets, 33000 Bordeaux, France
    Nous explorerons à un haut niveau quelques techniques de vérifications de programmes, fonctionnels ou impératifs, et découvrirons comment encoder ces techniques dans l'assistant de preuves Coq, pour raisonner rigoureusement sur le bon fonctionnement de petits programmes ou transformations de programmes. Nous explorerons à un haut niveau quelques techniques de vérifications de programmes, fonctionnels ou impératifs, et découvrirons comment encoder ces techniques dans l'assistant de preuves Coq, pour raisonner rigoureusement sur le bon fonctionnement de petits programmes ou transformations de programmes.
  • Commence le 18 Avril 2020 10:00
    À 12 Rue des Faussets, 33000 Bordeaux, France
4 1228 events5a45a1fb3b502f34b5dc30d648936904

Où nous trouver ?

AQUINUM
C/O Le Node
12 rue des Faussets
33000 Bordeaux