img-logoInriaTTL2015
img-logoirisaTTL2015
img-logoReNaBIplateForme2013

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

img-SophiePinchinatTTL2015

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 img-flecheHaut

img-JohannMankowskiTTL2015

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 img-flecheHaut

img-JohannMankowskiTTL2015

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 img-flecheHaut

img-JohannMankowskiTTL2015

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 img-flecheHaut

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