From: kropf@ira.uka.de (Thomas Kropf, Univ. Karlsruhe)
Newsgroups: news.announce.conferences
Subject: CFP GI/ITG-Worhshop on Formal Methods (German)
Date: 27 Aug 92 00:02:57 GMT
Expires: Mon, 30 Nov 1992 08:00:00 GMT
Organization: (none)


                      CALL FOR PAPERS
                      ===============

                      GI/ITG-Workshop (*)

       "FORMALE METHODEN ZUM ENTWURF KORREKTER SYSTEME"

                     21.-23. Maerz 1993
          Treff Hotel, Bad Herrenalb, Schwarzwald

___________________________________________________________

Veranstalter:    GI/ITG  Fachgruppe  "Methoden des Entwurfs
                 und der Verifikation digitaler Schaltungen
                 und Systeme"
___________________________________________________________

Herkoemmliche Methoden  wie Simulation  reichen zur Sicher-
stellung der Entwurfsfehlerfreiheit komplexer Systeme nicht
mehr aus. Deshalb haben  in letzter  Zeit formale Techniken
zum Entwurf korrekter Schaltungen und  Systemen zunehmendes
Interesse gefunden.  Ziel dieses Workshops ist es, Forscher
und Anwender aus Universitaet und Industrie zusammenzufueh-
ren, die an der Anwendung formaler Methoden fuer den Schal-
tungsentwurf  interessiert sind.  In Vortraegen und Diskus-
sionen sollen neueste Ergebnisse ausgetauscht und Werkzeuge
vorgestellt werden. Anwendungsbezogene Beitraege sind hier-
bei ebenso willkommen wie theoretische Grundlagen.
___________________________________________________________

THEMENSCHWERPUNKTE

o Spezifikation
  Systemspezifikation, Hardware-Beschreibungssprachen,
  Schnittstellenspezifikation

o Modellierung
  Verhaltensmodellierung asynchroner Systeme,
  "trace theory", Nebenlaeufigkeit

o Synthese
  interaktive formale Synthese, transformationale Synthese,
  High-Level-Synthese

o Zeitverifikation
  Bestimmung kritischer Pfade ("false path" Problematik),
  Hazarderkennung, asynchrone Verifikation

o funktionale Verifikation
  Einsatz von Theorembeweisern (HOL, OTTER, ...),
  Temporale Logik, Rueckuebersetzung

o endliche Automaten
  symbolische Automatentraversierung,
  binaere Entscheidungsdiagramme (BDDs)

o Validierungsmethoden
  Simulationsplanung,
  probabilistische Verfahren zur Korrektheitsueberpruefung

o praktische Erfahrungsberichte
  Einsatz formaler Methoden und Werkzeuge in der Industrie
___________________________________________________________

Interessenten sind  herzlich  eingeladen,  3  Kopien eines
Kurzmanuskripts (ca. 1000 Worte)  in Deutsch oder Englisch
bis zum  30.  November  1992 (+)  an den  Tagungsleiter zu
senden.

Die Benachrichtigung der Autoren ueber Annahme oder Ableh-
nung  erfolgt  bis zum  31. Januar 1993.  Die angenommenen
Beitraege werden  an die Workshop-Teilnehmer verteilt.  Es
ist geplant,  waehrend des Workshops  die besten Beitraege
auszuwaehlen,  die dann  in Form eines ausfuehrlichen Bei-
trages in einem Konferenzband veroeffentlicht werden.

Um eine ergiebige Diskussion der Vortraege  sowie Kontakte
und informelle Gespraeche  unter den Anwesenden zu ermoeg-
lichen,  ist  die Zahl der  Teilnehmer auf 80 Personen be-
grenzt.
___________________________________________________________

TAGUNGSLEITER

Prof. Dr.-Ing. D. Schmid
Universitaet Karlsruhe,   Institut fuer Rechnerentwurf und
Fehlertoleranz, Postfach 6980, W-7500 Karlsruhe
Tel. (0721) 608 3960,  FAX (0721) 370 455
___________________________________________________________

PROGRAMMKOMITEE (+)

H. Eveking Uni Frankfurt       P. Marwedel Uni Dortmund
T. Filkorn SIEMENS Muenchen    F.J. Rammig Uni-GH Paderborn
W. Grass   Uni Passau          D. Schmid   Uni Karlsruhe
T. Kropf   Uni Karlsruhe       B. Straube  EAS Dresden
R. Kumar   Uni Karlsruhe       E. Tid'en   SIEMENS Muenchen
H.M. Lipp  Uni Karlsruhe
___________________________________________________________

WEITERE INFORMATIONEN BEI:

Thomas Kropf
Universitaet Karlsruhe,   Institut fuer Rechnerentwurf und
Fehlertoleranz, Postfach 6980, W-7500 Karlsruhe
Tel. (0721) 608 4220, FAX (0721) 370 455
email: kropf@ira.uka.de
___________________________________________________________

(*) Genehmigung durch die GI/ITG steht noch aus.
(+) Aenderungen noch moeglich