posted by user: sological || 2758 views || tracked by 7 users: [display]

TTL 2015 : 4th International Conference on Tools for Teaching Logic

FacebookTwitterLinkedInGoogle

Link: http://ttl2015.irisa.fr/
 
When Jun 9, 2015 - Jun 12, 2015
Where Rennes, France
Submission Deadline Feb 13, 2015
Notification Due Apr 6, 2015
Final Version Due Apr 20, 2015
Categories    logic   education
 

Call For Papers

Fourth International Conference on Tools for Teaching Logic
9-12 Jun 2015, Rennes (France)
http://ttl2015.irisa.fr/

Abstract submission: 13 February 2015
Paper submission: 20 February 2015
Notification: 6 April 2015
Final camera­-ready due: 20 April 2015
Conference: 9­-12 June 2015

The organizing committee invites you to take part in the Fourth
International Conference on Tools for Teaching Logic, which will be held
in Rennes on June 9-12, 2015.

There will be lectures, discussion sessions, round tables and software
demonstrations. You are kindly invited to take active part in
discussion sessions and to exhibit your teaching or professional
software. We invite submission on all aspects of teaching logics,
including the following:

Main topics:

1. Teaching logic in sciences and humanities

2. Teaching logic at different levels of instruction (secondary education, university level, and postgraduate)

3. Didactic software

4. Facing some difficulties concerning what to teach

5. International postgraduate programs

6. e-Learning Logic: Resources and Challenges.

7. Teaching Argumentation Theory, Critical Thinking and Informal Logic

8. Teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others

9. Dissemination of logic courseware and logic textbooks

10. Teaching Logic Thinking

Related Resources

IEEE ICTAI 2017   29th IEEE International Conference on Tools with Artificial Intelligence
ESR - 9-10   The European Science Review 9-10/2017
IPTA 2017   International Conference on Image Processing Theory, Tools and Applications
EJEAP - 4 2017   The European Journal of Education and Applied Psychology
LICS 2018   Logic in Computer Science
ICCD 2017   International Conference on Computer Design
ICETC 2017   ICETC 2017 - 2017 9th International Conference on Education Technology and Computers--Ei Compendex and Scopus
5th ICTEL 2018   2018 – 5th International Conference on Teaching, Education & Learning (ICTEL)
KRR@SAC 2018   KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing)