Technical Support

  André BADERTSCHER


E-Mail Address: andre.badertscher@epfl.ch
Mailing Address: Logic Systems Laboratory
IN-Ecublens
CH-1015 Lausanne
Switzerland
Phone Number: +41-21-693 26 53
Fax Number: +41-21-693 37 05





Last updated: April 2001.
In case of problems with this site, please contact
www_adm@lslsun.epfl.ch
Logic Systems Laboratory,

http://lslwww.epfl.ch