=================
"Call for Papers"
=================

ITG/GI/GMM Workshop
Methoden und Beschreibungssprachen zur Modellierung und 
Verifikation von Schaltungen und Systemen

28./29. Februar, 01. Maerz 2000 in Frankfurt/Main

Veranstalter:
-------------
Kooperationsgemeinschaft "Rechnergestuetzter Entwurf von Schaltungen 
und Systemen" - RSS -, Informationstechnische Gesellschaft im VDE (ITG), 
Gesellschaft fuer Informatik (GI) und Gesellschaft fuer Mikroelektronik, 
Mikro- und Feinwerktechnik (GMM); 
Fachgruppen 3 und 4. 

Themengebiete, Veranstaltungsort:
---------------------------------
Der Workshop findet im Gaestehaus Frauenlobstrasse der Universitaet Frankfurt statt. 
Es werden zu folgenden oder verwandten Themengebieten Einsendungen erbeten:
- Formale und semiformale Spezifikation und Modellierung
- Standards, Synthesesubsets und Erweiterungen von Hardware-Beschreibungssprachen
- Entwurfsmethodik
- Entwurfswiederverwendung (Reuse, IP)
- Syntheseverfahren (Behavioral, RTL)
- Codesign (analog/digital, Hardware/Software)
- Formale Synthese
- Formale Verifikation (Aequivalenz- und Eigenschaftsbeweis)
- Funktionaler Test (Simulation, Testbench-Methodik)
- Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)
Teilnehmern aus der Industrie moechten wir die Moeglichkeit geben, "Extended 
Abstracts" mit ausschliesslich anwendungsrelevanten Inhalten einzureichen, die
- Erfahrungsberichte, Fallbeispiele,
- Anforderungen sowie 
- aktuelle Themen und Entwicklungstendenzen 
aus den oben genannten Gebieten behandeln. Vom Programmkomitee angenommene 
Beitraege werden in einem Band der Reihe "Forschungsreport" des VDE-Verlags 
mit ISBN-Nummer veroeffentlicht. 

Termine:
--------
Einreichung von Kurz- oder Langfassungen:	01. November 1999
Entscheidung ueber Annahme von Beitraegen:	01. Dezember 1999
Druckfertige Fassung der Arbeiten:		01. Januar 2000
Tagungstermin:					28.+29. Februar 2000, 01. Maerz 2000

Einreichung:
------------
Beitraege im Umfang von bis zu zehn A4-Seiten (Fontgroesse ca. 12pt, 
einspaltig, deutsch oder englisch) koennen im Postscript-Format bis zum 
01. November 1999 per E-Mail bei dem Programmverantwortlichen (email: 
grimm@informatik.uni-frankfurt.de) eingereicht werden (in 
Ausnahmefaellen in Papierform). Aus dem Beitrag sollte nicht direkt 
der Name oder die Anschrift des Verfassers hervorgehen. Auf einem 
gesonderten Blatt sind der Titel des Beitrags, die Namen der Autoren 
sowie die Adresse, email-Adresse, Telefon- und Fax-Nummer einer 
Ansprechperson aufzufuehren. Die Tagungssprache ist deutsch.

Weitergehende, aktuelle Informationen sind unter 
http://www.ti.informatik.uni-frankfurt.de/Workshop2000 erhaeltlich.

Programmkomitee
---------------
Mohsen Darianian (Nokia, Bochum)
Carlos Delgado Kloos (Universitaet Carlos III, Madrid)
Wolfgang Ecker (Infineon Technologies, Muenchen)
Hans Eveking (TU Darmstadt)
Manfred Glesner (TU Darmstadt)
Werner Grass (Universitaet Passau)
Christoph Grimm (Universitaet Frankfurt)
Cordula Hansen (FZI Karlsruhe)
Wolfram Hardt (C-LAB, Paderborn)
Juergen Haufe (FhG-IIS / EAS Dresden)
Sorin Alexander Huss (TU Darmstadt)
Thomas Kropf (Bosch, Reutlingen)
Wolfgang Kunz (Universitaet Frankfurt)
Gunther Lehmann (Infineon Technologies, Hopewell)
Peter Marwedel (Universitaet Dortmund)
Dieter Monjau (TU Chemnitz)
Wolfgang Mueller (Universitaet Paderborn)
Klaus D. Mueller-Glaser (Universitaet Karlsruhe)
Matthias Mutz (MSG Systeme, Passau)
Wolfgang Nebel (Universitaet Oldenburg)
Peter Oehler (Continental Teves)
Franz Rammig (Universitaet Paderborn)
Guido Schumacher (Universitaet Oldenburg)
Bernd Straube (FhG-IIS / EAS Dresden)
Justin Strohschneider (SUN, Muenchen)
Joergen Sturm (Thesys GmbH, Erfurt)
Reinhold Vahrmann (TEMIC Semiconductor GmbH, Heilbronn)
Klaus Waldschmidt (Universitaet Frankfurt)