18. APSEC 2012: Hong Kong, China

Formal Methods I

Context-aware and Intelligent Systems

Software Security, Relability and Privacy

Requirements Engineering I

Product-Line Software Engineering

Software Verification and Validation

Software Enginering Environments and Tools

Software Maintenance and Evolution I

Software Project Management and Applications

Code Analysis and Testing

Requirement Modelling and Analysis

Novel Techniques

Emprical Software Engineering I

Emprical Software Engineering II

Requirements Engineering II

Software Systems and Management

Formal Methods II

Software Maintenance and Evolution II

Software Analysis, Understanding and Quality Measurement

Software Architecture and Design

Formal Methods III

Formal Methods IV

Emerging Ideas I

Emerging Ideas II

Software Process, Quality and Education

Software Quality Assurance and Component-Based Systems

Emprical Software Engineering III

Web-Based Software Engineering

maintained by Schloss Dagstuhl LZI at University of Trier