Logic Applied to Technology

6. LAPTEC 2007: Santos, Brazil

5. LAPTEC 2005: Himeji, Japan

maintained by Schloss Dagstuhl LZI at University of Trier