Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 9316
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
Conférences

le (46m33s)

Socialisations langagières et inégalités scolaires / Élisabeth Bautier

Socialisations langagières et inégalités scolaires / Élisabeth Bautier, in colloque interdisciplinaire international « Bébé, petite enfance en contextes » organisé sous la responsabilité scientifique de Chantal Zaouche Gaudron et Anne Dupuy (Université Toulouse Jean Jaurès), Jean-Luc Attié, Michelle Kelly-Irving et Christine Mennesson (Université Toulouse 3). Toulouse, 15-17 mai 2019.Sous-tendue par la question des inégalités d’apprentissage scolaires et des habitudes langagières de l’école qui sont au cœur de ces inégalités, cette communication porte sur les modes de socialisation langagière différenciés des enfants qui sont repérables au moment de la scolarisation en maternelle. Dans un premier moment, sont définies les ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte