Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 6132
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 (2h48m31s)

ÉLECTIONS EN AFRIQUE, MIROIR DU MONDE Partie 4

Le but de cet atelier est de plaider en faveur de l’idée que les situations africaines apportent des lumières sur le fait électoral partout dans le monde. En effet, on assiste, depuis les années 1990, marquées par la fin des partis uniques, à une nouvelle expansion du nombre des élections au suffrage universel sur ce continent. La plupart du temps, ces expériences politiques sont identifiées par les chercheurs, soit comme des élections « pas comme les autres », soit comme des élections « sans choix », voire sans électeurs. Ou encore, comparées à la prétendue normalité démocratique occidentale, elles sont ...
Voir la vidéo
Séminaires

le (41m8s)

Classes sociales et politique au Portugal. Pratiques du métier de sociologue.

Pratiques du métier de sociologue José Madureira Pinto (UP, IS-UP) (Université de Porto, Institut de sociologie de l’Université de Porto) et João Queirós (Institut Polytechnique de Porto, Institut de sociologie de l’Université de Porto), « Eléments d’une sociologie d’une collectivité locale du nord-ouest du Portugal (1977-2008) » Bruno Monteiro (Institut de sociologie de l’Université de Porto) et Virgílio Borges Pereira (Université de Porto, Institut de sociologie de l’Université de Porto), « Les intellectuels et le pouvoir dans une conjoncture de crise : Porto, 1958-1965 »
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte