The analysis of singular perturbed di?erential equations began early in the twentieth century, when approximate solutions were constructed from asy- totic expansions. (Preliminary attempts appear in the nineteenth century - see[vD94].)Thistechniquehas?ourishedsincethemid-1960sanditsprincipal ideas and methods are described in several textbooks; nevertheless, asy- totic expansions may be impossible to construct or may fail to simplify the given problem and then numerical approximations are often the only option. Thesystematicstudyofnumericalmethodsforsingularperturbationpr- lems started somewhat later - in the 1970s. From this time onwards the - search frontier has steadily expanded, but the exposition of new developments in the analysis of these numerical methods has not received its due attention. The ?rst textbook that concentrated on this analysis was [DMS80], which collected various results for ordinary di?erential equations. But after 1980 no further textbook appeared until 1996, when three books were published: Miller et al. [MOS96], which specializes in upwind ?nite di?erence methods on Shishkin meshes, Morton's book [Mor96], which is a general introduction to numerical methods for convection-di? usion problems with an emphasis on the cell-vertex ?nite volume method, and [RST96], the ?rst edition of the present book. Nevertheless many methods and techniques that are important today, especially for partial di?erential equations, were developed after 1996.

This volume collects papers associated with lectures that were presented at the BAIL 2016 conference, which was held from 14 to 19 August 2016 at Beijing Computational Science Research Center and Tsinghua University in Beijing, China. It showcases the variety and quality of current research into numerical and asymptotic methods for theoretical and practical problems whose solutions involve layer phenomena. The BAIL (Boundary And Interior Layers) conferences, held usually in even-numbered years, bring together mathematicians and engineers/physicists whose research involves layer phenomena, with the aim of promoting interaction between these often-separate disciplines. These layers appear as solutions of singularly perturbed differential equations of various types, and are common in physical problems, most notably in fluid dynamics. This book is of interest for current researchers from mathematics, engineering and physics whose work involves the accurate app roximation of solutions of singularly perturbed differential equations; that is, problems whose solutions exhibit boundary and/or interior layers.

The analysis of singular perturbed di?erential equations began early in the twentieth century, when approximate solutions were constructed from asy- totic expansions. (Preliminary attempts appear in the nineteenth century - see[vD94].)Thistechniquehas?ourishedsincethemid-1960sanditsprincipal ideas and methods are described in several textbooks; nevertheless, asy- totic expansions may be impossible to construct or may fail to simplify the given problem and then numerical approximations are often the only option. Thesystematicstudyofnumericalmethodsforsingularperturbationpr- lems started somewhat later - in the 1970s. From this time onwards the - search frontier has steadily expanded, but the exposition of new developments in the analysis of these numerical methods has not received its due attention. The ?rst textbook that concentrated on this analysis was [DMS80], which collected various results for ordinary di?erential equations. But after 1980 no further textbook appeared until 1996, when three books were published: Miller et al. [MOS96], which specializes in upwind ?nite di?erence methods on Shishkin meshes, Morton's book [Mor96], which is a general introduction to numerical methods for convection-di? usion problems with an emphasis on the cell-vertex ?nite volume method, and [RST96], the ?rst edition of the present book. Nevertheless many methods and techniques that are important today, especially for partial di?erential equations, were developed after 1996.

This book deals with discretization techniques for partial differential equations of elliptic, parabolic and hyperbolic type. It provides an introduction to the main principles of discretization and gives a presentation of the ideas and analysis of advanced numerical methods in the area. The book is mainly dedicated to finite element methods, but it also discusses difference methods and finite volume techniques.

Coverage offers analytical tools, properties of discretization techniques and hints to algorithmic aspects. It also guides readers to current developments in research.

These Proceedings contain a selection of the lectures given at the conference BAIL 2008: Boundary and Interior Layers - Computational and Asymptotic Methods, which was held from 28th July to 1st August 2008 at the University of Limerick, Ireland. The ?rst three BAIL conferences (1980, 1982, 1984) were organised by Professor John Miller in Trinity College Dublin, Ireland. The next seven were held in Novosibirsk (1986), Shanghai (1988), Colorado (1992), Beijing (1994), Perth (2002), Toulouse(2004), and Got ] tingen(2006).With BAIL 2008the series returned to Ireland. BAIL 2010 is planned for Zaragoza. The BAIL conferences strive to bring together mathematicians and engineers whose research involves layer phenomena, as these two groups often pursue largely independent paths. BAIL 2008, at which both communities were well represented, succeeded in this regard. The lectures given were evenly divided between app- cations and theory, exposing all conference participants to a broad spectrum of research into problems exhibiting solutions with layers. The Proceedings give a good overview of current research into the theory, app- cation and solution (by both numerical and asymptotic methods) of problems that involve boundaryand interior layers. In addition to invited and contributed lectures, the conference included four mini-symposia devoted to stabilized ?nite element methods, asymptotic scaling of wall-bounded ?ows, systems of singularly p- turbed differential equations, and problems with industrial applications (supported by MACSI, the Mathematics Applications Consortium for Science and Industry). These titles exemplify the mix of interests among the participants