Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 1653
Conférences

le (1h8m54s)

Theoretical Foundations for Runtime Monitoring

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly. In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy ...
Voir la vidéo
Conférences

le (1h38m14s)

Table ronde : Éduquer, demain ?

Table ronde "Eduquer, demain ?"animée par Sylvain BORDIEC, MCF à l'Université de Bordeaux (Faculté Sciences de l'éducation/Collège Sciences de l'homme)>> Voulons-nous encore d'une éducation commune ?Bernard DELVAUX, Sociologue, chercheur à l’UCL (Université catholique de Louvain) où il travaille au Girsef (Groupe de recherche interdisciplinaire sur la socialisation, l’éducation et la formation)>> L'école et des acteurs.trices sous la terreur de la performativitéStéphanie DEMERS, PhD, Université du Québec en Outaouais>> Eduquer demain, innovations et pratiques pédagogiquesLaurent LESCOUARCH, MCF HDR, CIRNEF, Université de Rouen Normandie>> Formation / intégration / citoyenneté dans un pays quadrilingue : l'éducation en Suisse ...
Voir la vidéo
Conférences

le (47m46s)

Les partitions musicales des spectacles "antiques" dansés par Nijinski (1) : une improbable archéologie / Michel Lehmann

Les partitions musicales des spectacles "antiques" dansés par Nijinski (1) : une improbable archéologie / Michel Lehmann, in "Autour de Nijinski clown de Dieu", journée d'étude organisée par l'Institut de Recherche Pluridisciplinaire en Arts, Lettres et Langues (IRPALL) de l'Université Toulouse Jean Jaurès dans le cadre d'un partenariat avec le Théâtre du Capitole, sous la responsabilité et la coordination de Michel Lehmann et Christine Calvet. Université Toulouse Jean Jaurès, Théâtre du Capitole, 6 juin 2019.La place de l’Antiquité dans la vitalité créatrice de l’art occidental se présente comme une référence, dépassant la fonction de simple modèle à imiter ...
Voir la vidéo
Conférences

le (36m37s)

Penser l'attachement parental dans l'adoption internationale / Diana Miconi

Penser l'attachement parental dans l'adoption internationale / Diana Miconi, in colloque "Parentalités contemporaines", organisé par le Laboratoire Clinique Psychopathologique et Interculturelle (LCPI) et le GIS "Recherche et clinique périnatale" sous la responsabilité scientifique de Sylvie Bourdet-Loubère et Delphine Rambeaud-Collin, Université Toulouse Jean Jaurès, 5-7 juin 2019.Les parentalités contemporaines sont autant de façons de « faire famille » c’est à dire de fonder, d’être une famille et se situent donc à l’interface de champs différents : sociologiques, juridiques, politiques, scientifiques et à ce titre interrogent également le ...
Voir la vidéo
Conférences

le (1h29m30s)

La parentalité au regard de la bisexualité psychique / Bernard Golse

La parentalité au regard de la bisexualité psychique / Bernard Golse, in colloque "Parentalités contemporaines", organisé par le Laboratoire Clinique Psychopathologique et Interculturelle (LCPI) et le GIS "Recherche et clinique périnatale" sous la responsabilité scientifique de Sylvie Bourdet-Loubère et Delphine Rambeaud-Collin, Université Toulouse Jean Jaurès, 5-7 juin 2019.Les parentalités contemporaines sont autant de façons de « faire famille » c’est à dire de fonder, d’être une famille et se situent donc à l’interface de champs différents : sociologiques, juridiques, politiques, scientifiques et à ce titre interrogent également ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte