In this seminar recent scientific results and new research directions in the area of formal foundations of software development were discussed by members of the working group FG 0.1.7 "Specification and Semantics" of the German Society for Computer Science (GI) and other well-known scientists. The 30 talks focussed in particular on the following topics:

• mathematical foundations of specification and semantics
  including models and logic calculi, concepts of category and type theory, algebraic concepts, theorem provers
• methods of formal semantics
  including denotational, operational and axiomatic semantics, algebraic and categorical semantics, transition systems, term and graph rewriting
• approaches to formal specification including abstract data types, model-oriented specification, algebraic specification, graphical specifications, formal specification languages
• formal development and verification methods
  including formal requirement analysis and specification, structuring and modularization techniques, verification and validation of modules and configurations, formal aspects of reusability
• applications of specification and semantics
  including description of programming languages, methods for software development, parallel and distributed systems, modeling and specification languages, data and knowledge based systems

On behalf of all participants the organizers would like to thank the staff of Schloß Dagstuhl for providing an excellent environment to the conference.

Creative Commons BY 3.0 Unported license