Gesellschaft für Informatik e.V.

ASCII-Version

Anmeldeformular

Termine

Programm

Mitgliedervollversammlung

Seit 1984 veranstaltet die GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", die aus den ehemaligen Fachgruppen 2.1.3 "Implementierung von Programmiersprachen" und 2.1.4 "Alternative Konzepte für Sprachen und Rechner" hervorgegangen ist, regelmäßig im Frühjahr einen Workshop im Physikzentrum Bad Honnef. Das Treffen dient in erster Linie dem gegenseitigen Kennenlernen, dem Erfahrungsaustausch, der Diskussion und der Vertiefung gegenseitiger Kontakte.

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. Es können bis zu 40 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Das Haus berechnet zur Zeit für die Vollpension 62,- EUR pro Tag (bei externer Unterbringung: 42,- EUR für die Vollpension). Zusätzlich ist am Dienstag Abend (4.5.) ein Conference Diner geplant, für das Kosten in Höhe von 12,- 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.

 

Beiträge

Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF) bis spätestens 12. April 2010 möglichst per EMail an

Prof. Michael Hanus (mh@informatik.uni-kiel.de)
Institut für Informatik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40, D-24098 Kiel
Tel: ++49 (431) 880-7271
Fax: ++49 (431) 880-7613

Melden Sie sich bitte zum Workshop bis zum 12. April 2010 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.

Wichtige Termine

12. April 2010	Einreichung von Zusammenfassungen
12. April 2010	Anmeldung zum Workshop
3.-5. Mai 2010	Workshop im Physikzentrum Bad Honnef