Workshop on Applied Program Analysis 2007

Home  |   Beschreibung  |   Einreichungen  |   Programm  |   Organisation

Beiträge

Es werden Beiträge von maximal 5 Seiten Umfang akzeptiert, die in deutscher oder englischer Sprache verfasst sein dürfen. Die Beiträge sind bis zum 29.4.2007 als PDF-Datei an quante+apa@tzi.de zu senden. Eingereichte Beiträge werden vom Programmkomitee sorgfältig geprüft. Akzeptierte Beiträge werden in der GI-Edition "Lecture Notes in Informatics" veröffentlicht. Die Beiträge müssen den Autorenrichtlinien der LNI entsprechen (siehe http://www.gi-ev.de/service/publikationen/lni/). Bitte stellen Sie dies bereits bei der ersten Einreichung sicher. Von mindestens einem Autoren jeden Beitrages wird die Bereitschaft erwartet, sich zur Tagung anzumelden und sich die gesamte Tagungsdauer freizuhalten.

Der Call for Papers ist als PDF und als ASCII verfügbar.

Tool-Demo

In diesem Workshop geht es um die praktische Anwendung von Programmanalysen. Daher wollen wir die Möglichkeit bieten, existierende Werkzeuge vorzustellen, die den Softwareentwickler bzw. Wartungsingenieur bei seiner Arbeit durch Programmanalysen unterstützen. Die vorgestellten Werkzeuge müssen tatsächlich verfügbar und einsetzbar sein. Die Werkzeuge sollen in Form einer Präsentation vorgestellt werden (ca. 15-20 Minuten). Es besteht auch die Möglichkeit einer anschliessenden Live-Demonstration für Interessierte (parallel).

Um sich für eine Tool-Demo zu bewerben, erstellen Sie bitte eine kurze Beschreibung des Werkzeugs (max. 1 Seite). Diese sollte enthalten:

• Name des Werkzeugs
• Hersteller
• Beschreibung der Funktionalität und des Einsatzzwecks
• Angaben zu Lizenz und Verfügbarkeit (z.B. kommerziell, open source o.ä.)

Die Beschreibung kann in deutscher oder englischer Sprache verfasst sein. Senden Sie diese Beschreibung bis zum 18.7.2007 als ASCII- oder PDF-Datei an quante+apa@tzi.de. Aus den eingegangenen Vorschlägen werden die Organisatoren eine Auswahl treffen. Mit der Einreichung eines Vorschlags erklären Sie sich bereit, sich im Fall der Annahme zur INFORMATIK 2007 anzumelden.

Der Call for Tool Demos ist ebenfalls als PDF und als ASCII verfügbar.

Termine

• 29.04.2007: Einreichung von Beiträgen
• 28.05.2007: Mitteilung über Annahme oder Ablehnung
• 01.07.2007: Abgabe der fertigen Druckvorlage
• 18.07.2007: Einreichung von Vorschlägen für die Tool-Demo
• 23.07.2007: Mitteilung über Annahme oder Ablehnung Tool-Demo
• 24.-28.09.2007: Tagung INFORMATIK 2007
• 27.09.2007: Workshop-Termin

Für die Teilnahme am Workshop ist eine Anmeldung zur INFORMATIK 2007 erforderlich. Weitere Informationen zur INFORMATIK 2007 erhalten Sie unter http://www.informatik2007.de/.