Congress on Logic Applied to Technology (LAPTEC)

6. LAPTEC 2007: Santos, Brazil

5. LAPTEC 2005: Himeji, Japan

a service of Schloss Dagstuhl - Leibniz Center for Informatics