Welcome to the website of TTL 2015. The organizing committee invites you to take part in the Fourth International Congress 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.

Teaching logic and prospects of its development TLPD2016

Poster

Previous events

“We all know people who are very bright but who do not always shine when it comes to being logical. They have the ability to think logically —that is, clearly and effectively— but that ability does not habitually manifest itself. The likelihood is that it has never been properly developed, pointing to a deficiency in their education. Indeed, logic is the very backbone of a true education, and yet it is seldom taught as such in American schools. To my mind, logic is the missing piece of the American educational system, the subject that informs every other subject from English to history to science and math.”
Being Logical: A Guide to Good Thinking, D.Q. McInerny

Program chairs

Programme committee

Organization committee

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 e­Learning 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: 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

Travel: reach Rennes


Rennes is located in the heart of Brittany. You can get there by:

Conference location

The conference will be at IRISA in the Rennes site. You may find further information here.
map

Accommodation

All hotels are located in the center of Rennes, at walking distance from a bus stop. Although there are some hotels at walking distance from the conference location, hotels in the city center are closer to restaurants and bars.

VERY IMPORTANT:

Hotels in center - République station

Hotel / Address

Phone / Fax

Email / Web Page

Angelina **

1 Quai Lamennais

35000 RENNES

P: +33 2 99 79 29 66

F: +33 2 99 79 61 01

angelina-hotel.com

angelina-hotel@voila.fr

Hotel Mercure Rennes Centre Parlement

1 rue Paul Louis Courier

35106 RENNES

P: +33 2 99 78 82 20

F: +33 2 99 78 82 21

Hotel Mercure Rennes Centre Parlement

Hôtel de Nemours **

5 rue de Nemours

35000 Rennes

P: +33 2 99 78 26 26

F: +33 2 99 78 25 40

hotelnemours.com

resa@hotelnemours.com

Hôtel Mercure Rennes Place de Bretagne

6 Rue Lanjuinais

35000 RENNES

P: +33 2 99 79 12 36

F: +33 2 99 79 65 76

Hotel Mercure Rennes Place de Bretagne

Lanjuinais **

11 Rue Lanjuinais

35000 RENNES

P: +33 2 99 79 02 03

F: +33 2 99 79 03 97

hotel-lanjuinais.com

hotel-lanjuinais@wanadoo.fr

Hôtel Garden **

3 Rue Duhamel

35000 RENNES

P: +33 2 65 45 06

F: +33 2 65 02 62

hotel-garden.fr

gardenhotel@wanadoo.fr

Hôtel Richemont **

8 Rue Dupont des Loges

35000 RENNES

P: +33 2 99 30 38 21

F: +33 2 99 31 73 20

Hotels near train station - Gares station

Hotel / Address

Phone / Fax

Email / Web Page

Hôtel Kyriad Rennes Centre **

6 place de la Gare

35000 Rennes

P: +33 2 99 30 25 80

F: +33 2 99 31 84 88

kyriad-rennes-centre.fr

kyriad-rennes@wanadoo.fr

Hôtel Campanile Rennes Centre **

28 Avenue Janvier

35000 RENNES

P: +33 2 99 31 59 59

F: +33 2 99 31 77 77

campanile.fr

campanilerennescentre@wanadoo.fr

Atlantic Hôtel **

31 Boulevard Beaumont

35000 RENNES

P: +33 2 99 30 36 19

F: +33 2 99 65 10 17

hotel-chambre-centre-ville-gare-reservation.atlantic-hotelrennes.fr/

campanilerennescentre@wanadoo.fr

Hôtel All Seasons **

15 Place de la Gare

35000 RENNES

P: +33 2 99 67 31 12

F: +33 2 99 30 41 24

all-seasons-hotels.com/fr/hotel-0731-all-seasons-rennes-centre-gare-nord/index.shtml

H0731@accor.com

Inter-Hôtel Le Sévigné **

47 Bis Avenue Janvier

35000 RENNES

P: +33 2 99 67 27 55

F: +33 2 99 30 66 10

hotellesevigne.fr

Hôtel Le Victoria **

35 Avenue Janvier

35000 RENNES

P: +33 2 99 31 69 11

F: +33 2 99 31 40 11

hotel-levictoria.com

contacts@hotel-levictoria.com

Hôtel Président **

27 avenue Jean Janvier

35000 Rennes

P: +33 2 99 65 42 22

F: +33 2 99 65 49 77

hotelpresident.fr

hotelpresident@wanadoo.fr

Hôtel IBIS Centre Gare Sud **

Esplanade Fulgence Bienvenue

15 Rue de Chatillon

35000 RENNES

P: +33 2 23 36 01 36

F: +33 2 23 36 01 37

ibishotel.com/fr/hotel-3450-ibis-rennes-centre-gare-sud/index.shtml

H3450@accor.com

Citéa appart hotel - Near town centre

Hotel / Address

Phone / Fax

Email / Web Page

Citéa Rennes

35, rue d'Antrain

35700 RENNES

P: +33 2 23 21 26 00

F: +33 2 23 21 26 01

http://www.citea.com/en/apparthotels/rennes/citea-rennes

rennes@citea.com

Tourist information

Université Rennes 1
Ecole normale supérieure de Rennes
Université européenne de Bretagne
Région Bretagne
INRIA
Institut de Recherche en Informatique et Systèmes Aléatoires
Research group Logica
Vienna Center for Logic and Algorithms
Société informatique de France
Committee on Logic Education of the Association of Symbolic Logic
Ecole supérieure du professorat et de l'éducation Bretagne
ACM Special Interest Group on Logic and Computation
Fondation Rennes 1
Rennes métropole