 |
 |
|---|---|
 |
|
 |
Scientific lectures - Tuesday June 9th (afternoon)The scientific talks, in the order of their presentation. The following talks by John Slaney ; Patrick Terrematte ; Jeremy Seligman ; Jorgen Villadsen ; Pilar Selene Linares Arévalo and the invited talk by Nicole Schweikardt.Back to contents |
Logic considered fun John Slaney, professor in the Research School of Computer Science - Australian National University The questions of the audience starts at 24:00 mn (click to the image to start the video) - duration: 28:51 mn |
TryLogic tutorial: an approach to learning Logic by proving and refuting Patrick Terrematte, with Joao Marcos, Federal University of Rio Grande do Norte (UFRN) The questions of the audience starts at 25:35 mn (click to the image to start the video) - duration: 26:15 mn |
Teaching natural deduction in the right order with Natural Deduction Planner Jeremy Seligman, Senior lecturer, University of Auckland, New Zealand The questions of the audience starts at 14:15 mn (click to the image to start the video) - duration: 20:28 mn |
NaDeA: a natural Deduction Assistant with a formalization in Isabelle Jorgen Villadsen, Technical University of Denmark - DTU Compute The questions of the audience starts at 23:08 mn (click to the image to start the video) - duration: 26:40 mn |
How to prove it in Natural Deduction: a Tactical Approach Pilar Selene Linares Arévalo, Facultad de Ciencias, UNAM – México The questions of the audience starts at 19:38 mn (click to the image to start the video) - duration: 23:29 mn |
Some reflections on teaching an introductory course on logic in computer science invited talk by Nicole Schweikardt, professor in Humboldt-Universität Berlin, Germany The questions of the audience starts at 51:42 mn (click to the image to start the video) - duration: 59:33 mn |
Edition page Web: Alain Crenn - Service Communication & Médiation/ audiovisuel |
