 |
 |
|---|---|
 |
|
 |
Scientific lectures - Friday June 12th (morning)The scientific talks, in the order of their presentation. The invited talk by Gilles Dowek and the following talks by Roger Villemaire ; José Martin Castro-Manzano ; Frederique Janssen-Lauret and, finally, the closing session Closing sessionBack to contents |
Rules and derivations in an elementary logic course Gilles Dowek, researcher at Inria – invited talk The questions of the audience starts at 39:20 mn (click to the image to start the video) - duration: 48:29 mn |
Logic Modelling Roger Villemaire, Département d’informatique – Université du Québec (UQAM), à Montréal The questions of the audience starts at 20:52 mn (click to the image to start the video) - duration: 23:29 mn |
Gender relations in the XIth Mexican logic Olympiad José Martin Castro-Manzano, Faculty of Philosophy and Humanities – UPAEP The questions of the audience starts at 19:35 mn (click to the image to start the video) - duration: 27:05 mn |
Making Room for Women in our Tools for Teaching Logic: a proposal for promoting Gender-Inclusiveness Frederique Janssen-Lauret, post-doctor in Universidade Estadual de Campinas (UNICAMP) (by SKYPE) The questions of the audience starts at 23:11 mn (click to the image to start the video) - duration: 31:02 mn |
Closing Session TTL 2015 Sophie Pinchinat, Professor at ISTIC in University of Rennes 1 / IRISA, France (click to the image to start the video) - duration: 10:24 mn |
Edition page Web: Alain Crenn - Service Communication & Médiation/ audiovisuel |
