facebooktwittergooglerss

Connexion adhérents

Événements

  • 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 09:30
    À 12 Rue des Faussets, 33000 Bordeaux, France
    Le livre sélectionné est “La dynamique des équipes et l'intelligence collective” d’Olivier Devillard. “Faites l'équipe, elle fera le reste ! Si l'équipe est un des meilleurs moyens pour atteindre un enjeu ambitieux, elle l'est aussi pour assurer un excellent rendement et procurer au collaborateur une dimension à taille humaine qui le préserve des effets excessifs du stress. Quelles sont les règles de la dynamique collective ? Comment parvenir à l'intelligence collective ? Pourquoi rencontre-t-on des résistances au fonctionnement en équipe ? Comment améliorer la coopération ?.” Après le club, nous pourrons poursuivre nos discussions autour d’un verre dans un bar avoisinant.
  • Commence le 18 Avril 2020 10:00
    À 12 Rue des Faussets, 33000 Bordeaux, France
4 283 events215369c9642d70b07ced9fb1072de249

Où nous trouver ?

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