 |
 |
|---|---|
 |
|
 |
Scientific lectures - Wednesday June 10th (afternoon)The scientific talks, in the order of their presentation. The following talks by Marek Materzok ; Patrick Terrematte ; Jose Martin Castro-Manzano ; Josje Lodder ; Frédéric MarisBack to contents |
Easyprove: a tool for teaching precise reasoning Marek Materzok, postdoc in Inria - Rennes (France) and research assistant at the University of Wroclaw (Poland). The questions of the audience starts at 24:00 mn (click to the image to start the video) - duration: 26:45 mn |
ARG: Virtual Tool to Teaching Argumentation Theory Patrick Terrematte, professor of Science Methodology at UFERSA (Universidade Federal Rural do Semi-Árido), Brésil The questions of the audience starts at 19:40 mn (click to the image to start the video) - duration: 21:23 mn |
dasasap: an App for Syllogisms Jose-Martin Castro-Manzano, doctor in Philosophy of Science in UPAEP The questions of the audience starts at 20:21 mn (click to the image to start the video) - duration: 26:05 mn |
A pilot study of the use of LogEx, lessons learned Josje Lodder, Open University of the Netherlands The questions of the audience starts at 21:15 mn (click to the image to start the video) - duration: 27:05 mn |
Twist your Logic with TouIST Frédéric Maris, Maître de Conférences à l’Institut de recherche en informatique de Toulouse (IRIT) The questions of the audience starts at 20:53 mn (click to the image to start the video) - duration: 22:24 mn |
Edition page Web: Alain Crenn - Service Communication & Médiation/ audiovisuel |
