... Alternative Konzepte
für Sprachen und Rechner.
Home
Page
Gemeinsamer Workshop der GI-Fachgruppen
Alternative
Konzepte für Sprachen und Rechner (2.1.4)
und German ENCRESS
(3.6.2)
Sicherheit und Zuverlässigkeit software-basierter Systeme
3. - 5. Mai 1999
im Physikzentrum
Bad Honnef
Einladung zur Einreichung von Beiträgen (Call for Papers)
Seit
1984 veranstaltet die GI-Fachgruppe 2.1.4 regelmäßig im Frühjahr
einen Workshop im Physikzentrum Bad Honnef. Der diesjährige Workshop
findet in Kooperation mit der Fachgruppe 3.6.2, der deutschen Gemeinschaft
im europäischen Netzwerk ENCRESS
("European Network of Clubs for Reliability and Safety of Software-Intensive
Systems") und in Zusammenarbeit mit dem ESSI-Projekt
ISA-EUNET ("Intensive Software Systems for Safety Applications") statt.
Das Treffen soll in erster Linie dem gegenseitigen Kennenlernen
und der Diskussion und der Vertiefung der fachgruppenübergreifenden
Kontakte dienen. Ein Schwerpunkt liegt diesmal auf dem sehr aktuellen Gebiet
"Sicherheit und Zuverlässigkeit software-basierter Systeme", jedoch
sind ebenso Beiträge zu anderen Themengebieten der beiden Fachgruppen
herzlich willkommen.
Wir laden Sie ein, Vorträge und Demonstrationen sowohl bereits
abgeschlossener als auch noch laufender Arbeiten einzureichen, unter anderem
(und nicht ausschließlich) zu Themen wie
-
Sprachen, Sprachparadigmen
-
Korrektheit von Entwurf und Implementierung
-
Werkzeuge
-
Software-/Hardware-Architekturen
-
Spezifikation, Entwurf
-
Validierung, Verifikati
-
Implementierung, Integration
-
Sicherheit in Rechnernetzen (security)
-
sicherheitskritische Anwendungen (safety)
-
eingebettete Systeme
-
hardware-nahe Programmieru
Es sind nicht nur die Fachgruppenmitglieder herzlich eingeladen, sondern
das Treffen ist darüber hinaus auch für andere Interessenten
offen. Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden
Atmosphäre des Physikzentrums Bad Honnef statt. Es können bis
zu 60 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht
werden.
Vortragsvorschläge senden Sie bitte
in der Form einer erweiterten Zusammenfassung von ca. einer Seite bis spätestens
19. März 1999
möglichst per EMail an
Dr. Wolfgang
Goerigk ( wg@informatik.uni-kiel.de
)
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel
Preu"serstr. 1-9, D-24105 Kiel
Tel: ++49 (431) 566143, Fax: ++49 (431) 566143
oder an
Priv.-Doz. Dr. Francesca Saglietti ( saf@istecmuc.grs.de
)
Institut für Sicherheitstechnologie (ISTec) GmbH
Forschungsgelände
85748 Garching bei München
Tel: ++49 (89) 32004-525, Fax: ++49 (89) 32004-300
Ihre Anmeldung zur Teilnahme an dem Workshop senden
Sie bitte bis zum 9. April 1999 per EMail, Fax oder Post ebenfalls
an die unten angegebene Adresse. Ein Anmeldeformular liegt ebenfalls als
Postscript-Vordruck und in Form eines Ascii-Textes
vor.
gez. W. Goerigk, F. Saglietti
Anmeldeformular
Herrn
Dr. Wolfgang Goerigk
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel
Preußerstr. 1-9
D-24105 Kiel
Fax: ++49 (431) 566143
Hiermit melde ich mich für die Teilnahme am Workshop "Sicherheit
und Zuverlässigkeit software-basierter Systeme" in der Zeit vom
3. Mai bis zum 5. Mai 1999 im Physikzentrum Bad Honnef verbindlich
an:
Adresse:
-
_____________________________________________________
-
_____________________________________________________
-
_____________________________________________________
-
_____________________________________________________
-
_____________________________________________________
-
_____________________________________________________
Unterbringung:
-
O unbedingt im Einzelzimmer
-
O eventuell im Doppelzimmer mit _______________________________________
An- und Abreise:
-
Anreisetag: ___ O 2. ___ O 3.
___ O 4. ___ O 5. Mai 1999
-
Erste Mahlzeit: _ O Frühstück ___ O
Mittagessen ___ O Abendessen
-
Abreisetag: _____________ O 3. ___ O
4. ___ O 5. ___ O 6.5.
-
Letzte Mahlzeit: O Frühstück ___ O
Mittagessen ___ O Abendessen
Die Unterkunftskosten betragen DM 65.-- pro Tag und Person, zuzüglich
einer Tagungsgebühr von 10.- DM, die vom Hause erhoben wird. Am 2.
Mai ist nur ein Abendessen möglich, das als Imbiß vorbereitet
wird. Vermerken Sie bitte ebenfalls, ob Sie vegetarisches Essen bevorzugen
O .
Datum ___________________
Unterschrift ___________________
Home Page
Wolfgang Goerigk (
wg@informatik.uni-kiel.de
)
