Workshop der Arbeitsgruppe 2.1.4. der Gesellschaft für Informatik
- Date:
- We, 02.05.2007 14:00 – Fr, 04.05.2007 12:30
- Speaker:
- Michael Hanus, Universität Kiel
- Address:
- Physikzentrum Bad Honnef
Hauptstr. 5, 53604 Bad Honnef, Germany
- Chargeable
- Language:
- Deutsch
- Event partner:
- Gesellschaft für Informatik e.V.
Description
Wir laden Sie ein, Vorträge und Demonstrationen sowohl bereits abgeschlossener als auch noch laufender Arbeiten aus Ihrem Betätigungsfeld einzureichen, unter anderem (aber nicht ausschließlich) zu Themen wie
Sprachen, Sprachparadigmen
Korrektheit von Entwurf und Implementierung
Werkzeuge
Software-/Hardware-Architekturen
Spezifikation, Entwurf
Validierung, Verifikation
Implementierung, Integration
Sicherheit (Safety und Security)
eingebettete Systeme
hardware-nahe Programmierung
Beiträge aus Ihren Arbeitsgruppen auch zu anderen Themen sind ebenso willkommen. Es sind nicht nur die Fachgruppenmitglieder herzlich eingeladen, sondern das Treffen ist darüber hinaus auch für andere Interessenten offen.
Veranstaltungsort:
Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden Atmosphäre des Physikzentrums in Bad Honnef statt. Drachenfels bei Bad HonnefEs können bis zu 40 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Das Haus berechnet zur Zeit für die Vollpension 51,- EUR pro Tag (bei externer Unterbringung: 35,- EUR für die Vollpension). Zusätzlich ist am Donnerstag Abend ein Conference Diner geplant, für das Kosten in Höhe von 10,- EUR entstehen. Die Kosten müssen von den Teilnehmern bitte vor Ort in bar oder mit EC-Karte bezahlt werden (die Bezahlung mit Kreditkarten ist leider nicht möglich). Die Erstellung der Rechnungen erfolgt auf Basis der Anmeldung (s.u.). Getränke sind getrennt abzurechnen.