16. Workshop der GI-Fachgruppe 2.1.4 Alternative Konzepte für Sprachen und Rechner
Gemeinsamer Workshop über "Sicherheit und Zuverlässigkeit software-basierter Systeme" mit der German ENCRESS Fachgruppe 3.6.2
Beschreibung
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 ___________________