Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 524
Conférences

le (29m57s)

Ecole doctorale - conférence #1 d'Armen Khatchatourouv - " La confiance suggérée et le trust-by-design : quels modèles pour le numérique ? "

Armen KHATCHATOUROV : « La confiance suggérée et le trust-by-design : quels modèles pour le numérique ? » (ingénieur et docteur en philosophie de la technique, spécialiste en gestion responsable des données, enseignant-chercheur à Institut Mines-Télécom Business School. Vient de paraître sous sa direction : Les Identités numériques en tension. Entre autonomie et contrôle (ISTE Editions)). Dans le cadre des rencontres doctorales "Le numérique pour quelle humanité ?" Nantes, mercredi 5 juin et jeudi 6 juin 2019 Institut d’études avancées / Laboratoire des sciences du numérique de Nantes Lieu : École ...
Voir la vidéo
Conférences

le (1h0s)

Ecole doctorale - conférence #2 de Jean-Gabriel Ganascia - " Ethique et épistémologie des données "

14h :Jean-Gabriel GANASCIA: « éthique et épistémologie des données » (président du COMETS (Comité d’éthique du CNRS) depuis 2016 et membre de la CERNA (Commission de réflexion sur l’Éthique de la Recherche en sciences et technologies du Numérique d’Allistene)Dans le cadre des rencontres doctorales "Le numérique pour quelle humanité ?" Nantes, mercredi 5 juin et jeudi 6 juin 2019 Institut d’études avancées / Laboratoire des sciences du numérique de Nantes Lieu : École Centrale, amphi S 1 Rue de la Noë, 44300 ...
Voir la vidéo
Conférences

le (51m31s)

Ecole doctorale - conférence #3 de Marie Ekeland - " Economie, société, humanisme : quel numérique pour demain ? "

15h30 : Marie EKELAND : « Economie, société, humanisme : quel numérique pour demain ? » (entrepreneuse française spécialisée dans le financement de start-up, co-fondatrice du fonds d’investissement Daphni. Fin 2017, elle devient la première femme présidente du Conseil national du numérique).Dans le cadre des rencontres doctorales "Le numérique pour quelle humanité ?" Nantes, mercredi 5 juin et jeudi 6 juin 2019 Institut d’études avancées / Laboratoire des sciences du numérique de Nantes Lieu : École Centrale, amphi S 1 Rue de la Noë, 44300 ...
Voir la vidéo
Conférences

le (1h4m32s)

CoNeCo: Concurrency, Networks and Coinduction

In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs.  Orthogonally, based on KA, Foster et al proposed NetKAT, a domain-specific language that can be used to program and verify policies of Software Defined Networks. in this talk, we will show how to develop a concurrent extension of NetKAT based on CKA, which supports expressing and verifying the concurrent filtering of packets — on the same ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte