Die Arbeitsgruppe beschäftigte sich mit folgenden Themen:

• Theorie der Programmierung,
• Formale Semantik von Programmiersprachen
• Implementierung funktionaler Programmiersprachen
• Modellgetrieben Softwareentwicklung
• Innovative Lehrkonzepte in der Informatik