Presentation about logic for the start of the academic year 2012-2013

Magistère informatique et télécommunications - ENS Cachan Antenne de Bretagne - Année 2011/2012

Slides (sorry, it is in french)
The SAT4J solver
SAToulouse graphical user interface
An online gamebook explaining why the the real numbers theory is decidable