Inscriptions clôturées | | Jeudi 13 septembre 2018 à 17 heures Bruxelles – Palais des Académies – Salle à déterminer Comment rendre l'informatique plus sûre |
La première leçon sera consacrée à la nature des bugs et trous de sécurités et aux méthodes pour mieux développer et mieux vérifier, jusqu'à la preuve automatique des programmes ; si ce sujet est présent de longue date, il était resté dans l'ombre mais il refait surface et bénéficie de progrès extraordinaires.
La deuxième leçon retracera une brève histoire de la mesure du temps et abordera également la synchronisation mondiale informatique du temps, les bases de données temporelles,les circuits digitaux, les programmes temps réel, l'évolution de la composition et de l'exécution des musiques mixtes hommes / ordinateurs.
Programme
| | Comment rendre l'informatique plus sûre Intervenant |
Photos