facebooktwittergooglerss

Connexion adhérents

L'agenda d'Aquinum

  • Avril 2020
  • Commence le 06 Avril 2020 18:00
    Au vu des conditions un peu particulières liées à la situation, nous adaptons notre Happynum mensuel pour en faire un moment de rencontre tout en restant en sécurité chez vous. Pour cet Happynum d'Avril, on vous donne rendez-vous le lundi 6 avril, à 18h00... EN LIGNE !!
  • 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
3 1228 events5f3de9885f33e25b929a49b4dd104b74

Où nous trouver ?

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