Among the topics discussed are all issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including simultaneously and reactive systems, evolutionary software / adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming Bate, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical framework for reasoning, logic program, as well as algebra and coalgebra.