Logic Applied to Technology

6. LAPTEC 2007: Santos, Brazil

5. LAPTEC 2005: Himeji, Japan