Automatic Reasoning
Head of the working group
                                               Prof. Dr. Anthony Lin
E-Mail: lin(at)cs.uni-kl.de
Post Addresse:PO Box 3049
67663 Kaiserslautern
House Address:Building 34, Room 419
Gottlieb-Daimler-Str.
67663 Kaiserslautern
Germany
Tel:(0631) 205-3330
Secretary
                                                    Frau Judith Stengel
E-Mail:stengel(at)informatik.uni-kl.de
Post Address:PO Box 3049
67663 Kaiserslautern
House Address:Building 34, Room 410
Gottlieb-Daimler-Str.
67663 Kaiserslautern
Germany
Tel:(0631) 205-3536
Office Hours:Mo.-Thu. 9:00-12:00 Uhr