posted by user: sological || 2282 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

ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
AJHSS 1-2 2017   Austrian Journal of Humanities and Social Sciences
STACS 2017   34th International Symposium on Theoretical Aspects of Computer Science
ESR - 1-2 2017   European Science Review Journal 1-2/2017
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
EJEAP - 1 2017   European Journal of Education and Applied Psychology
LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
TMPA 2017   4th International Conference on Tools and Methods for Program Analysis
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
ICLT 2017   3rd International Conference on Learning and Teaching