Logic Applied to Technology

6. LAPTEC 2007: Santos, Brazil

5. LAPTEC 2005: Himeji, Japan

maintained by Schloss Dagstuhl LZI, founded at University of Trier