Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

1-4 June 2011, Third International Congress on Tools for Teaching Logic (TICTTL), Salamanca, Spain

Date: 1-4 June 2011
Location: Salamanca, Spain
Deadline: 8 December 2010

The Third International Congress on Tools for Teaching Logic (TICTTL), in Salamanca, Spain, will focus on logic teaching software, teaching formal methods, dissemination of logic courseware, logic games, etc. Previously, these events have also been organized in Salamanca, in 2000 and in 2006. Invited speakers include David Gries, known as the author of The Science of Programming, and Jim Henle, known as an author of Sweet Reason. The organizing committee is: Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, and Fernando Soler.

For more information, see http://logicae.usal.es/TICTTL/

We are inviting submissions on the topics above, or on any other aspect of teaching logic or logic teaching software. Deadline: 8th December 2010.

Please note that this newsitem has been archived, and may contain outdated information or links.