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.
06月09日
2015
06月12日
2015
注册截止日期
留言