Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 6497
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
Séminaires

le (12m50s)

08 - "Gestion durable des sols lors des opérations de plantation : risques de tassements, risques d'appauvrissement chimique, application aux peupleraies" : Bernard Jabiol (AgroparisTech-Nancy)

Séminaire interdisciplinaire et international "Les plantations forestières : représentations et réalité"Séminaire organisé dans le cadre du projet « Reforesté » Reforesté (Représentations et réalité des forêts plantées) est un projet de recherche interdisciplinaire et international, financé par la MSH Val de Loire (2018-2019) et porté par l’UMR CITERES – équipe DATE (Sylvie Servain et Amélie Robert). Il ambitionne d’interroger les représentations associées aux plantations forestières peuplées d’espèces à croissance rapide, tout en les confrontant à la réalité environnementale, foncière et sociale, par une entrée transdisciplinaire qui ...
Voir la vidéo
Conférences

le (1h28m18s)

Attention, zone contaminée Conférence dans le cadre de l'Université Populaire du Havre avec Frédérick Lemarchand et Cathy Blisson

Tchernobyl en 1986, Fukushima en 2011 : avons-nous tiré tous les enseignements de ces catastrophes nucléaires et de leurs conséquences humaines ? Comment aujourd’hui traiter des risques technologiques majeurs ? Pour le sociologue Frédérick Lemarchand, appréhender les menaces produites par l’homme sous le seul angle du "risque calculable" est un facteur d’aggravation des situations de crise, voire un moteur. Seule une approche complexe et pluridisciplinaire, avec l’apport des sciences sociales et humaines et l’aval de la société civile, peut être à la hauteur de tels enjeux. Cette réflexion se place sous ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte