ConferenceTTL2015-Inria2015



	Scientific lectures - Tuesday June 9th (morning) The scientific talks, in the order of their presentation. The invited talk by Claude Kirchner and the following talks by Johann Makowsky ; Joao Marcos ; Luis A. Urtubey. Back to contents

Publishing and Teaching at the digital age
Claude Kirchner (DR Inria – invited talk)

(click to the image to start the video) - duration: 58:48 mn

Teaching Logic for Computer Science: are we teaching the wrong narrative?
Johann Makowsky, Department of Computer Science Technion – Israel Institute of Technology, Haifa, Israel

The questions of the audience starts at 25:35 mn

(click to the image to start the video) - duration: 30:37 mn

Fail Better: What formalized mathematics can teach us about learning

Joao Marcos, professor at LoLITA & DIMAp, UFRN, BR

The questions of the audience starts at 21:18 mn

(click to the image to start the video) - duration: 25:50 mn

To Teach Modal Logic: An Opinionated Survey

Luis A. Urtubey, U.N.C. Cordoba Argentina

The questions of the audience starts at 17:49 mn

(click to the image to start the video) - duration: 22:08 mn

Edition page Web: Alain Crenn - Service Communication & Médiation/ audiovisuel