Section Algorithms and Logic
Dept. of Applied Mathematics and Computer Science
Technical University of Denmark
Matematiktorvet, bld. 303B
DK-2800 Kgs. Lyngby, Denmark

Office: 127 / Building 322
Tel: (+45) 45 25 33 76
Fax: (+45) 45 93 00 74

I am, therefore I think.