Anmeldeformular zum Deduktionstreffen 1998

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.

Zurück zur Hauptseite

Gernot Stenz (mail: stenzg@in.tum.de), Research Group Automated Reasoning, TU München, Germany