Please note that this newsitem has been archived, and may contain outdated information or links.
1-4 June 2015, 4th International Congress on Tools for Teaching Logic, Rennes, France
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 1-4, 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.
For more information, see http://ttl2015.irisa.fr/
We invite submission on all aspects of teaching logics. Submission deadline is 18th January 2015.
Please note that this newsitem has been archived, and may contain outdated information or links.