Abstract:This special volume was originally conceived to provide authors and readers a publication to present the most recent advances in the study of applications of various fixed point theorems. Since 1909, when Luitzen Brouwer proved the first fixed point theorem named after him, fixed point theory has played very important roles in many different fields. We can find a lot of demonstrations in optimization theory, approximation theory, differential equations, variational inequalities, complementary problems, equilibrium theory, game theory, economics theory, and so forth. Fixed point theorems are developed for single-valued or set-valued mappings of metric spaces, topological vector spaces, posets and lattices, Banach lattices, . . .. Among the themes of fixed point theory, the topic of approximation of fixed points of mappings is particularly important because it is useful for proving the existence of fixed points ofmappings. It can be applied to prove the solvability of optimization problems, differential equations, variational inequalities, and equilibrium problems. Due to the importance of and the high volume of active research in the nonlinear analysis and optimization and, in particular, many new tools in studying them involving fixed point approximations, it is worthwhile to publish a special issue on this topic to highlight the recent advances in this field. The selection of the papers included in this volume, which has been based on a strict international peer review procedure, contains a representative list of papers with newfangled results which covers the different topics considered in our original proposal. In the papers in this special issue, the following topics are discussed.

Proceedings Workshop on Fixed Points in Computer Science

Proceedings 8th Workshop on Fixed Points in Computer Science

Recent Development in Fixed-Point Theory, Optimization, and Their Applications

2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings Ninth Workshop on Mathematically Structured Functional Programming

Proceedings Eighth Workshop on Mathematically Structured Functional Programming

Proceedings First International Workshop on Linearity

Proceedings of the 7th Workshop on Mathematically Structured Functional Programming

Proceedings 15th International Refinement Workshop

Proceedings Fifth Workshop on Intersection Types and Related Systems

Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures

Logical Foundations of Computer Science

Proceedings Types for Proofs and Programs, Revised Selected Papers

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Proceedings 7th International Workshop on Theorem proving components for Educational software

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Seventh International Workshop on Classical Logic and Computation

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming