Bitte füllen Sie dieses Formular aus und senden es bis spätestens 14.9.1998 per e-mail an uns zurück (ded98@mailjessen.informatik.tu-muenchen.de).
Anmeldung zur Teilnahme am
DEDUKTIONSTREFFEN 1998
Name:
Institution:
E-mail:
Anreisedatum (default 4.10.)
Abreisedatum: (default 6.10.)
========= SYSTEMDEMO ==========================
[ ] Ja! Ich habe ein überzeugendes System und möchte es vorführen.
Kurze Beschreibung des Systems:
Systemvoraussetzungen:
[ ] Nein. Ich möchte mir lieber die Systeme der anderen Teilnehmer ansehen.
Gernot Stenz
(mail: stenzg@in.tum.de),
Research
Group Automated Reasoning, TU München, Germany