New dates: June 9-12 2015Welcome 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. We invite submission on all aspects of teaching logics.
Jun 09
2015
Jun 12
2015
Registration deadline
Submit Comment