List of Participants - Department of Computer Science
advertisement
THEOREM PROVERS IN CIRCUIT DESIGN Theory, Practice and Experience Bad Herrenalb (Blackforest), Germany 26. - 28. September 1994 In cooperation with IFIP WG 10.2 List of Participants Mark Aagaard Computer Science University of British Columbia 2366 Main Mall Vancouver, B.C. V6T 1Z4 Canada Tel: +1 604 822 5401 Fax: +1 604 822 5485 email: aagaard@cs.ubc.ca Michel Allemand Laboratoire d'Informatique de Marseille Université de Provence 3, Place Victor Hugo 13331 MARSEILLE CEDEX 3 France Tel: +33 91 10 61 08 Fax: +33 91 10 61 34 email: amichel@gyptis.univ-mrs.fr Massimo Bombana DRSC-SM, CLTE Italtel Castelletto di Settimo Milanese 20019 Settimo Milanese (MILANO) Italy Tel: +39 2 43 88 74 31 Fax: +39 2 43 88 85 93 email: bombana@settimo.italtel.it Holger Busch ZFE BT SE 1 Siemens AG Otto-Hahn-Ring 6 D - 81730 MÜNCHEN Germany Tel: +49 89 636 4 43 07 Fax: +49 89 636 4 42 84 email: busch@zfe.siemens.de EDINBURGH, EH1 1HN United Kindom Tel: +44 31 650 27 24 Fax: +44 31 650 65 16 email: fcantu@aisb.ed.ac.uk Solange Coupet UFR MIM Université de Provence 3, Place Victor Hugo 13331 MARSEILLE CEDEX 3 France Tel: +33 91 10 61 10 Fax: +33 91 10 61 02 email: solange@gyptis.univ-mrs.fr Dirk Eisenbiegler FB ACID Forschungszentrum Informatik Haid-und-Neu-Str. 10-14 D -76131 KARLSRUHE Germany Tel: +49 721 96 54 4 52 Fax: +49 721 96 54 4 52 email: eisen@fzi.de Kathi Fisler Department of Computer Science Indiana University Lindley Hall 215 BLOOMINGTON, IN 47405 USA Tel: +1 812 855-36 52 Fax: +1 812 855 48 29 email: kfisler@cs.indiana.edu Francisco J. Cantu Department of Artificial Intelligence University of Edinburgh 80 South Bridge Thomas Kropf • Institut für Rechnerentwurf und Fehlertoleranz • Universität Karlsruhe • Postfach 6980 • 76128 Karlsruhe email: kropf@ira.uka.de • Tel.: (+49) 721 608 4220 • Fax (+49) 721 370 455 Page 2 of 4 Jürgen Frößl Inst. f. Rechnerentwurf und Fehlertoleranz Universität Karlsruhe Zirkel 2 D -76128 KARLSRUHE Germany Tel: +49 721 608 42 20 Fax: +49 721 37 04 55 email: froessl@ira.uka.de Christiane Henno Robert Bosch GmbH K8/DIC Tübinger Str. 123 D - 72703 REUTLINGEN Germany Tel: +49 7121 35 10 30 Fax: +49 7121 35 26 87 email: chenno@dic.k8.rt.bosch.de G. L. J. M. Janssen Eindhoven University of Technology Dept. of Electrical Engineering 5600 MB EINDHOVEN The Netherlands Tel: +31 40 47 33 87 Fax: +31 40 46 45 27 email: G.L.J.M.Janssen@ele.tue.nl Steven D. Johnson Computer Science Department Indiana University Lindley Hall BLOOMINGTON, IN 47405 USA Tel: +1 812 855 64 86 Fax: +1 812 855 48 29 email: sjohnson@cs.indiana.edu Franz Korf Universität Oldenburg Postfach 25 03 D-26111 OLDENBURG Germany Tel: +49 441 798 30 45 Fax: +49 441 7 62 70 email: Franz.Korf@offis.uni-oldenburg.de Stephan Krischer Theoretische Informatik, FB IV Universität Trier D-54286 TRIER Germany Tel: +49 651 201 28 32 Fax: +49 651 201 39 54 email: krischer@ti.uni-trier.de Thomas Kropf Inst. f. Rechnerentwurf und Fehlertoleranz Universität Karlsruhe Zirkel 2 D - 76128 KARLSRUHE Germany Tel: +49 721 608 42 20 Fax; +49 721 37 04 55 email: kropf@ira.uka.de Ramayya Kumar FB ACID Forschungszentrum Informatik Haid-u.-Neu-Str. 10-14 D - 76131 KARLSRUHE Germany Tel: +49 721 96 54-419 Fax: +49 721 96 54-459 email: kumar@fzi.de Miriam Leeser Cornell University School of Electrical Engineering 335 Theory Center ITHACA, NY 14853 USA Tel: +1 607 2 55 28 16 Fax: +1 607 2 55 90 72 email: mel@ee.cornell.edu Paul Loewenstein Sun Microsystems Computer co. Mailstop UMPK12-104 2550 Garcia Avenue MONTAIN VIEW, CA 94043-1100 USA Tel: +1 415 786 60 15 Fax: +1 415 786 64 42 email: paul.loewenstein@eng.sun.com Niels Maretti Technical University of Denmark Department of Computer Science Building 344 DK-2800 LYNGBY Denmark Tel:+ 45 45 93 33 32 email: nbm@id.dtu.dk Thomas Kropf • Institut für Rechnerentwurf und Fehlertoleranz • Universität Karlsruhe • Postfach 6980 • 76128 Karlsruhe email: kropf@ira.uka.de • Tel.: (+49) 721 608 4220 • Fax (+49) 721 370 455 Page 3 of 4 Thomas Melham Department of Computing Science University of Glasgow GLASGOW G12 8QQ UK Tel: +44 41 330 4967 Fax: +44 41 330 4913 email: tfm@dcs.gla.ac.uk Niels Mellergaard Dept. of Computer Science Building 344 Technical University of Denmark DK-2800 LYNGBY Denmark Tel: + 45 45 93 33 32 Fax: + 45 42 88 45 30 email: nm@id.dtu.dk Prof. Dr. Bernhard Möller Institut für Mathematik Universitätsstr. 2 Universität Augsburg D-86135 Augsburg Germany e-mail: moeller@uni-augsburg.de Tel.: ++49-821-598-2164 Fax: ++49-821-598-2200 Sumio Morioka Osaka University Dept. of Information and Comp. Sciences Machikaneyama 1-3, Toyonaka OSAKA 560 Japan Tel: +81 6 850 66 08 Fax: +81 6 850 66 09 email: morioka@ics.es.osaka-u.ac.jp Matthias Mutz Fak. für Mathematik und Informatik Universität Passau D -94030 PASSAU Germany Tel: +49 851 509 3044 Fax: +49 851 509 3042 email: mutz@fmi.uni-passau.de Bob Odineal Systems Technology Division Hewlett-Packard Company MS 5596 8000 Foothills Blvd ROSEVILLE, CA 95747-5596 USA Tel: +1 916 785 4179 Fax: +1 916 785 3096 email: bobo@hprpcd.rose.hp.com Laurence Pierre Laboratoire d' Informatique de Marseille Université de Provence 3 Place Victor Hugo 13331 MARSEILLE CEDEX 3 France Tel: +33 911 0 61 10 Fax: +33 911 0 61 02 email: laurence@gyptis.univ-mrs.fr Rimvydas Ruksenas Department of Computer Science Åbo Akademi University Lemminkäisenkatu 14 A FIN-20520 TURKU Finland Tel: +358 21 265 40 43 Fax: +358 21 265 47 32 email: rruksena@aton.abo.fi Klaus Schneider Inst. f. Rechnerentwurf und Fehlertoleranz Universität Karlsruhe Zirkel 2 D -76128 KALRSRUHE Germany Tel: +49 721 6 08 36 41 Fax: +49 721 37 04 55 email: schneide@ira.uka.de Helmut Schwichtenberg Mathematisches Institut Universität München Theresienstr. 39 D -80333 MÜNCHEN Germany Tel: +49 89 23 94 44 13 email: schwicht@rz.mathematik.uni-muenchen.de Xiaoyu Song Dept. I.R.O. University of Montrial C.P. 6128, Succursale Centre-ville MONTREAL, Quebec H3C 3J7 Canada Tel: +1 514 343 74 01 email: song@iro.umontreal.ca Thomas Kropf • Institut für Rechnerentwurf und Fehlertoleranz • Universität Karlsruhe • Postfach 6980 • 76128 Karlsruhe email: kropf@ira.uka.de • Tel.: (+49) 721 608 4220 • Fax (+49) 721 370 455 Page 4 of 4 Mandayam Srivas SRI International Computer Science Labaratory 333 Ravenswood Ave. MENLO PARK, CA 94025 USA Tel: +1 415 859 61 36 Fax: +1 415 859 28 44 email: srivas@csl.sri.com Jørgen Staunstrup Department of Computer Science Technical University of Denmark Building 344 DK - 2800 LYNGBY Denmark Tel: +45 45 25 37 40 Fax: +45 45 88 45 30 email: jst@id.dtu.dk Pasupati Subrahmanyam AT&T Bell Laboratories Room 4E-530 Crawfords Corner Road HOLMDEL, NJ 07733 USA Tel: +1 908 949 58 12 Fax: +1 908 949 91 18 email: subra@research.att.com Sofiène Tahar VLSI Lab., IRO Dept. C.P. 6128, Succursale Centre-Ville Montreal, Quebec, H3C 3J7 Canada Tel: +1 514 343-6111-3502 Fax: +1 514 343-5834 email: tahar@iro.umontreal.ca Kenichi Taniguchi Dept. of Inf. and Comp. Sciences Osaka University Machikaneyama 1-3, Toyonaka OSAKA 560 Japan Tel: +81 6 850 66 05 Fax: +81 6 850 66 09 email: taniguchi@ics.es.osaka-u.ac.jp Great Malvern Worcestershire WR14 3PS United Kingdom tel : +44 1684 895837 fax : +44 1684 894303 email : djt@rivers.dra.hmg.gb C. A. J. van Eijk Dept. of Electrical Engineering, EH7.25 T. U. Eindhoven NL - 5600 MB EINDHOVEN The Netherlands Tel: +31 40 47 33 45 Fax: +31 40 46 45 27 email: C.A.J.v.Eijk@ele.tue.nl John Van Tassel United States Department of Defense email: jvt@tycho.ncsc.mil Gerd Venzl Siemens AG ZFE T SE 1 Otto-Hahn-Str. 6 D - 81739 MÜNCHEN Germany Tel: +49 89 636-4 41 44 Fax: +49 89 636-4 22 84 email: Gerd.Venzl@zfe.siemens.de Thomas Walle Lehrstuhl Prof. Paul Universität Saarbrücken Bau 36.1, Zi. 115 D - 66123 SAARBRÜCKEN Germany Tel: +49 681 302-30 36 Fax: +49 681 302-42 90 email: twalle@cs.uni-sb.de Phillip J. Windley Department of Computer Science Brigham Young University 3370 TMCB PROVO, UT 84602-6576 USA Tel: +1 801 378 37 22 Fax: +1 801 378 77 75 email: windley@cs.byu.edu David Tombs Defence Research Agency St Andrews Road Thomas Kropf • Institut für Rechnerentwurf und Fehlertoleranz • Universität Karlsruhe • Postfach 6980 • 76128 Karlsruhe email: kropf@ira.uka.de • Tel.: (+49) 721 608 4220 • Fax (+49) 721 370 455
