4TH INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC (TTL 2015)
June 9-12, 2015, Rennes, France
http://ttl2015.irisa.fr/
Call for Papers
TOPICS
Tools for Teaching Logic seeks for original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for eLearning Logic; teaching Argumentation Theory, Critical Thinking and
Informal Logic; teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking.
INSTRUCTIONS FOR AUTHORS
Submitted papers in PDF format should not be longer than 8 pages and must be submitted
electronically using the EasyChair system:
https://easychair.org/conferences/?conf=ttl2015.
A demonstration is expected to accompany papers describing software tools.
At least one author of each accepted paper must be registered and attend TTL 2015 to present the paper or the tool.
PUBLICATIONS
All accepted papers will be published electronically in the LIPICS style by University of Rennes 1 with an ISBN (a USB key will be provided to the conference participants).
LIPICS style is available
here.
After the conference, a special issue containing extended versions of the best accepted papers is going to be published in the
IfCoLog Journal of Logics and their Applications.
CONFERENCE FORMAT
Papers presentations will be presented in parallel sessions along the week. A half-day slot will be dedicated to demo tools.
IMPORTANT DATES
Abstract submission: | 13th February 2015 |
Paper submission: | (30th January 2015) 20th February 2015 |
Notification: | (1st March 2015) 6 April 2015 |
Final camera-ready due: | (29 March 2015) 22 April 2015 |
Conference: | 9-12 June 2015 |
Last events
Registration fees
Registration fees (VAT included) |
Early (until May 18) |
Late (from May 19) |
Regular |
250€ |
300€ |
Student |
150€ |
200€ |
Conference dinner |
50€ |
50€ |
Registration fees for the registered attendee include:
-
access to all sessions of the Conference;
- the conference proceedings on a USB key;
- the conference proceedings in paper (if requested);
- coffee breaks and lunches;
- a free guided visit of the old city on June 11.
Please note that the Conference dinner is not included in the registration fees.
Early-bird Registration rates will be possible until May 18, 2015 (GMT +1, Paris).
AT LEAST ONE AUTHOR PER FULL PAPER should be registered.
The registration method of payment recommended is the payment by credit card, via our secured gateway.
We only accept Visa, Eurocard and Mastercard.
Only fully completed registration forms will be accepted. The registration fee is based on the date of the receipt of the registration form and the payment in full, in accordance with the deadlines mentioned above. Should one deadline be missed, the next applicable rate will be applied. A confirmation of payment (a settled invoice) will be sent upon receipt of payment in full.
Cancellation/Refund Policy
All cancellations must be notified by e-mail to the Conference Secretariat (elisabeth.lebret[@....]inria.fr). Cancellations received before May 31, 2015 are fully refundable minus a 50 euros processing and administration charge. Cancellations received after this date are non-refundable. No refunds will be given for non-attendance. Phone cancellations are not accepted. Reimbursement will be processed after the conference only.
Substitution
If you are unable to attend the conference, you can request the transfer of your registration to another participant by notifying the Conference Secretariat in writing by e-mail, before the conference.
Registration
The registration is done with a web-based registration form and online payment on a secure website:
TTL 2015 Online Registration
Program schedule
Download the program schedule
Keynote speakers
Accepted papers
Download the proceedings Download the bibtex entry
Jacinta Poças, João Pedro Cruz, Luís Descalço and Paula Carvalho. Multiple choice parameterized exercises in Logic
Roger Villemaire. Logic Modelling
Marek Materzok. Easyprove: a tool for teaching precise reasoning
José Martín Castro-Manzano. Gender Relations in the XIth Mexican Logic Olympiad
Jacques Duparc. Easy Proofs of Löwenheim-Skolem Theorems by Means of Evaluation Games
Johann Makowsky. Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?
Favio E. Miranda-Perea, P. Selene Linares-Arévalo and Atocha Aliseda. How to prove it in Natural Deduction: A Tactical Approach
Zoé Mesnil. Teaching logic in high school in France and teachers training
Jeremy Seligman and Declan Thompson. Teaching natural deduction in the right order with Natural Deduction Planner
Stefan Minica. RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure
Frederique Janssen-Lauret. Making Room for Women in our Tools for Teaching Logic: A Proposal for Promoting Gender-Inclusiveness
Ryo Takemura. Euler diagrams as an introduction to set-theoretical models
John Slaney. Logic considered fun
Nino Guallart and Angel Nepomuceno-Fernandez. Set theory and tableaux for teaching propositional logic
Juan Michelini and Alvaro Tasistro. Presentation of Classical Propositional Tableaux on Program Design Premises
Anna Zamansky and Eitan Farchi. Teaching Logic to Information Systems Students: Challenges and Opportunities
Josje Lodder, Bastiaan Heeren and Johan Jeuring. A pilot study of the use of LogEx, lessons learned
Arno Ehle, Norbert Hundeshagen and Martin Lange. The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris and Mael Valais. Twist your logic with TouIST
José Martín Castro-Manzano. dasasap, an App for Syllogisms
Carlos Oller and Ana Couló. WHY TEACH AN INTRODUCTORY COURSE IN MATHEMATICAL LOGIC IN THE PHILOSOPHY CURRICULUM?
Levis Zerpa. Using interrogative logic to teach classical logic
Creighton Rosental. Teaching Logics through Their Philosophical Commitments: “Logical Worldviews”
Nailton Silva, Patrick Terrematte and José Moura. ARG: Virtual Tool to Teaching Argumentation Theory
Reinhard Kahle and Wilfried Keller. Syntax versus Semantics
María Manzano. The Roles Leon Henkin Played in Mathematics Education
Ryo Hatano, Katsuhiko Sano and Satoshi Tojo. Teaching Modal Logic from Linear Algebraic Viewpoints
Angelo Kyrilov and David Noelle. Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic
Patrick Terrematte and João Marcos. TryLogic tutorial: an approach to Learning Logic by proving and refuting
Jørgen Villadsen, Alexander Birch Jensen and Anders Schlichtkrull. NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
Luis Urtubey. To Teach Modal Logic: An Opinionated Survey
João Marcos. Fail better: What formalized mathematics can teach us about learning
Pierre Joray. Teaching Leśniewski’s Prothetic with a Natural Deduction System
Demonstration session
Jørgen Villadsen, Alexander Birch Jensen and Anders Schlichtkrull. NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
Arno Ehle, Norbert Hundeshagen and Martin Lange. The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs
Jeremy Seligman and Declan Thompson. Teaching natural deduction in the right order with Natural Deduction Planner
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris and Mael Valais. Twist your logic with TouIST
Marek Materzok. Easyprove: a tool for teaching precise reasoning
Josje Lodder, Bastiaan Heeren and Johan Jeuring. A pilot study of the use of LogEx, lessons learned
Angelo Kyrilov and David Noelle. Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic
Patrick Terrematte. ARG: Virtual Tool to Teaching Argumentation Theory.
Patrick Terrematte. TryLogic tutorial: an approach to Learning Logic by proving and
refuting.
Henkin session
The movie "Mathematical induction" (
MAA film manual - a transcription of the spoken words in the movie)
María Manzano. The Roles Leon Henkin Played in Mathematics Education
Nitsa Movshovitz-Hadar. Tools for teaching logic as reflected in my contribution to the book: The Life and Work of Leon Henkin
Diane Resek and Dan Fendel. Transitioning to Proof