Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 17498
Conférences

le (25m40s)

Fancy a Garden? The Hortulean Pleasures of Imagination and Virtuality / Laurent Châtel

Fancy a Garden? The Hortulean Pleasures of Imagination and Virtuality / Laurent Châtel, in colloque international organisé, sous la responsabilité scientifique de Muriel Adrien, Melissa Percival et Axel Hémery, par l’Université Toulouse Jean Jaurès et l’Université d’Exeter. Toulouse, Musée Paul-Dupuy, 3-4 décembre 2015.« As they walked on, they saw an object, amidst the woods, on the edge of the hill; which upon enquiry, they were told was called, “Shenstone’s Folly”. This is a name, which, with some sort of propriety, the common people give to any work of taste, the utility of which exceeds the level of their ...
Voir la vidéo
Conférences

le (1h48m30s)

Forum Nîmois - Charles GIDE - Tarik RAMADAN et Olivier ABEL - 3 décembre 2015

L’activité de notre association Charles Gide reprend, pour son cycle de conférences "le forum Nîmois Charle GIDE" Jean MATOUK président de l'assosiation et professeur des universités anime un débat, le 3 décembre 2015, à la maison du protestantisme un débat entre Tarik Ramadan et Olivier Abel.Introduction au débat entre Tarik Ramadan et Olivier Abel Nous organisons ce soir, non pas une conférence suivie d’un débat avec vous tous, même si vous aurez la parole comme à l’accoutumée, mais d’abord un débat entre deux universitaires. L’un Tarik Ramadan, bien connu des médias, est professeur d’études islamiques ...
Voir la vidéo
Label UNT Conférences

le (41m50s)

Logic-based static analysis for the verification of programs with dynamically allocated data structures

Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and automated techniques for software verification, allowing to ensure a high degree of reliability and of confidence in their behaviors. In this talk, we present logic-based frameworks for automatic verification of programs manipulating dynamically allocated data-structures. We focus on static analysis techniques, that generate assertions about the program’s reachable states using the algorithmic capabilities ...
Voir la vidéo
Conférences

le (51m51s)

Podemos, l'émergence d'une alternative politique en Europe ?

« C’était quand, la dernière fois que vous avez voté avec espoir ? » Avec ce slogan, Podemos a créé la surprise aux élections européennes de mai 2014, en remportant cinq sièges de députés européens et près de 8 % des suffrages. Un an plus tard, le parti s’implique dans les « candidatures d’unité populaire » qui gagnent les villes de Madrid et de Barcelone. Comment expliquer un tel succès ? Pour ce deuxième café socio, Heloïse Nez reviendra sur les origines de Podemos, créé par des universitaires et des militants d’extrême gauche en janvier 2014, et interrogera ses relations avec le ...
Voir la vidéo
Conférences

le (1h4m59s)

Style et colère : juger les formes de vie / Marielle Macé

Style et colère : juger les formes de vie / Marielle Macé, in séminaire Poéthiques organisé par Jean-Yves Laurichesse (laboratoire Laboratoire Patrimoine, Littérature, Histoire, équipe Littérature et Herméneutique- PLH-ELH) et Nathalie Cochoy (laboratoire Cultures Anglo-Saxonnes-CAS), Université Toulouse Jean Jaurès-campus Mirail, 27 novembre 2015.Dans cette conférence, Marielle Macé tente de comprendre "en littéraire" la revendication qui  lui semble être la plus communément la nôtre aujourd'hui : celle qui consiste à réclamer "d'autres manières de vivre", "d'autres formes de vie".  Elle propose pour cela de réfléchir aux deux dispositions qui sous-tendent cette revendication, et qui engagent ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte