Edificio Multiusos Room 1216

23 March (Thursday) 24 March (Friday)

10:00 M. Manzano (USAL): ALFA Project. J. Martínez (UB): Teaching

11:00 Tools for Teaching Logic. non-classical logics through semantic
paradoxes

11:00 J.Villadsen (Technical University of D. Macbeth (Haverford College):

11:40 Denmark): Teaching Logic Historically
SeqCalc: A Tool for Teaching Logic
in the Isabelle/HOL Proof Assistant

11:40 Coffee Break Coffee Break

12:00

12:00 C. Picazo, C. Saborido, J.González E.Dragalina (HSE): When the Form

12:40 de Prado, U. Rivieccio (UNED) & Matters: The Unreasonable
A. Roffé (U. Buenos Aires): TAUT Effectiveness of Logic in Formal
for distance learning Philosophy

12:40 C.Benzmüller & D. Fuenmayor M.Penava (University of Zadar): Three

13:20 (University of Bamberg): metaphors in teaching fitch style
Mathematical Proof Assistants for natural deduction
Teaching Logic: The LogiKEy
Methodology

13:20 Lunch Lunch

15:20

15:20 C. Aguilera Ventura (IRIT), A. L. Moss (Indiana University): Variations

16:00 Yuste-Ginel (IRIT) & A. Burrieza on a Theme of 'Starting Small': Two
(UMA): An epistemic model Innovations in Logic Teaching
checker for educational purposes

16:00 R. Villemaire (UQAM): Tools, D. Mendonça & R. Dias (IFILNOVA,

16:40 methods, and purposes for NOVA FCSH, UNL):
teaching logic Using Lewis Carroll to Teach Logic in
Portuguese High school

16:40 Coffee Break Coffee Break

17:00

17:00 D. Faria (University of Porto): J.-Martín Castro-Manzano & María

17:40 Teaching logic within a framework Fraile-Galaz (UPAEP): Hylemorphy. A
of the epistemology of virtues game of logic

17:40 C. Martinez Vidal (USC): Formal A. Nepomuceno (US): Logically,

18:40 Tools in the Philosophy Curriculum: calculating playing
Logic and Beyond